Computationally Grounded Model of BDI-Agents

We introduce a multimodal logic of belief, desire and intention, called OBDI logic, where the changes and computation of agents' beliefs, desires, and desires are based on agents' observations (i.e. local states), and we propose a model checking techniques for the logic based on interpreted systems.

[1]  J. Armstrong.  Knowledge and Belief , 1953 .

[2]  Michael Wooldridge,et al.  Computationally grounded theories of agency , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[3]  Anand S. Rao,et al.  AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language , 1996, MAAMAW.

[4]  Kaile Su,et al.  Model Checking Temporal Logics of Knowledge in Distributed Systems , 2004, AAAI.

[5]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[6]  Michael Wooldridge,et al.  Towards a Logic of Rational Agency , 2003, Log. J. IGPL.

[7]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[8]  Anand S. Rao,et al.  Decision Procedures for BDI Logics , 1998, J. Log. Comput..