%0 Conference Paper %1 pereira07bnaic %A da Costa Pereira, C. %A Tettamanzi, A. %B 18th BeNeLux Conference on Artificial Intelligence, BNAIC'06 %C Namur, Belgium %D 2006 %K goal revision %P 99--106 %T Towards a Framework for Goal Revision %U http://www.dti.unimi.it/~pereira/bnaic2006_cameraready.pdf %X 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

@inproceedings{pereira07bnaic, 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}, added-at = {2008-11-25T21:35:26.000+0100}, address = {Namur, Belgium}, author = {da Costa Pereira, C. and Tettamanzi, A.}, biburl = {https://www.bibsonomy.org/bibtex/28c59eb0475b67e59e411a5f7221cc6aa/neilernst}, booktitle = {18th BeNeLux Conference on Artificial Intelligence, BNAIC'06}, interhash = {bfea2f749d15f4c269ec338d27b35b6c}, intrahash = {8c59eb0475b67e59e411a5f7221cc6aa}, keywords = {goal revision}, month = {October}, pages = {99--106}, timestamp = {2008-11-25T21:35:26.000+0100}, title = {Towards a Framework for Goal Revision}, url = {http://www.dti.unimi.it/~pereira/bnaic2006_cameraready.pdf}, year = 2006 }