{"type":"ScholarlyArticle","title":"Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics","authors":[{"name":"Anand S. Rao","slug":"anand-s-rao","given":"Anand S.","family":"Rao","affiliation":""},{"name":"Michael P. Georgeff","slug":"michael-p-georgeff","given":"Michael P.","family":"Georgeff","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1991/75","pdf":"https://ijcai.org/proceedings/1991/0075.pdf","markdown":"https://ijcai.org/proceedings/1991/75.md","bibtex":"https://ijcai.org/proceedings/1991/bibtex/75","volume":{"slug":"1991","title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1991","url":"https://ijcai.org/proceedings/1991/","year":1991,"location":"Sydney, New South Wales, Australia","dates":"24-30 August 1991","editors":"John Mylopoulos and Ray Reiter","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":75,"pages":{"first":498,"last":504},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}