Goal Change in the Context of Beliefs: Partial Implication, Logical Properties, and Complexity (bibtex)
by Leendert van der Torre Yan Zhang Yi Zhou
Abstract:
Partial implication semantics in the context of a background theory has been introduced to formalize partial goal satisfaction in the context of beliefs. In this paper, we introduce strong partial implication prohibiting redundancies and weak partial implication allowing side effects, we study their semantic as well as complexity properties, and we apply the three notions of partial implication to goal change in the context of beliefs.
Reference:
Goal Change in the Context of Beliefs: Partial Implication, Logical Properties, and Complexity (Leendert van der Torre Yan Zhang Yi Zhou), In Proc. of 7th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008.
Bibtex Entry:
@InProceedings{YiZhou2008,
  Title                    = {Goal Change in the Context of Beliefs: Partial Implication, Logical Properties, and Complexity},
  Author                   = {Yi Zhou, Leendert van der Torre, Yan Zhang},
  Booktitle                = {Proc. of 7th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2008)},
  Year                     = {2008},

  Abstract                 = {Partial implication semantics in the context of a background theory has been introduced to formalize partial goal satisfaction in the context of beliefs. In this paper, we introduce strong partial implication prohibiting redundancies and weak partial implication allowing side effects, we study their semantic as well as complexity properties, and we apply the three notions of partial implication to goal change in the context of beliefs.},
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/aamas08.pdf},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/aamas08.pdf}
}
Powered by bibtexbrowser