TY  - CONF
AU  - da Costa Pereira, C.
AU  - Tettamanzi, A.
A2  - 
T1  - Towards a Framework for Goal Revision
T2  - 18th BeNeLux Conference on Artificial Intelligence, BNAIC'06
PB  - 
CY  - Namur, Belgium
PY  - 2006/october
M2  - 
IS  - 
SP  - 99
EP  - 106
UR  - http://www.dti.unimi.it/~pereira/bnaic2006_cameraready.pdf
M3  - 
KW  - goal revision
L1  - 
SN  - 
N1  - 
N1  - 
AB  - A rational agent revises its goals if something changes in its mental state. In this paper, we
<p>propose (i) a general framework based on classical propositional logic, to represent changes in
<p>the mental state of the agent after the acquisition of new information and/or after the arising
<p>of new desires; (ii) fundamental postulates that the function which generates the goal set must
<p>obey; and (iii) properties that this function must have to guarantee both the agent's maximal
<p>satisfaction and the consistency of the goal set.
<p>1
ER  -