@inproceedings{pereira07bnaic,
	title = {Towards a Framework for Goal Revision},
	address = {Namur, Belgium},
	author = {C. da Costa Pereira and A. Tettamanzi},
	booktitle = {18th BeNeLux Conference on Artificial Intelligence, BNAIC'06},
	month = {October},
	pages = {99--106},
	url = {http://www.dti.unimi.it/~pereira/bnaic2006_cameraready.pdf},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/28c59eb0475b67e59e411a5f7221cc6aa/neilernst},
	abstract = {A rational agent revises its goals if something changes in its mental state. In this paper, we
propose (i) a general framework based on classical propositional logic, to represent changes in
the mental state of the agent after the acquisition of new information and/or after the arising
of new desires; (ii) fundamental postulates that the function which generates the goal set must
obey; and (iii) properties that this function must have to guarantee both the agent's maximal
satisfaction and the consistency of the goal set.
1},
	keywords = {goal revision }
}