Skip to main content

Modeling intentions with extended logic programming

  • Conference paper
  • First Online:
Advances in Artificial Intelligence (SBIA 1995)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 991))

Included in the following conference series:

  • 137 Accesses

Abstract

As far as we are concerned, the existing theories of intentions adopt a designer's perspective, i.e., intentions and related mental states are approached from a designer's point-of-view. Such theories are logicbased and enable one to reason about the agents. However, they are not adequate to be used by the agent, to reason about itself. We argue that adopting an agent perspective may simplify some aspects of such theories, and enable the definition of a logic that agents may use to reason. Also, this change of perspective raises some questions that are, in general, ignored by traditional theories, namely the relations among other attitudes and intentions and between intentions and actions. We present preliminary definitions of a theory of intentions that adopt this different perspective. We also discuss some of the traditionally ignored questions, unveiling potential extensions to the definitions presented here.

Supported by CNPq/Brazil, contract number 200636/93-6(NV).

Work supported by project IDILIO, contract number STRDA-C-TIT-139/92, funded by JNICT.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. J. Alferes. Semantics of logic programs with explicit negation. PhD thesis, Universidade Nova de Lisboa, Lisbon, Portugal, October 1993.

    Google Scholar 

  2. M.E. Bratman. What is intention? In P.R. Cohen, J.L. Morgan, and M. Pollack, editors, Intentions in Communication, chapter 1. The MIT Press, Cambridge, MA, 1990.

    Google Scholar 

  3. C. Castelfranchi. Social power. In Y. Demazeau and J.P. Muller, editors, Descentralized AI — Proceedings of the First European Workshop on Modelling Autonomous Agents and Multi-Agents Worlds (MAAMAW'89), Amsterdam, The Netherlands, 1990. Elsevier Science Publishers.

    Google Scholar 

  4. P.R. Cohen and H.J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990.

    Article  Google Scholar 

  5. M. Corrêa and H. Coelho. Around the architectural approach to model conversations. In Proceedings of the Fifth European Workshop on Modelling Autonomous Agents and Multi-Agents Worlds (MAAMAW'98), 1993.

    Google Scholar 

  6. N. Jennings. On being responsible. In E. Werner and Y. Demazeau, editors, Descentralized AI 3 — Proceedings of the Third European Workshop on Modelling Autonomous Agents and Multi-Agents Worlds (MAAMAW'91), Amsterdam, The Netherlands, 1992. Elsevier Science Publishers.

    Google Scholar 

  7. K. Konolige and M. Pollack. A representationalist theory of intentions. In Proceedings of the XII International Joint Conference on Artificial Intelligence (IJCAI'93), Chambéry, France, 1993. IJCAI inc.

    Google Scholar 

  8. R.A. Kowalski and M.J. Sergot. A logic-based calculus of events. New Generation Computing, 4:67–95, 1986.

    Google Scholar 

  9. L. Messiaen. Localized abductive planning with the event calculus. PhD thesis, Katholieke Universiteit Leuven, Leuven (Heverlee), 1992.

    Google Scholar 

  10. P. Quaresma and G.P. Lopes. Unified logical programming approach to the abduction of plans and intentions in information-seeking dialogues. Journal of Logic Programming, 24(1&), 1995. Special Issue on Computational Linguistics and Logic Programming.

    Google Scholar 

  11. A.S. Rao and M.P. Georgeff. Modelling rational agents within a bdi-architecture. In R. Fikes and E. Sandewall, editors, Proceedings of the Knowledge Representation and Reasoning'91 (KR&R'91), San Mateo, CA., 1991. Morgan Kauffman Publishers.

    Google Scholar 

  12. M. Shanaham. A circumscriptive calculus of events. Artificial Intelligence, 2, 1995. To appear.

    Google Scholar 

  13. M. Singh. A critical examination of the cohen-levesque theory of intentions. In Proceedings of the Tenth European Conference of Artificial Intelligence (ECAI'92), Vienna, Austria, 1992. ECAI inc.

    Google Scholar 

  14. M. Singh. Multiagent systems: a theoretical framework for intentions, know-how, and communications. Springer-Verlag, Heidelberg, Germany, 1994. Lecture Notes in Artificial Intelligence (LNAI 799).

    Google Scholar 

  15. E. Werner. A unified view of information, intentions and ability. In Y. Demazeau and J.P. Muller, editors, Descentralized AI 2 — Proceedings of the Second European Workshop on Modelling Autonomous Agents and Multi-Agents Worlds (MAAMAW'90), Amsterdam, The Netherlands, 1991. Elsevier Science Publishers.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Jacques Wainer Ariadne Carvalho

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

da Costa Móra, M., Lopes, J.G., Coelho, H. (1995). Modeling intentions with extended logic programming. In: Wainer, J., Carvalho, A. (eds) Advances in Artificial Intelligence. SBIA 1995. Lecture Notes in Computer Science, vol 991. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0034800

Download citation

  • DOI: https://doi.org/10.1007/BFb0034800

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60436-5

  • Online ISBN: 978-3-540-47467-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics