---
title: "Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics"
authors:
  - "Anand S. Rao"
  - "Michael P. Georgeff"
doi: ""
url: "https://ijcai.org/proceedings/1991/75"
pdf: "https://ijcai.org/proceedings/1991/0075.pdf"
venue: "Proceedings of the Twelfth International Joint Conference on Artificial Intelligence"
year: 1991
pages: "498-504"
track: "Knowledge Representation"
keywords:
---

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

Anand S. Rao, Michael P. Georgeff

*Proceedings of the Twelfth International Joint Conference on Artificial Intelligence*, 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.