Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics

Rao, Anand S.; Georgeff, Michael P.

Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics

Download BibTeX Cite

Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 498-504.

Abstract

In this paper, we examine the relationships _between beliefs, goals, and intentions. In particular, we consider the formalization of the Asymmetry Thesis as proposed by Bratman [1987]. We argue that the semantic characteri~ation ?f this principle determines if the resultmg logtc is capable of handling other important problems such as the side-effect problem of beliefgoal~intention interaction. While Cohen and Levesque's [1990] formalization faithfully models some aspects of the asymmetry thesis, it does not solve all the side-effect problems; on the other hand the formalization provided by Rao and Georgeff [1991] solves all the side-effect problems, but only models a weak form of ~he asymmetry thesis. In this paper, we combme the intuition behind both these approaches and provide a semantic account of the asymmetry thesis, in both linear-time and branching-time logics, for solving many of these problems.

Anand S. Rao, and Michael P. Georgeff. 1991. Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91. IJCAI, 498–504. https://ijcai.org/proceedings/1991/75

@inproceedings{ijcai1991p75,
  title     = {Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics},
  author    = {Rao, Anand S. and Georgeff, Michael P.},
  booktitle = {Proceedings of the Twelfth International Joint Conference on
               Artificial Intelligence, {IJCAI-91}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John Mylopoulos and Ray Reiter},
  pages     = {498--504},
  year      = {1991},
  month     = {8},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1991/75},
}

TY  - CPAPER
TI  - Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics
AU  - Rao, Anand S.
AU  - Georgeff, Michael P.
T2  - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1991
SP  - 498
EP  - 504
UR  - https://ijcai.org/proceedings/1991/75
ER  -