Consistency Conditions for Beliefs and Intentions (bibtex)
by Marc van Zee, Mehdi Dastani, Dragan Doder, Leendert van der Torre
Abstract:
Icard et al. introduce a semantics for actions over time, provide an axiomatization for this logic, and use this logic to define coherence conditions for a belief-intention database. First, we show incompleteness of their axiomatization and we adapt their semantics and provide a complete axiomatization for it. Second, we show that Icard et al.'s definition of coherence is too weak, and we define a stronger notion of coherence using our new logic.
Reference:
Consistency Conditions for Beliefs and Intentions (Marc van Zee, Mehdi Dastani, Dragan Doder, Leendert van der Torre), In Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning, 2015.
Bibtex Entry:
@InProceedings{vanzee-etal:commonsense2015,
  Title                    = {Consistency Conditions for Beliefs and Intentions},
  Author                   = {Marc van Zee and Mehdi Dastani and Dragan Doder and Leendert van der Torre},
  Booktitle                = {Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning},
  Year                     = {2015},
  Month                    = {March},
  Abstract                 = {Icard et al. introduce a semantics for actions over time, provide an axiomatization for this logic, and use this logic to define coherence conditions for a belief-intention database. First, we show incompleteness of their axiomatization and we adapt their semantics and provide a complete axiomatization for it. Second, we show that Icard et al.'s definition of coherence is too weak, and we define a stronger notion of coherence using our new logic.},
  Url                      = {http://www.marcvanzee.nl/publications/2015/commonsense2015_consistency_conditions_for_beliefs_and_intentions.pdf}
}