LILaC - paper abstract


C&L intention revisited

Herzig, Andreas and Longin, Dominique


Abstract:

The 1990 papers of Cohen and Levesque (C&L) on rational interaction have been most influential. Their approach is based on a logical framework integrating the concepts of belief, action, time, and choice. On top of these they define notions of achievement goal, persistent goal, and intention.

We here revisit their approach in a simplified, propositional logic, for which we give a complete axiomatization.

Within that logic we study the definition of achievement goals, refining C&L's analysis. Our analysis allows us to identify the conditions under which achievement goals persist. We then discuss the C&L definition of intention as well as a variant that has been proposed by Sadek and Bretier. We argue that both are too strong and propose a weakened version.


PDF

PostScript

PostScript, gzipped


Note

The material in this paper has been presented at Diabruck03 (slides of the talk)


Bibtex-entry:

@InProceedings{,
author = {Herzig, Andreas and Longin, Dominique},
title = {C&L intention revisited},
year = {2004},
pages = {},
publisher = {},
booktitle = {Proc. KR2004},
month = {2-5 june},
}

							

https://www.irit.fr/~Andreas.Herzig