Abstract
Intentions are an important concept in several subfields of Artificial Intelligence. We present a formal theory of intentions and beliefs based on Discourse Representation Theory that captures many of the important logical aspects of the functional roles of intentions and beliefs, and of relationships among intentions, and between intentions and beliefs. Unlike possible worlds approaches, this theory does not assume that agents are perfect reasoners, and gives a realistic view of their internal architecture; unlike most representational approaches, it has an objective semantics, and does not rely on an ad hoc labeling of the internal states of agents. We then describe a minimal logic for intentions and beliefs. We close with several additional inferences, and the constraints on the model that correspond to them.
We are indebted to Allen Emerson and Rob Koons for several discussions and for comments on previous versions of this paper.
Preview
Unable to display preview. Download preview PDF.
References
Philip Agre and David Chapman. Pengi: an implementation of a theory of activity. In AAAI-87, pages 268–272, 1987.
James Allen and C. Raymond Perrault. Participating in dialogues: understanding via plan deduction. In Proceedings, CSCSI-78, 1978.
James F. Allen and C. Raymond Perrault. Analyzing intention in utterances. Artificial Intelligence, 15:143–178, 1980.
Douglas Appelt. Planning English Sentences. Cambridge University Press, Cambridge, UK, 1986.
Nicholas Asher. Belief in discourse representation theory. Journal of Philosophical Logic, 15:127–189, 1986.
Nicholas Asher. Information, interpretation, and attitudes. In P. Hanson, editor, British Columbia Studies in Cognitive Science, 1990. In press.
Nicholas Asher. A typology for attitude verbs and their anaphoric properties. Linguistics and Philosophy, 10:125–197, 1987.
Michael E. Bratman. Intention, Plans and Practical Reason. Harvard University Press, Cambridge, MA, 1987.
Brian F. Chellas. Modal Logic. Cambridge University Press, New York, NY, 1980.
Philip R. Cohen and Hector J. Levesque. Rational Interaction as the Basis for Communication. Technical Report 433, SRI International, Menlo Park, CA, April 1988.
Philip R. Cohen and C. Raymond Perrault. Elements of a plan-based theory of speech acts. Cognitive Science, 3:117–212, 1979.
Daniel C. Dennett. The Intentional Stance. MIT Press, Cambridge, MA, 1987.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, North-Holland Publishing Company, Amsterdam, The Netherlands, 1989.
Ronald Fagin and Joseph Y. Halpern. Belief, awareness, and limited reasoning. Artificial Intelligence, 34:39–76, 1988.
Ronald Fagin, Joseph Y. Halpern, and Moshe Y. Vardi. A nonstandard approach to the logical omniscience problem. In Proceedings of the Third Conference on Theoretical Aspects of Reasoning About Knowledge, Morgan Kaufmann Inc., 1990.
Michael P. Georgeff. Planning. In J. F. Traub, editor, Annual Review of Computer Science, Vol 2, Annual Reviews Inc., Palo Alto, CA, 1987.
Barbara Grosz and Candace Sidner. Attentions, intentions, and discourse structure. Computational Linguistics, 12(3):175–204, 1986.
Hans Kamp. Context, thought and communication. The Proceedings of the Aristotelian Society, New Series, LXXXV(XIII):239–261, 1984/1985.
Hans Kamp. A theory of truth and semantic representation. In J. Groenendijk, T. Jansenn, and M. Stokhof, editors, Truth, Interpretation and Information, pages 1–41, Foris Publications, Dordrecht, The Netherlands, 1984.
Kurt Konolige. A Deduction Model of Belief. Morgan Kaufmann, Inc, 1986.
Saul Kripke. A puzzle about belief. In A. Margalit, editor, Meaning and Use, Dordrecht Reidel, Dordrecht, The Netherlands, 1979.
Hector Levesque. A logic of implicit and explicit belief. In AAAI-84, 1984.
Diane J. Litman and James F. Allen. A plan recognition model for subdialogues in conversations. Cognitive Science, 11:163–200, 1987.
Drew V. McDermott. A temporal logic for reasoning about processes and plans. Cognitive Science, 6(2):101–155, 1982.
Barbara Hall Partee. Belief-sentences and the limits of semantics. In Stanley Peters and Esa Saarinen, editors, Processes, Beliefs, and Questions, D. Reidel Publishing Company, Dordrecht, The Netherlands, 1982.
Raymond Perrault. An Application of Default Logic to Speech Act Theory. Technical Report 90, Center for the Study of Language and Information, Stanford, CA, March 1987.
Martha E. Pollack. Inferring Domain Plans in Question Answering. PhD thesis, University of Pennsylvania, 1986.
Stanley J. Rosenschein. Formal theories of knowledge in AI and robotics. New Generation Computing, 3(4), 1985.
John R. Searle. Intentionality: An essay in the Philosophy of Mind. Cambridge University Press, Cambridge, UK, 1983.
Munindar P. Singh. Group ability and structure. In 2nd European Workshop on the Modeling of Autonomous Agents in a Multi-Agent World, August 1990.
Munindar P. Singh. Group intentions. In 10th Workshop on Distributed Artificial Intelligence, October 1990.
Munindar P. Singh. Towards a theory of situated know-how. In 9th European Conference on Artificial Intelligence, August 1990.
Robert C. Stalnaker. Inquiry. MIT Press, Cambridge, MA, 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Singh, M.P., Asher, N.M. (1991). Towards a formal theory of intentions. In: van Eijck, J. (eds) Logics in AI. JELIA 1990. Lecture Notes in Computer Science, vol 478. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018460
Download citation
DOI: https://doi.org/10.1007/BFb0018460
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53686-4
Online ISBN: 978-3-540-46982-7
eBook Packages: Springer Book Archive