A logic of intention and attempt

We present a modal logic called $${\mathcal{LIA}}$$ (logic of intention and attempt) in which we can reason about intention dynamics and intentional action execution. By exploiting the expressive power of $${\mathcal{LIA}}$$, we provide a formal analysis of the relation between intention and action and highlight the pivotal role of attempt in action execution. Besides, we deal with the problems of instrumental reasoning and intention persistence.

[1]  Nicholas R. Jennings,et al.  Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems , 2002, J. Log. Comput..

[2]  Walter B. Pitkin.  The Self-Transcendency of Knowledge , 1906 .

[3]  Dominique Longin,et al.  C&L Intention Revisited , 2004, KR.

[4]  Michael E. Bratman,et al.  Two Faces of Intention , 1984 .

[5]  Barbara Dunin-Keplicz,et al.  Collective Intentions , 2002, Fundam. Informaticae.

[6]  Severin Schroeder.  The concept of trying , 2001 .

[7]  J. Elster.  Ulysses And The Sirens , 1979 .

[8]  Mehdi Dastani,et al.  Goal generation in the BOID architecture , 2002 .

[9]  Rocco De Nicola,et al.  An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems , 1993, Comput. Networks ISDN Syst..

[10]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[11]  Munindar P. Singh,et al.  A logic of intentions and beliefs , 1993, J. Philos. Log..

[12]  Brain O'Shaughnessy,et al.  Trying (As the Mental "Pineal Gland") , 1973 .

[13]  D. Wolpert,et al.  Abnormalities in the awareness and control of action. , 2000, Philosophical transactions of the Royal Society of London. Series B, Biological sciences.

[14]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[15]  Cristiano Castelfranchi,et al.  The cognitive and behavioral mediation of institutions: Towards an account of institutional actions , 2006, Cognitive Systems Research.

[16]  John-Jules Ch. Meyer,et al.  Formalising Abilities and Opportunities of Agents , 1998, Fundam. Informaticae.

[17]  N. Belnap,et al.  Facing the Future: Agents and Choices in Our Indeterminist World , 2001 .

[18]  L. H. Davis.  Theory of Action , 1979 .

[19]  Alfred R. Mele,et al.  Springs of Action: Understanding Intentional Behavior. , 1994 .

[20]  Zoubin Ghahramani,et al.  Computational motor control , 2004 .

[21]  R. Hilpinen.  Deontic Logic: Introductory and Systematic Readings , 1981 .

[22]  Bruce Aune,et al.  Science and Metaphysics: Variations on Kantian Themes. , 1970 .

[23]  Kurt Konolige,et al.  A Representationalist Theory of Intention , 1993, IJCAI.

[24]  Arthur C. Danto,et al.  What We Can Do , 1963 .

