Intentions and Assignments

The aim of this work is propose a logical approach to intention dynamics based on the notion of assignment [3, 7]. The function of an assignment is to associate the truth value of a certain formula ϕ to a propositional atom p. We combine a static modal logic of belief and choice with three kinds of dynamic modalities and corresponding three kinds of assignments: assignments operating on an agent's beliefs, assignments operating on the agent's choices and assignments operating on the objective world. An agent's intention is defined in our approach as the agent's choice to perform a given action and two basic operations on intentions called intention generation and intention reconsideration are defined as specific kinds of assignments on choices.

[1]  van der Hoek,et al.  Semantic Results for Ontic and Epistemic Change , 2008 .

[2]  C. Guarneri.  Cornell University Press , 1991 .

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

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

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

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

[7]  Wiebe van der Hoek,et al.  Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.

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

[9]  Emiliano Lorini,et al.  A logic of intention and attempt , 2008, Synthese.

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

[11]  J. Armstrong.  Knowledge and Belief , 1953 .

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

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

[14]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

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

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

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

[18]  Johan van Benthem,et al.  Dynamic logic of preference upgrade , 2007, J. Appl. Non Class. Logics.

[19]  Liu.  Changing for the better : preference dynamics and agent diversity , .