Programmazione ad Agenti - Un Caso di Studio nel Linguaggio Sarl

Agent-oriented programming (AOP) è un paradigma di programmazione che concepisce un software come insieme di agenti che possiedono caratteristiche di autonomia, proattività e che sono in grado di comunicare con altri agenti. Sebbene sia stato impiegato soprattutto nell'ambito dell'intelligenza artificiale questo tipo di programmazione si rivela utile per lo sviluppo di sistemi distribuiti riuscendo a gestire agilmente problemi di concorrenza. Lo scopo di questa tesi è analizzare le caratteristiche del paradigma e dei software basati su agenti, utilizzando come caso di studio Sarl, un linguaggio general-purpose molto recente. La parte principale del lavoro consiste nella descrizione dei modelli teorici che hanno portato alla nascita della programmazione ad agenti, in particolare del modello BDI, e dei principali framework per lo sviluppo di sistemi multi-agente.

Towards executable specification : combining i* and AgentSpeak(L).

Agent-oriented conceptual modelling (AoCM) approaches in Requirements Engineering (RE) have received considerable attention recently. Semi-formal modeling frameworks such as i* assist analysts in requirements elicitation and reasoning of early-phase RE. AgentSpeak(L) is a widely accepted agent programming language. The Strategic Rationale (SR) model of the i* framework naturally lends itself to AgentSpeak(L) programs. Furthermore, the Strategic Dependency (SD) component of the i* framework prescribes the interaction between the agents in a multi-agent environment. This paper proposes a formal methodology for transforming a SR model to an AgentS- peak(L) agent. The constructed AgentSpeak(L) agents will then form the essential components of a multi-agent system, MAS.

Psychosocial functioning in patients with alcohol-related liver disease post liver transplantation

Emotional and role functioning difficulties are associated with chronic alcohol use and liver disease. Little is known about prospective changes in psychological and psychosocial functioning following orthotopic liver transplantation (OLT) amongst patients with alcoholic liver disease (ALD). We aimed to assess the functioning of this patient group post liver transplantation. Comprehensive psychosocial assessment of depression (Beck Depression Inventory [BDI]), anxiety (State-Trait Anxiety Inventory-Form X [STAI]) and psychosocial adjustment (Psychosocial Adjustment to Illness Scale-Self-Report version [PAIS-SR]) was conducted with 42 ALD patients available for pre and post OLT testing. Dependence severity was assessed by the Brief Michigan Alcoholism Screening Test (bMAST). Significant reductions in average anxiety and depression symptoms were observed 12-months post-OLT. Significant improvements in psychosocial adjustment to illness were also reported. Patients with higher levels of alcohol dependence severity pre transplant assessment improved comparably to those with lower levels of dependence. In summary, the study found that OLT contributed to reducing overall levels of mood and anxiety symptoms in ALD patients, approximating general (non-clinical) population norms. Psychosocial adjustment also improved significantly post liver transplantation.

Ganga-Brahmaputra river discharge from Jason-2 radar altimetry: An update to the long-term satellite-derived estimates of continental freshwater forcing flux into the Bay of Bengal

This paper discusses the use of Jason-2 radar altimeter measurements to estimate the Ganga-Brahmaputra surface freshwater flux into the Bay of Bengal for the period mid-2008 to December 2011. A previous estimate was generated for 1993-2008 using TOPEX-Poseidon, ERS-2 and ENVISAT, and is now extended using Jason-2. To take full advantages of the new availability of in situ rating curves, the processing scheme is adapted and the adjustments of the methodology are discussed here. First, using a large sample of in situ river height measurements, we estimate the standard error of Jason-2-derived water levels over the Ganga and the Brahmaputra to be respectively of 0.28 m and 0.19 m, or less than similar to 4% of the annual peak-to-peak variations of these two rivers. Using the in situ rating curves between water levels and river discharges, we show that Jason-2 accurately infers Ganga and Brahmaputra instantaneous discharges for 2008-2011 with mean errors ranging from similar to 2180 m(3)/s (6.5%) over the Brahmaputra to similar to 1458 m(3)/s (13%) over the Ganga. The combined Ganga-Brahmaputra monthly discharges meet the requirements of acceptable accuracy (15-20%) with a mean error of similar to 16% for 2009-2011 and similar to 17% for 1993-2011. The Ganga-Brahmaputra monthly discharge at the river mouths is then presented, showing a marked interannual variability with a standard deviation of similar to 12500 m(3)/s, much larger than the data set uncertainty. Finally, using in situ sea surface salinity observations, we illustrate the possible impact of extreme continental freshwater discharge event on the northern Bay of Bengal as observed in 2008.

BDI Agent的人机智能结合方法

在网络遥操作中存在着由于操作者的操作负担过重或长时间操作而引起的误操作问题,提出以著名的BDIAgent模型为基础,通过引入中断机制,将反映操作者智能决策的操作目标、操作意图与BDIAgent推理产生的目标、意图进行结合的方法,为解决Agent智能的局限性和操作者的误操作问题,提供了一种人机接口方法,实现了人机智能结合.给出了中断的引入方法和操作者操作目标、操作意图中断响应原理,用形式化模型描述了人机智能决策选取目标和意图的过程.该人机智能结合方法在网络遥操作RoboCup中型足球机器人系统中得到了应用.

Metocean Comparisons of Jason-2 and AltiKa—A Method to Develop a New Wind Speed Algorithm

As well as range, the AltiKa altimeter provides estimates of wave height, Hs and normalized backscatter, s0, that need to be assessed prior to statistics based on them being included in climate databases. An analysis of crossovers with the Jason-2 altimeter shows AltiKa Hs values to be biased high by only »0.05m, with a standard deviation (s.d.) of »0.1m for seven-point averages. AltiKa’s s 0 values are 2.5–3 dB less than those from Jason-2, with a s.d. of »0.3 dB, with these relatively large mismatches to be expected as AltiKa measures a different part of the spectrum of sea surface roughness. A new wind speed algorithm is developed through matchinghistogram of s0 values to that for Jason-2 wind speeds. The algorithm is robust to the use of short durations of data, with a consistency at roughly the 0.1 m/s level. Incorporation of Hs as a secondary input reduces the assessed error at crossovers from 0.82 m/s to 0.71 m/s. A comparison across all altimeter frequencies used to date demonstrates that the lowest wind speeds preferentially develop the shortest scales of roughness.