Abstract
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.
We thank the anonymous referees of this paper for their helpful comments.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bratman, M.E.: Intentions, plans and practical reason. Harvard University Press, Cambridge (1987)
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)
Chisholm, R.M.: Freedom and Action. In: Lehrer, K. (ed.) Freedom and Determinism, pp. 105–139. Random House, New York (1966)
Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)
Danto, A.: What we can do. The Journal of Philosophy 60, 435–445 (1965)
Demolombe, R., Herzig, A., Varzinczak, I.: Regression in modal logic. Journal of Applied Non-Classical Logics 13, 165–185 (2003)
Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. D. Reidel, Dordrecht (1983)
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)
Goldblatt, R.: Logics of Time and Computation, 2nd edn. CSLI Lecture Notes, Stanford, California (1992)
Goldman, A.: A Theory of Human Action. Prentice-Hall, Englewood Cliffs (1970)
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)
Herzig, A., Longin, D.: C&L Intention Revisited. In: Proceedings of KR 2004, pp. 527–535 (2004)
Hornsby, J.: Actions. Routledge & Kegan Paul, London (1980)
Jones, A., Sergot, M.J.: A formal characterisation of institutionalised power. Journal of the IGPL 4(3), 429–445 (1996)
Lorini, E.: A logic of Intention and Attempt. Technical Report, Institute of Cognitive Science and Technologies-CNR, Rome (2006)
McCann, H.J.: Volition and Basic Action. The Philosophical Review 83, 451–473 (1974)
Mele, A.R.: Springs of action. Oxford University Press, New York (1992)
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)
O’Shaughnessy, B.: Trying as the Mental Pineal Gland. The Journal of Philosophy 70, 365–386 (1973)
Pacuit, E., Parikh, R., Cogan, E.: The Logic of Knowledge Based Obligation. In: Knowledge, Rationality and Action (to appear, 2005)
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)
Reiter, R.: Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT Press, Cambridge (2001)
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)
Searle, J.R.: The construction of social reality. Free Press, New York (1995)
Searle, J.R.: Intentionality. Cambridge University Press, Cambridge (1983)
Stoutland, F.: Basic Actions and Causality. Journal of Philosophy 65, 467–475 (1968)
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)
Vanderveken, D.: Attempt and action generation: towards the foundations of the logic of action. Cahiers d’pistmologie 293 (2003)
Von Wright, G.H.: Norm and Action. Routledge and Kegan Paul, London (1963)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lorini, E., Herzig, A., Castelfranchi, C. (2006). Introducing Attempt in a Modal Logic of Intentional Action. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds) Logics in Artificial Intelligence. JELIA 2006. Lecture Notes in Computer Science(), vol 4160. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11853886_24
Download citation
DOI: https://doi.org/10.1007/11853886_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-39625-3
Online ISBN: 978-3-540-39627-7
eBook Packages: Computer ScienceComputer Science (R0)