Goto

Collaborating Authors

 DAS- UFSC


Prime Implicants and Belief Update

AAAI Conferences

In this paper we present a syntactical way to develop the adaptation capability in logical-based intelligent agents. We use prime implicants to represent the beliefs of an agent and present how syntactical belief update operators can be obtained by correlating models and prime implicants. Using prime implicants allows the introdution a new notion of belief update. We characterize this new operator both in terms of postulates and in terms of explicit operators.