A. S. Rao, "AgentSpeak(L): BDI agents speak out in a logical computable language," in Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, R. van Hoe, Ed., Eindhoven, The Netherlands, 1996. [Online]. Available: citeseer.ist.psu.edu/article/rao96agentspeakl.html  Home/Search   Document Details and Download   Summary   Related Articles   Check

....an outline operational specification of 3APL that can be used as the basis of a subsequent implementation, so that the transition from what might be called theory to practice is facilitated. Second, we allow an easy and simple comparison of 3APL and its competitor systems such as AgentSpeak(L) [7] and dMARS, as we demonstrate throughout the paper. The comparison considers the data structures required by each language, the requirements for defining an agent before and during run time, and the basic operation of agents programmed in a given language. Third, we provide an accessible resource ....

A. S. Rao, `AgentSpeak(L): BDI agents speak out in a logical computable language', in Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNAI 1038, eds., W. Van de Velde and J. W. Perram, pp. 42--55. Springer, (1996).

....good. Indeed many researchers in the field have acknowledged the difficulties that arise when formal theoretical work is not used to inform practice, and vice versa, and there is an emerging trend of research that aims to bring these two strands together e.g. Jennings, 1995; Luck et al. 1997; Rao, 1996) . In a sense, difficult experiences with AI in general over the last thirty years or so have provided the impetus for a strong effort to avoid similar problems in multi agent systems. The development of real systems and applications forms a major part of the field and, as has been suggested, the ....

A. S. Rao. "Agentspeak(l): BDI agents speak out in a logical computable language" In W. Van de Velde and J. W. Perram, editors, Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNAI 1038, 42--55. Springer-Verlag: Heidelberg, Germany, 1996.

....in a logical way, and no formalism for proving the correctness of protocols is presented. 13 See, e.g. Wer88, CL90, RG91, Sin94] 14 Hence, the implemented BDI systems have tended to use the three major attitudes [Belief, Desire,Intention] as data structures, rather than as modal operators. [Rao96] 32 8 Open Issues and Limitations Several issues had to be left open. First, we did not consider the possibility of simultaneous actions in planning. Second, we did not say which planning procedures (e.g. partial order planning, abstraction, etc. would be appropriate for vivid agents. Third, ....

A.S. Rao: `AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language', in [MAAMAW96], 42--55.

....in VIVA, 2) perception is distinguished from communication, 3) actions are represented with their preconditions and effects in the agent program whereas PLACA only lists the names of available actions in the form of capabilities and leaves the full representation of actions to the planner. In [Rao96], a logic programming like language, called AgentSpeak(L) is proposed. While AgentSpeak(L) contains a more complex form of action rules (used to represent predefined plans) it does not provide for online planning. Beliefs in PLACA and in AgentSpeak(L) consist, like in AGENT0, only of literals ....

A.S. Rao: `AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language', in [MAAMAW96], 42--55.

....there has been a sizable gap between these formal models and implemented systems. For example, implementations have typically involved simplifying assumptions that have resulted in the loss of a strong theoretical foundation for them, while logics have had small relation to practical problems (Rao, 1996). Though this fragmentation into theoretical and practical aspects has been noted, and several efforts made in attempting to address this fragmentation in related areas of agentoriented systems by, for example, Goodwin (1995) Luck et al. 1997) and Wooldridge and Jennings (1994) there remains ....

.... 1992) Second, he took an alternative approach by starting with an implemented system and then formalizing the operational semantics in an agent language, AgentSpeak(L) which can be viewed as an abstraction of the implemented system, and which allows agent programs to be written and interpreted (Rao, 1996). An alternative effort with BDI agents has been made made by d Inverno et al. 1998a; 1998b) in providing formal computational models of implemented systems and idealised systems, using the Z specification language (Spivey, 1992) a standard (and commonly used) formal method of software ....

Rao, AS, 1996. "AgentSpeak(L): BDI agents speak out in a logical computable language". In Van de Velde, W and Perram, JW, eds, Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Lecture Notes in Artificial Intelligence, 1038, 42--55, Springer-Verlag.

....Unlike the above approaches, here we propose that influencing is a process that operates on primitive internal composition of an agent. Towards this end, several proposals on internal composition of agents have been made [6,15,23,25,27] Among those the Belief Desire Intention (BDI) paradigm [14,24] has received considerable attention in which three mental attitudes viz. belief, desire, intention have been used to model human cognitive behaviour. We adopt the BDI agent model and based on that analyze the process of influencing. BDI agents do not adopt goal arbitrarily, rather adoption of ....

A.S. Rao, "AgentSpeak(L) : BDI agents speak out in a logical computable language", Proc. 7th European Workshop on Modeling Autonomous Agents in a Multi-Agent World, MAAMAW'96, LNAI-1038, Springer Pub., 1996.

....to this, a number of researchers have attempted to develop executable agent specification languages with a simplified semantic basis, that has a computational interpretation. An example is Rao s AgentSpeak(L) language, that although essentially a BDI system, has a simple computational semantics [30]. 3.2.2 Compiling Agent Specifications An alternative to direct execution is compilation. In this scheme, we take our abstract specification, and transform it into a concrete computational model via some automatic synthesis process. The main perceived advantages of compilation over direct ....

A. S. Rao (1996) "AgentSpeak(L): BDI agents speak out in a logical computable language" In W. Van de Velde and J. W. Perram, editors, Agents Breaking Away: Proceedings of the 7 th 24 European Workshop on Modelling Autonomous Agents in a Multi-Agent World, (LNAI Volume 1038), 42-55. Springer-Verlag.

No context found.

A. S. Rao, "AgentSpeak(L): BDI agents speak out in a logical computable language," in Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, R. van Hoe, Ed., Eindhoven, The Netherlands, 1996. [Online]. Available: citeseer.ist.psu.edu/article/rao96agentspeakl.html

No context found.

A. Rao, "AgentSpeak(L): BDI agents speak out in a logical computable language," in MAAMAW'96, LNAI 1038. SpringerVerlag: Heidelberg, Germany, 1996, pp. 42--55.

No context found.

A. S. Rao, "AgentSpeak(L): BDI agents speak out in a logical computable language," in Proc. of MAAMAW'96, 1996, pp. 42--55.

No context found.

A. S. Rao, `AgentSpeak(L): BDI agents speak out in a logical computable language', Lecture Notes in Computer Science, 1038, 42--52, (1996).

No context found.

A. S. Rao, "AgentSpeak(L): BDI agents speak out in a logical computable language," in Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, R. van Hoe, Ed., Eindhoven, The Netherlands, 1996.

No context found.

A. S. Rao, `AgentSpeak(L): BDI agents speak out in a logical computable language', Lecture Notes in Computer Science, 1038, 42--52, (1996).

No context found.

A. S. Rao, `AgentSpeak(L): BDI agents speak out in a logical computable language', in Agents Breaking Away, 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96, ed., Rudy van Hoe, volume 1038 of LNCS, pp. 42--55. Springer-Verlag, (1996).

No context found.

A.S. Rao: `AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language', in [MAAMAW96], 42--55.

No context found.

A. S. Rao, "AgentSpeak(L): BDI agents speak out in a logical computable language," in Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, R. van Hoe, Ed., Eindhoven, The Netherlands, 1996.

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