Skip to main content
SpringerLink
Log in

A Defeasible Logic of Intention

  • Conference paper
Advances in Artificial Intelligence (MICAI 2012)

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

Included in the following conference series:

Abstract

Intentional reasoning is a form of logical reasoning with a temporal-intentional and defeasible nature. By covering conditions of material and formal adequacy we describe a defeasible logic of intention to support the thesis that intentional reasoning is bona fide reasoning.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Antonelli, A.: Grounded Consequence for Defeasible Logic. Cambridge University Press, Cambridge (2005)

    Book  MATH  Google Scholar 

  2. Bordini, R.H., Moreira, Á.F.: Proving BDI properties of agent-oriented programming languages. Annals of Mathematics and Artificial Intelligence 42, 197–226 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  3. Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley, England (2007)

    Book  MATH  Google Scholar 

  4. Bratman, M.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)

    Google Scholar 

  5. Castro-Manzano, J.M., Barceló-Aspeitia, A.A., Guerra-Hernández, A.: Consistency and soundness for a defeasible logic of intention. Advances in soft computing algorithms, Research in Computing Science 54 (2011)

    Google Scholar 

  6. Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Boston (1999)

    Google Scholar 

  7. Cohen, P., Levesque, H.: Intention is choice with commitment. Artificial Intelligence 42(3), 213–261 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  8. Couturat, L.: La logique de Leibniz d’aprés de documents inédits. G. Olms, Hildesheim (1962)

    Google Scholar 

  9. Dastani, M., van Riemsdijk, M.B., Meyer, J.C.: A grounded specification language for agent programs. In: AAMAS 2007, pp. 1–8. ACM, New York (2007)

    Google Scholar 

  10. Emerson, A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science. Elsevier Science Publishers B.V, Amsterdam (1990)

    Google Scholar 

  11. Feinberg, B., Kasrils, R. (eds.): Dear Bertrand Russell... A selection of his correspondence with the general public, 1950–1968. George Allen and Unwin, London (1969)

    Google Scholar 

  12. Gabbay, D.M.: Theoretical foundations for nonmonotonic reasoning in expert systems. In: Apt, K. (ed.) Logics and Models of Concurrent Systems, pp. 439–459. Springer, Berlin (1985)

    Chapter  Google Scholar 

  13. Governatori, G., Padmanabhan, V., Sattar, A.: A Defeasible Logic of Policy-Based Intention (Extended Abstract). In: McKay, B., Slaney, J.K. (eds.) Canadian AI 2002. LNCS (LNAI), vol. 2557, pp. 723–723. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  14. Governatori, G., Terenziani, P.: Temporal Extensions to Defeasible Logic. In: Proceedings of IJCAI 2007 Workshop on Spatial and Temporal Reasoning, India (2007)

    Google Scholar 

  15. Guerra-Hernández, A., Castro-Manzano, J.M., El-Fallah-Seghrouchni, A.: CTLAgentSpeak(L): a Specification Language for Agent Programs. Journal of Algorithms in Cognition, Informatics and Logic (2009)

    Google Scholar 

  16. Hoek, W., van der Jamroga, W., Wooldridge, M.: Towards a theory of intention revision. Synthese. Springer (2007)

    Google Scholar 

  17. Konolige, K., Pollack, M.E.: A representationalist theory of intentions. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 1993), pp. 390–395. Morgan Kaufmann, San Mateo (1993)

    Google Scholar 

  18. Nute, D.: Defeasible Logic. In: Bartenstein, O., Geske, U., Hannebauer, M., Yoshie, O. (eds.) INAP 2001. LNCS (LNAI), vol. 2543, pp. 151–169. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  19. Icard, T., Pacuit, E., Shoham, Y.: Joint revision of belief and intention. In: Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (2010)

    Google Scholar 

  20. Prakken, H., Vreeswijk, G.: Logics for defeasible argumentation. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 4, pp. 219–318. Kluwer Academic Publishers, Dordrecht (2002)

    Google Scholar 

  21. Rao, A.S., Georgeff, M.P.: Modelling Rational Agents within a BDI-Architecture. In: Huhns, M.N., Singh, M.P. (eds.) Readings in Agents, pp. 317–328. Morgan Kaufmann (1998)

    Google Scholar 

  22. 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)

    Chapter  Google Scholar 

  23. Turner, R., Eden, A.: The Philosophy of Computer Science. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Summer 2009 Edition), http://plato.stanford.edu/archives/sum2009/entries/computer-science

  24. Wooldridge, M.: Reasoning about Rational Agents. MIT Press, Cambridge (2000)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Escuela de Filosofía, Universidad Popular Autónoma del Estado de Puebla, 21 sur 1103 Barrio de Santiago, Puebla, México, 72410

    José Martín Castro-Manzano

  2. Instituto de Investigaciones Filosóficas, Universidad Nacional Autónoma de México, Circuito Mario de la Cueva s/n Ciudad Universitaria, México, D.F., México, 04510

    José Martín Castro-Manzano

Authors
  1. José Martín Castro-Manzano
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Eje Central Lazaro Cardenas Norte, Mexican Petroleum Institute, 152, Col. San Bartolo Atepehuacan, CP 07730, México D.F., Mexico

    Ildar Batyrshin

  2. Tecnológico de Monterrey, Campus Estado de México, Carretera Lago de Guadalupe Km 3.5, Atizapán de Zaragoza, ,,, CP 52926, Estado de México, Mexico

    Miguel González Mendoza

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Castro-Manzano, J.M. (2013). A Defeasible Logic of Intention. In: Batyrshin, I., González Mendoza, M. (eds) Advances in Artificial Intelligence. MICAI 2012. Lecture Notes in Computer Science(), vol 7629. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37807-2_28

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-37807-2_28

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-37806-5

  • Online ISBN: 978-3-642-37807-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation