A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'

Within a STIT framework, this paper presents a logical study of the interaction between `ought-to-do', and an epistemic notion of `knowingly doing'. We start out with some motivating examples concerning the interaction between action, obligation and knowledge. Then we present a complete temporal STIT logic including operators for action, obligation and knowledge. We use the logic to analyze the examples and discuss open problems.

[1]  Andreas Herzig,et al.  Knowing how to play: uniform choices in logics of agency , 2006, AAMAS '06.

[2]  Wojciech Jamroga,et al.  Agents that Know How to Play , 2004, Fundam. Informaticae.

[3]  Barteld P. Kooi,et al.  Conflicting Obligations in Multi-agent Deontic Logic , 2006, DEON.

[4]  H. Wansing.  Essays on Non-Classical Logic , 2001 .

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

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

[7]  Andreas Herzig,et al.  From Coalition Logic to STIT , 2006, LCMAS.

[8]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 2002, JACM.

[9]  L. Åqvist.  Good Samaritans, Contrary-to-Duty Imperatives, and Epistemic Obligations , 1967 .

[10]  Andreas Herzig,et al.  A normal simulation of coalition logic and an epistemic extension , 2007, TARK '07.

[11]  Marc Pauly,et al.  A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[12]  Frank Wolter,et al.  Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.

[13]  Andreas Herzig,et al.  Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency , 2006, J. Log. Comput..

[14]  Johan van Benthem,et al.  Obligations, authorities, and history dependence , 1999 .

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

[16]  Mark Reynolds.  D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-dimensional modal logics: theory and applications . Studies in Logic and the Foundations of Mathematics, vol. 148. Elsevier, Amsterdam, xiv + 747 pp. , 2005 .

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

[18]  Andreas Herzig,et al.  A STIT-Extension of ATL , 2006, JELIA.

[19]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

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

[21]  Paul Bartha.  Conditional obligation, deontic paradoxes, and the logic of agency , 2005, Annals of Mathematics and Artificial Intelligence.

[22]  Michael Wooldridge,et al.  Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications , 2003, Stud Logica.

[23]  Ramaswamy Ramanujam,et al.  A Knowledge Based Semantics of Messages , 2003, J. Log. Lang. Inf..

[24]  John-Jules Ch. Meyer,et al.  Deontic Logic and Artificial Normative Systems , 2008 .

[25]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[26]  Jan M. Broersen,et al.  A Complete STIT Logic for Knowledge and Action, and Some of Its Applications , 2008, DALT.

[27]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[28]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .

[29]  John-Jules Ch. Meyer,et al.  A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..

[30]  Alan Ross Anderson,et al.  A REDUCTION OF DEONTIC LOGIC TO ALETHIC MODAL LOGIC , 1958 .