proposal‎ > ‎

belief updates

As one of the major and traditional topics of Artificial Intelligence over the last years,
knowledge representation and reasoning has proved to be a strong theoretical framework
for Logic Programming to manage knowledge bases. As a result, this particular topic
has become more widely applied in the administration knowledge bases of intelligent
(rational) agents, particularly when considering an agent’s incomplete knowledge in
a changing environment. This area of research is known in the literature as belief
updates and has inspired numerous proposals to update logic programs. [Guadarrama, 2009]

Wordle: Untitled