C&L Intention Revisited

Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004

Volumn , Issue , 2004, Pages 527-535

  Herzig, Andreas ^a   Longin, Dominique ^a  

^a IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; KNOWLEDGE REPRESENTATION;

COMPLETE AXIOMATIZATIONS; CONDITION; LOGICAL FRAMEWORKS; PROPOSITIONAL LOGIC;

FORMAL LOGIC;

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

References (33)

1. Appelt, D., and Konolige, K. 1989. A nonmonotonic logic for reasoning about speech acts and belief revision. In Re-infrank, M.; de Kleer, J.; Ginsberg, M.; and Sandewall, E., eds., Proc. 2nd Int. Workshop on Non-monotonic Reasoning, number 346 in LNAI, 164-175. Springer Verlag.
2. Bacchus, F.; Halpern, J.; and Levesque, H. 1995. Reasoning about noisy sensors in the situation calculus. In Proc. 14th Int. Joint Conf. on Artificial Intelligence (IJCAI'95), 1933-1940.
3. Bacchus, F.; Halpern, J.; and Levesque, H. 1999. Reasoning about noisy sensors in the situation calculus. Artificial Intelligence 111:131-169.
4. Baltag, A.; Moss, L. S.; and Solecki, S. 1998. The logic of public announcements, common knowledge, and private suspicions. In Proc. TARK'98, 43-56. Morgan Kaufmann.
5. ∼abaltag/papers.html.
6. Blackburn, P.; de Rijke, M.; and Venema, Y. 2001. Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.
7. Bratman, M. E. 1987. Intentions, plans, and practical reason. Harvard University Press, MA.
8. Bratman, M. E. 1990. What is intention? In Cohen, P. R.; Morgan, J.; and Pollack, M. E., eds., Intentions in Communication. Cambridge, MA: MIT Press. chapter 2, 15-31.
9. Bretier, P. 1995. La communication orale coopérative: contribution à la modélisation logique et à la mise en œuvre d'un agent rationnel dialoguant. Ph.D. Dissertation, Université Paris Nord, Paris, France.
10. Cohen, P. R., and Levesque, H. J. 1990a. Intention is choice with commitment. Artificial Intelligence J. 42(2-3):213-261.
11. Cohen, P. R., and Levesque, H. J. 1990b. Persistence, intentions, and commitment. In Cohen, P. R.; Morgan, J.; and Pollack, M. E., eds., Intentions in Communication. Cambridge, MA: MIT Press. chapter 3, 33-69.
12. Harel, D. 1984. Dynamic logic. In Gabbay, D. M., and Günthner, F., eds., Handbook of Philosophical Logic, volume II. D. Reidel, Dordrecht. 497-604.
13. Herzig, A., and Longin, D. 2000. Belief dynamics in cooperative dialogues. J. of Semantics 17(2). vol. published in 2001.
14. Herzig, A., and Longin, D. 2002. Sensing and revision in a modal logic of belief and action. In van Harmelen, F., ed., Proc. ECAI2002, 307-311. IOS Press.
15. Konolige, K., and Pollack, M. E. 1993. A representationalist theory of intention. In Proc. 13th Int. Joint Conf. on Artificial Intelligence (IJCAI'93), 390-395. Chambery, France: Morgan Kaufmann.
16. Louis, V. 2003. Conception et mise en œuvre de modles formels du calcul de plans d'action complexes par un agent rationnel dialoguant. Ph.D. Dissertation, Université de Caen, France.
17. Marx, M. 1999. Complexity of products of modal logics. J. of Logic and Computation 9(2):221-238.
18. Moore, R. C. 1985. A formal theory of knowledge and action. In Hobbs, J., and Moore, R., eds., Formal Theories of the Commonsense World. Norwood, NJ: Ablex. 319-358.
19. Perrault, C. R. 1990. An application of default logic to speech act theory. In Cohen, P. R.; Morgan, J.; and Pollack, M. E., eds., Intentions in Communication. Cambridge, MA: MIT Press. chapter 9, 161-185.
20. Rao, A. S., and Georgeff, M. P. 1991. Modeling rational agents within a BDI-architecture. In Allen, J. A.; Fikes, R.; and Sandewall, E., eds., Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning (KR'91), 473-484. San Mateo, CA: Morgan Kaufmann.
21. Rao, A. S., and Georgeff, M. P. 1992. An abstract architecture for rational agents. In Nebel, B.; Rich, C.; and Swartout, W., eds., Proc. 4th Int. Conf. on Knowledge Representation and Reasoning (KR'92), 439-449. Cambridge, Massachusetts: Morgan Kaufmann.
22. Sadek, M. D. 1992. A study in the logic of intention. In Nebel, B.; Rich, C.; and Swartout, W., eds., Proc. 4th Int. Conf. on Knowledge Representation and Reasoning (KR'92), 462-473. Cambridge, Massachusetts: Morgan Kaufmann.
23. Sadek, M. D. 2000. Dialogue acts are rational plans. In Taylor, M.; Nel, F.; and Bouwhuis, D., eds., The structure of mutimodal dialogue, 167-188. Philadelphia/Amsterdam: John Benjamins publishing company. From ESCA/ETRW, Workshop on The Structure of Multimodal Dialogue (Venaco II), 1991.
24. Sahlqvist, H. 1975. Completeness and correspondence in the first and second order semantics for modal logics. In Kanger, S., ed., Proc. 3rd Scandinavian Logic Symposium 1973, number 82 in Studies in Logic. North Holland.
25. Scherl, R., and Levesque, H. J. 1993. The frame problem and knowledge producing actions. In Proc. Nat. Conf. on AI (AAAI'93), 689-695. AAAI Press.
26. Scherl, R., and Levesque, H. J. 2003. The frame problem and knowledge producing actions. Artificial Intelligence 144(1-2).
27. Schut, M., and Wooldridge, M. 2001. Principles of intention reconsideration. In Proc. AGENTS'01. ACM Press.
28. Shapiro, S., and Lespérance, Y. 2000. Modeling multiagent systems with the cognitive agents specification language - a feature interaction resolution application. In Castelfranchi, C., and Lespérance, Y., eds., Intelligent Agents Vol. VII - Proc. 2000 Workshop on Agent Theories, Architectures, and Languages (ATAL-2000). Springer-Verlag.
29. Shapiro, S.; Pagnucco, M.; Lespérance, Y.; and Levesque, H. J. 2000. Iterated belief change in the situation calculus. In Proc. KR2000, 527-538.
30. Shapiro, S.; Lespérance, Y.; and Levesque, H. J. 1997. Specifying communicative multi-agent systems with Con-Golog. In Working notes of the AAAI fall symposium on Communicative Action in Humans and Machines, 75-82. AAAI Press.
31. Shapiro, S.; Lespérance, Y.; and Levesque, H. J. 1998. Specifying communicative multi-agent systems. In Wobcke, W.; Pagnucco, M.; and Zhang, C., eds., Agents and Multi-Agent Systems - Formalisms, Methodologies, and Applications, 1-14. Springer-Verlag, LNAI 1441.
32. Thomason, R. H. 2000. Desires and defaults: A framework for planning with inferred goals. In Proc. of the Seventh International Conference Knowledge Representation and Reasoning (KR'2000), 702-713. Morgan Kaufmann Publishers.
33. Wooldridge, M. 2000. Reasonning about Rational Agent. Cambridge, Massachusetts: MIT Press.