BibSonomyburst/bibtex/28c59eb0475b67e59e411a5f7221cc6aa/neilernstBibSonomy RSS feed for /bibtex/28c59eb0475b67e59e411a5f7221cc6aa/neilernst2012-02-17T19:37:03+01:00http://www.bibsonomy.org/bibtex/28c59eb0475b67e59e411a5f7221cc6aa/neilernstneilernst2008-11-25T21:35:26+01:00goal revision <span class="authorEditorList"><a href="/author/da Costa Pereira">C. da Costa Pereira</a>, and <a href="/author/Tettamanzi">A. Tettamanzi</a> </span><em>18th BeNeLux Conference on Artificial Intelligence, BNAIC&#039;06, </em><em>page 99--106. </em><em>Namur, Belgium, </em>(<em>October 2006</em>)Tue Nov 25 21:35:26 CET 2008Namur, Belgium18th BeNeLux Conference on Artificial Intelligence, BNAIC'06October99--106Towards a Framework for Goal Revision2006goal revision 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