D. Kinny, editor. The Psi Calculus: An Algebraic Agent Language, volume 2333 of Lecture Notes in Computer Science. Springer, 2002.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....box if there is a route with higher gain than loss. The goals and the beliefs of the robot form its object level concerns while planning form its meta level concerns. Agent deliberation is not limited to the planning of the tasks, but it includes various types of decisions at each moment of time [10] such as how to select a goal from a set of possible goals, whether revising a plan or executing it, or behaving more reactively or more deliberatively. These types of decisions, which constitute the agent s deliberation process and determine the types of agent behavior, are usually implemented ....

D. Kinny. The psi calculus: An algebraic agent language. In J.-J. C. Meyer and M. Tambe, editors, Intelligent Agents VIII, Agent Theories Architectures and Languages, LNAI 2333, pages 32--50. Springer-Verlag, 2001.

....actively involved in are debugging tools for agent systems [11] and tools to support the Prometheus methodology. In this paper we present a notation (with semantics) for intelligent agent systems. This notation can be simplistically seen as an incremental improvement on similar efforts such as [12, 9]; however, its strength and its role lie not in the various technical improvements, but in its relationship to the concepts and methodology and its use to tie the pieces together to give a holistic and comprehensive picture of developing intelligent agents. 2. CONCEPTSFORDEVELOPINGAGENTS 1 ....

....or become unachievable; and (iii) adding constructs which support software engineering aspects. Of the systems mentioned, the only one which supports modules (in the form of capabilities) and cross checking is JACK. Our work improves on previous efforts at defining a precise agent language (e.g. [12, 9]) by moving beyond codifying current practice in BDI systems and addressing some of the flaws of current systems. Also, our semantics correctly handle backtracking, making the results of failed execution visible, whereas the standard process calculus nondeterministic choice A B allows either A or ....

D. Kinny. The psi calculus: an algebraic agent language. In Agent Theories, Architectures, and Languages (ATAL-

....intend that the notion of goal developed be realisable in implemented agent systems. The notation we present below is illustrative of the plan languages of typical agent languages, both in the BDI tradition, and elsewhere. In particular, it is similar to Rao s AgentSpeak(L) 16] and to Kinny s # [14], both of which attempt to extract the essence of a class of implemented BDI agent platforms. The notation we deal with is defined below. An agent program (denoted by #) consists of a collection of plan clauses of the form e:c P where e is an event, c a context condition which must be true in ....

....will form the basis of significant development of agent systems with explicit representation of goals, including those based on the popular BDI model, thus reducing the gap between theory and practice, and enhancing the intelligent capabilities of such systems. Related Work: AgentSpeak [16] and # [14] both capture in a formal way the semantics of a plan language interpreter. They focus on capturing the essence of current practice and as a result capture the weaknesses of (current) BDI systems including the lack of declarative goals and associated problems. The GOAL language [7] uses ....

David Kinny. The psi calculus: an algebraic agent language. In Agent Theories, Architectures, and Languages (ATAL-

No context found.

D. Kinny, editor. The Psi Calculus: An Algebraic Agent Language, volume 2333 of Lecture Notes in Computer Science. Springer, 2002.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC