Reasoning with levels of modalities in BDI logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5044 LNAI, Issue , 2009, Pages 410-415

  Blee, Jeff ^a   Billington, David ^a   Sattar, Abdul ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

BDI Agents; Belief Revision; Modal Logic; Nonmonotonic Logic

Indexed keywords

BDI AGENTS; BDI LOGIC; BELIEF REVISION; EXTENDED LOGIC; MODAL LOGIC; NONMONOTONIC LOGIC; RATIONAL AGENCY; RATIONAL AGENTS; REAL-WORLD PROBLEM;

MULTI AGENT SYSTEMS;

EID: 67650330233     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-01639-4_39     Document Type: Conference Paper

References (14)

1. Billington, D.: Defeasible Logic is Stable. Journal of Logic and Computation 3(4), 379-400 (1993)
2. Bordini, R.H., Hubner, J.F., Vieira, R.: Jason and the Golden Fleece of Agent-Oriented Programming. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, pp. 3-37. Springer, Heidelberg (2005)
3. Bratman, M.E.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)
4. Busetta, P., Ronnquist, R., Hodgson, A., Lucas, A.: JACK Intelligent Agents - Components for Intelligent Agents in Java. Agent Oriented Software Pty. Ltd., Melbourne (1998)
5. Casali, A., Godo, L., Sierra, C.: Graded BDI Models for Agent Architectures. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS, vol.3487, pp. 126-143. Springer, Heidelberg (2005)
6. Luck, M., McBurney, P., Shehory, O., Willmott, S.: Agent Technology Roadmap: A Roadmap for Agent Based Computing, AgentLink III (2005)
7. Nute, D.: Defeasible logic. In: Bartenstein, O., Geske, U., Hannebauer, M., Yoshie, O. (eds.) INAP 2001. LNCS, vol.2543, pp. 151-169. Springer, Heidelberg (2003) (Pubitemid 41082851)
8. Parsons, S., Giorgini, P.: On using degrees of belief in BDI agents. In: Proceedings of International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (1998)
9. Rao, A.S.: AgentSpeak(L): BDI Agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol.1038, pp. 42-55. Springer, Heidelberg (1996) (Pubitemid 126029707)
10. Rao, A.S., Georgeff, M.P.: Decision Procedures for BDI Logics. Journal of Logic and Computation 8(3), 293-343 (1998) (Pubitemid 128637748)
11. van der Hoek, W.: On the Semantics of Graded Semantics. Journal of Applied Non-Classical Logics 2(1), 81-123 (1992)
12. van der Hoek, W., Lomuscio, A.: A Logic for Ignorance. Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2004)
13. van Ditmarsch, H.P.: Prolegomena to Dynamic Logic for Belief Revision. Synthese( Knowledge, Rationality & Action) 147, 229-275 (2005) (Pubitemid 41768734)
14. van Linder, B., van der Hoek, W., Meyer, J.-J.C.: Seeing is Believing, And so are Hearing and Jumping. In: Gori, M., Soda, G. (eds.) AI*IA 1995. LNCS, vol.992, pp. 402-413. Springer, Heidelberg (1995)