A logic of intention

IJCAI International Joint Conference on Artificial Intelligence

Volumn 1, Issue , 1999, Pages 172-177

  Chen, Xiaoping ^a   Liu, Guiquan ^a  

^a UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ALTERNATIVE APPROACH; FORMAL SPECIFICATION; INFERENCE MECHANISM; INTERPRETE; MODAL OPERATORS; NON-CLASSICAL LOGIC; SIDE EFFECT;

ARTIFICIAL INTELLIGENCE;

SEMANTICS;

EID: 0002086369     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. M.E. Bratman, Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge, MA (1987).
2. B.F Chellas, Modal Logic: An Introduction. Cambridge University Press (1980).
3. P.R. Cohen and H.J. Levesque, Intention is choice with commitment. Artifcial intelligence 42 (1990) 213-261.
4. R.A. Eberle, A logic of believing, knowing and inferring. Synthese 26 (1974) 356-382.
5. R. Fagin and J.Y. Halpern, Belief, awareness, and limited reasoning. Artificial Intelligence 34 (1988) 39-76.
6. J. Hintikka, Knowledge and Belief. Cornell University Press, NY (1962).
7. Z. Huang, M. Masuch and L. Polos, ALX, an action logic for agents with bounded rationality. Artificial intelligence 82 (1996) 75-127. (Pubitemid 126374149)
8. K. Konolige, A deduction model of belief. Pitman publishing, CA (1986).
9. K. Konolige and M.E. Pollack, A representationalist theory of intention. In Proc, IJCAI-93 (1993) 390-395.
10. B.van Linder, W. van der Hoek and J.-J.Ch. Meyer, Formalizing motivational attitudes of agents. In J.P Muller and M. Tambe (eds.), Proc. of IJCAI'95 Workshop (ATAQ (1995) 17-32.
11. S. Mo, Logical paradoxes for many-valued systems, The Journal of Symbolic Logic 19 (1954) 37-40
12. A.S. Rao and M.P Georgeff, Modeling rational agents within a BDI-architecture. In Proc. ofKR~9L Cambridge, MA (1991).
13. K. Schild, On the relationship between BDI logics and standard logics of concurrency. In J.P Milller, M.P Singh and A.S. Rao (eds.), Proc ofATAL-98. Springer-Verlag, 1999.
14. M.P Singh, Commitments in the architecture of limited, rational agents. In Lecture Notes on Artificial intelligence, Vol. 1209 (1997) 72-87.
15. J. Wainer, Yet another semantics of goals and goal priotities. In Proc. of ECAI-94 (1994) 269-273.