Interactions between Knowledge, Action, and Commitment within Agent Dynamic Logic. Schmidt, R. A., Tishkovsky, D., & Hustadt, U. Studia Logica, 78(3):381-415, December, 2004.
Interactions between Knowledge, Action, and Commitment within Agent Dynamic Logic [link]Paper  abstract   bibtex   
This paper considers a new class of agent dynamic logics which provide a formal means of specifying and reasoning about the agents' activities and informational, motivational and proactical aspects of the behaviour of the agents. We present a Hilbert-style deductive system for a basic agent dynamic logic and consider a number of extensions of this logic with axiom schemata formalising interactions between knowledge and commitment (expressing an agent's awareness of her commitments), and interactions between knowledge and actions (expressing no learning and persistence of knowledge about actions). The deductive systems are proved sound and complete with respect to a Kripke-style semantics. Each of the consdered logics is shown to have the small model property and therefore decidable.
@ARTICLE{Schmidt+Tishkovsky+Hustadt@SL2004,
 AUTHOR        = {Schmidt, Renate A. and Tishkovsky, Dmitry and
 Hustadt, Ullrich},
 TITLE         = {Interactions between Knowledge, Action,
 and Commitment within Agent Dynamic Logic},
 JOURNAL       = {Studia Logica},
 YEAR          = {2004},
 VOLUME        = {78},
 NUMBER        = {3},
 PAGES         = {381-415},
 MONTH         = dec,
 URL           = {http://dx.doi.org/10.1007/s11225-004-6042-1},
 ABSTRACT      = {This paper considers a new class of agent dynamic
 logics which provide a formal means of specifying and reasoning about
 the agents' activities and informational, motivational and proactical
 aspects of the behaviour of the agents. We present a Hilbert-style
 deductive system for a basic agent dynamic logic and consider a number
 of extensions of this logic with axiom schemata formalising
 interactions between knowledge and commitment (expressing an agent's
 awareness of her commitments), and interactions between knowledge and
 actions (expressing no learning and persistence of knowledge about
 actions). The deductive systems are proved sound and complete with
 respect to a Kripke-style semantics. Each of the consdered logics is
 shown to have the small model property and therefore decidable.}
}

Downloads: 0