da Costa Pereira, C. & Tettamanzi, A.: Towards a Framework for Goal Revision. 18th BeNeLux Conference on Artificial Intelligence, BNAIC'06. Namur, Belgium: 2006, S. 99-106 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
[Volltext]
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} }