%0 
%0 Conference Proceedings
%A da Costa Pereira, C. & Tettamanzi, A.
%D 2006
%T Towards a Framework for Goal Revision
%E 
%B 18th BeNeLux Conference on Artificial Intelligence, BNAIC'06
%C Namur, Belgium
%I 
%V 
%6
%N 
%P 99--106
%& 
%Y 
%S 
%7
%8 October
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 
%# 
%$ 
%F pereira07bnaic
%K goal revision
%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
%Z 
%U http://www.dti.unimi.it/~pereira/bnaic2006_cameraready.pdf
%+
%^