Introducing Attempt in a Modal Logic of Intentional Action

  • Emiliano Lorini
  • Andreas Herzig
  • Cristiano Castelfranchi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4160)


The main objective of this work is to develop a multi-modal logic of Intention and Attempt. We call this logic LIA. All formal results are focused on the notion of attempt. We substitute the dynamic molecular notion action by his atomic constituent attempt and define the former from the latter. The relations between attempts, goals, beliefs and present-directed intentions are studied. A section of the paper is devoted to the analysis of the relations of our modal logic with a situation calculus-style approach.


Modal Logic Basic Action Intentional Action Linear Temporal Logic Institutional Action 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bratman, M.E.: Intentions, plans and practical reason. Harvard University Press, Cambridge (1987)Google Scholar
  2. 2.
    Castilho, M.A., Gasquet, O., Herzig, A.: Formalizing action and change in modal logic I: the frame problem. Journal of Logic and Computation 9(5), 701–735 (1999)MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Chisholm, R.M.: Freedom and Action. In: Lehrer, K. (ed.) Freedom and Determinism, pp. 105–139. Random House, New York (1966)Google Scholar
  4. 4.
    Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Danto, A.: What we can do. The Journal of Philosophy 60, 435–445 (1965)CrossRefGoogle Scholar
  6. 6.
    Demolombe, R., Herzig, A., Varzinczak, I.: Regression in modal logic. Journal of Applied Non-Classical Logics 13, 165–185 (2003)MATHCrossRefGoogle Scholar
  7. 7.
    Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. D. Reidel, Dordrecht (1983)MATHGoogle Scholar
  8. 8.
    Gabbay, D., Pnueli, A., Shelah, S., Stavi, J.: On the temporal analysis of fairness. In: Proceedings 7th ACM Symposium on Principles of Programming Languages, pp. 163–173 (1980)Google Scholar
  9. 9.
    Goldblatt, R.: Logics of Time and Computation, 2nd edn. CSLI Lecture Notes, Stanford, California (1992)Google Scholar
  10. 10.
    Goldman, A.: A Theory of Human Action. Prentice-Hall, Englewood Cliffs (1970)Google Scholar
  11. 11.
    Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)MATHGoogle Scholar
  12. 12.
    Herzig, A., Longin, D.: C&L Intention Revisited. In: Proceedings of KR 2004, pp. 527–535 (2004)Google Scholar
  13. 13.
    Hornsby, J.: Actions. Routledge & Kegan Paul, London (1980)Google Scholar
  14. 14.
    Jones, A., Sergot, M.J.: A formal characterisation of institutionalised power. Journal of the IGPL 4(3), 429–445 (1996)MathSciNetGoogle Scholar
  15. 15.
    Lorini, E.: A logic of Intention and Attempt. Technical Report, Institute of Cognitive Science and Technologies-CNR, Rome (2006)Google Scholar
  16. 16.
    McCann, H.J.: Volition and Basic Action. The Philosophical Review 83, 451–473 (1974)CrossRefGoogle Scholar
  17. 17.
    Mele, A.R.: Springs of action. Oxford University Press, New York (1992)Google Scholar
  18. 18.
    Meyer, J.J.C., van der Hoek, W., van Linder, B.: A Logical Approach to the Dynamics of Commitments. Artificial Intelligence 113(1-2), 1–40 (1999)MATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    O’Shaughnessy, B.: Trying as the Mental Pineal Gland. The Journal of Philosophy 70, 365–386 (1973)CrossRefGoogle Scholar
  20. 20.
    Pacuit, E., Parikh, R., Cogan, E.: The Logic of Knowledge Based Obligation. In: Knowledge, Rationality and Action (to appear, 2005)Google Scholar
  21. 21.
    Rao, A.S., Georgeff, M.P.: Modelling rational agents within a BDI-architecture. In: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, San Mateo (1991)Google Scholar
  22. 22.
    Reiter, R.: Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT Press, Cambridge (2001)MATHGoogle Scholar
  23. 23.
    Santos, F., Carmo, J., Jones, A.: Action concepts for describing organised interaction. In: Proceedings Thirtieth Annual Hawai International Conference on System Sciences, pp. 373–382 (1997)Google Scholar
  24. 24.
    Searle, J.R.: The construction of social reality. Free Press, New York (1995)Google Scholar
  25. 25.
    Searle, J.R.: Intentionality. Cambridge University Press, Cambridge (1983)Google Scholar
  26. 26.
    Stoutland, F.: Basic Actions and Causality. Journal of Philosophy 65, 467–475 (1968)CrossRefGoogle Scholar
  27. 27.
    Tummolini, L., Castelfranchi, C.: The cognitive and behavioral mediation of institutions: Towards an account of institutional actions. Cognitive Systems Research 7(2-3) (in press)Google Scholar
  28. 28.
    Vanderveken, D.: Attempt and action generation: towards the foundations of the logic of action. Cahiers d’pistmologie 293 (2003)Google Scholar
  29. 29.
    Von Wright, G.H.: Norm and Action. Routledge and Kegan Paul, London (1963)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Emiliano Lorini
    • 1
  • Andreas Herzig
    • 2
  • Cristiano Castelfranchi
    • 1
  1. 1.Institute of Cognitive Sciences and Technologies-CNRRomeItaly
  2. 2.Institut de Recherche en Informatique de Toulouse (IRIT)France

Personalised recommendations