M. Wooldridge, "This is MYWORLD: The logic of an agent-oriented testbed for DAI," in Proc. of ECAI ATAL Workshop, 1994, pp. 160--178.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....to temporal semantics for Concurrent METATEM. For example, we are considering using an algebraic framework which incorporates the notion of broadcast message passing [23] Finally, we note that TLR has been utilised in a similar way in order to provide a semantics for the MYWORLD DAI testbed [26]. ....

M. Wooldridge. This is MYWORLD: The Logic of an Agent-Oriented Testbed for DAI. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents --- Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, Springer-Verlag, 1995.

....only of beliefs, and since there is no consideration of goals, or tasks, the agent model does not account for planning and plan execution. Wooldridge presents an interleaved execution model for his multi agent system model, but he does not define fairness conditions for it. In subsequent work, [Woo95], Wooldridge refined and extended his model and linked the execution histories of a multi agent system to a dense time line in order to use the temporal logic of reals for specification and assertional reasoning. In [FW94] a first order temporal logic based programming system, Concurrent ....

M. Wooldridge: "This is MyWorld: The Logic of an Agent-Oriented Testbed for DAI, in M. Wooldridge and N.R. Jennings (Eds.), Intelligent Agents: Theories, Architectures and Languages, Springer LNAI 890 (1995), Springer-Verlag, 160--178. 36

....The main idea was to introduce to AA the notions of knowledge, intention, and goal states, and defining mental actions for acquiring and updating them. The class of extended AA has been called BDI automata. This may be viewed as an attempt to introduce concurrency into MAS, see also [9, 45]. The semantics of the mental actions was defined in terms of standard (conflict free) partial order runs of BDI automata. In this paper we take a slightly different view of BDIautomata. Firstly, we give a non abstract semantics of mental actions introducing several new concepts for intentional ....

....In section 5 we present a formalization of our working example. Section 6 is devoted to presentation of team formation for the case of our working example. Conclusions are given in Section 7. 2 RELATED WORK There is an extensive literature on logics for multiagent systems, see for example [5, 9, 16, 35, 45] to mention only few of them. However, semantics for these logics are based on Kripke structures of global states. In our work we construct a semantics for multi agent systems that is based on local states. The idea to use game theoretic notion in multi agent systems was considered in [25, 42] ....

M. Wooldridge. This is MY WORLD: The logic of an agentoriented testbed for DAI. In M. Wooldridge and N.R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pages 160--178, SpringerVerlag, 1995.

....certain properties is decidable in our framework. 1 Introduction BDI architectures and theories based on the attitudes of belief, desire, and intention have attracted a lot of attention as appriopriate models of inteligent multi agent systems; see Singh [18] Rao Georgeff [15,17] Wooldridge [20], Muller [10] Sundermeyer et al. [5] and Jennings [9] Recently, a number of attempts has been made in order to formalize these mental attitudes and to show how they influence the actions of agents [18] 15] Most of these formalisms concentrate on the specification or characterization of ....

....order to formalize these mental attitudes and to show how they influence the actions of agents [18] 15] Most of these formalisms concentrate on the specification or characterization of rational multi agent systems using different notions of behaviour. The corresponding logics adopt either linear [16, 20] or branching temporal structures [15] These approches are known as possible worlds semantics. They are based on standard Kripke structures (or automata) extended with three new accessibility relations corresponding to the modal operators BEL, DES, and INT expressing agent s belief, desire, and ....

[Article contains additional citation context not shown here]

M. Wooldridge. This is MY WORLD: The logic of an agent-oriented testbed for DAI. In M. Wooldridge and N.R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pages 160--178, Springer-Verlag, 1995.

....that programs perform are assumed to be atomic. We cannot make this assumption when we move from programs to agents. The actions we think of agents as performing will generally be much more coarse grained. As a result, we need a more realistic model of concurrency. One possibility, investigated in [72], is to model agent execution cycles as intervals over the real numbers, in the style of the temporal logic of reals [2] The second problem is the difficulty of the proof problem for agent specification languages. The theoretical complexity of proof for many of these logics is quite daunting. ....

M. Wooldridge. This is MYWORLD: The logic of an agent-oriented testbed for DAI. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pages 160--178. Springer-Verlag: Berlin, Germany, January 1995.

....certainly add to the complexity [13] The multi agent case: Another obvious area of work is the extension of the logic presented here to the more general multi agent case. While the principles remain the same, a key difficulty in extending the logic in this way will be dealing with concurrency [26]. Example specifications: We have used the language L to develop several small agent specifications (omitted due to space restrictions) However, we need to gain experience not only with larger specifications, but with multi agent specifications. Acknowledgments: Jorg Muller gave helpful ....

M. Wooldridge. This is MYWORLD: The logic of an agent-oriented testbed for DAI. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pages 160--178. Springer-Verlag: Heidelberg, Germany, January 1995.

....many others have M. Wooldridge Agent Based Computing 6 developed agent programming environments based on similar ideas. For example: Becky Thomas described an extension to AGENT0 called PLACA [106, 107] Wooldridge and Vandekerckhove developed an AGENT0 like multi agent testbed called MYWORLD [123]; Poggi described an agent oriented extension to the CUBL concurrent object language [83] Weerasooriya et al. discuss a (hypothetical) agent oriented programming language called AGENTSPEAK [115] Fisher has developed a multi agent programming environment based on executable temporal logic, which ....

M. Wooldridge. This is MYWORLD: The logic of an agent-oriented testbed for DAI. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pages 160--178. Springer-Verlag: Heidelberg, Germany, January 1995.

....that programs perform are assumed to be atomic. We cannot make this assumption when we move from programs to agents. The actions we think of agents as performing will generally be much more coarse grained. As a result, we need a more realistic model of concurrency. One possibility, investigated in [64], is to model agent execution cycles as intervals over the real numbers, in the style of the temporal logic of reals [4] The second problem is the difficulty of the proof problem for agent specification languages. As we noted in section 3, the theoretical complexity of proof for many of these ....

M. Wooldridge. This is MYWORLD: The logic of an agent-oriented testbed for DAI. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pages 160--178. Springer-Verlag: Heidelberg, Germany, January 1995.

No context found.

M. Wooldridge, "This is MYWORLD: The logic of an agent-oriented testbed for DAI," in Proc. of ECAI ATAL Workshop, 1994, pp. 160--178.

No context found.

M. Wooldridge. This is MY WORLD: The logic of an agent-oriented testbed for DAI. In M. Wooldridge and N.R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pages 160--178, Springer-Verlag, 1995.

No context found.

M. Wooldridge: "This is MyWorld: The Logic of an Agent-Oriented Testbed for DAI, in M. Wooldridge and N.R. Jennings (Eds.), Intelligent Agents: Theories, Architectures and Languages, Springer LNAI 890 (1995), Springer-Verlag, 160--178. 36

No context found.

M. Wooldridge. This is myworld: The logic of an agent-oriented testbed for dai. In Pre-proceedings of the workshop on Agent Theories, Architectures and Languages. Also appears as Lecture Notes in Computer Science (this Volume), Amsterdam, Netherlands, 1994. Springer Verlag.

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