[25]  Bernhard Nebel,et al.  Second International Conference on Principles of Knowledge Representation and Reasoning (KR '91) , 1992, Künstliche Intell..

[26]  Nuel Belnap,et al.  The deliberative stit: A study of action, omission, ability, and obligation , 1995, J. Philos. Log..

[27]  S. Kanger.  New Foundations for Ethical Theory , 1970 .

[28]  Hugh Mccann,et al.  Volition and Basic Action , 1974 .

[29]  Johan van Benthem,et al.  The Tree of Knowledge in Action: Towards a Common Perspective , 2006, Advances in Modal Logic.

[30]  David J. Israel,et al.  Actions and Movements , 1991, IJCAI.

[31]  T. Norman,et al.  FORMALISING COLLABORATIVE DECISION-MAKING AND PRACTICAL REASONING IN MULTI-AGENT SYSTEMS , 2001 .

[32]  M. Miller.  Agency , 2010 .

[33]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[34]  Krister Segerberg,et al.  Getting started: Beginnings in the logic of action , 1992, Stud Logica.

[35]  John-Jules Ch. Meyer,et al.  A Logical Approach to the Dynamics of Commitments , 1999, Artif. Intell..

[36]  J. Searle.  Intentionality: Name index , 1983 .

[37]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[38]  Bernhard Beckert,et al.  Dynamic Logic , 2007, The KeY Approach.

[39]  Alfred R. Mele,et al.  Springs Of Action , 1992 .

[40]  Sarit Kraus,et al.  Collaborative Plans for Complex Group Action , 1996, Artif. Intell..

[41]  A. Montefiore.  NORM AND ACTION , 1964 .

[42]  Rohit Parikh,et al.  The Logic of Knowledge Based Obligation , 2006, Synthese.

[43]  Gilbert Harman,et al.  Change in View: Principles of Reasoning. , 1989 .

[44]  J. Searle.  Intentionality: An Essay in the Philosophy of Mind , 1983 .

[45]  Hugh McCann.  Is Raising One's Arm a Basic Action? , 1972 .

[46]  A. Goldman.  Theory of Human Action , 1970 .

[47]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[48]  Andreas Herzig,et al.  Formalizing Action and Change in Modal Logic I: the frame problem , 1999, J. Log. Comput..

[49]  Wojciech Jamroga,et al.  Towards a theory of intention revision , 2007, Synthese.

[50]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[51]  D. Davidson.  Essays on actions and events , 1980 .

[52]  Frank Dignum,et al.  Intentional Agents and Goal Formation , 1997, ATAL.

[53]  J. Locke.  An Essay concerning Human Understanding , 1924, Nature.

[54]  Joëlle Proust.  La nature de la volonté , 2005 .

[55]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[56]  E. Pacherie.  Towards a dynamic theory of intentions , 2009 .

[57]  Leslie Stevenson,et al.  Science and Metaphysics: Variations on Kantian Themes. , 1970 .

[58]  Alan Millar,et al.  Reason and nature : essays in the theory of rationality , 2002 .

[59]  R. Chisholm.  Freedom and Action , 1966 .

[60]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[61]  Richmond H. Thomason,et al.  Desires and Defaults: A Framework for Planning with Inferred Goals , 2000, KR.

[62]  Aron Gurwitsch.  Towards a Theory of Intentionality , 1970 .

[63]  J. Gerbrandy.  Bisimulations on Planet Kripke , 1999 .

[64]  M. Fitting.  Proof Methods for Modal and Intuitionistic Logics , 1983 .

[65]  Hugh J. McCANN.  Rationality and the Range of Intention , 1987 .

[66]  Andrew J. I. Jones,et al.  Action concepts for describing organised interaction , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[67]  Hector J. Levesque,et al.  Knowledge, action, and the frame problem , 2003, Artif. Intell..

[68]  Dominique Longin,et al.  Sensing and revision in a modal logic of belief and action , 2002, ECAI.

[69]  Jan Broersen.  Modal Action Logics for Reasoning about Reactive Systems , 2003 .

[70]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[71]  W. Hoek,et al.  Formalising abilities and opportunities of agents , 1998 .

[72]  Munindar P. Singh.  Applying the Mu-Calculus in Planning and Reasoning about Action , 1998, J. Log. Comput..

[73]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[74]  D. Stuss,et al.  Cognitive neuroscience. , 1993, Current opinion in neurobiology.

[75]  J. Horty.  Agency and Deontic Logic , 2001 .

[76]  Andreas Herzig,et al.  Regression in Modal Logic , 2003, J. Appl. Non Class. Logics.

[77]  Krister Segerberg,et al.  Bringing it about , 1989, J. Philos. Log..

[78]  John McGregor,et al.  Intentionality , 2010, J. Object Technol..

[79]  Saharon Shelah,et al.  On the temporal analysis of fairness , 1980, POPL '80.

[80]  Jay Wallace,et al.  Normativity, Commitment, and Instrumental Reason , 2001 .

[81]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[82]  J. Searle.  The Construction of Social Reality , 1997 .

[83]  Nancy E. Reed,et al.  Practical Reasoning , 1996, Lecture Notes in Computer Science.

[84]  Frederick Stoutland.  Basic Actions and Causality , 1968 .

[85]  Anand S. Rao,et al.  Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics , 1991, IJCAI.

[86]  M. Brand,et al.  Intending and Acting. , 1986 .