AAAI Publications, Twenty-Second International FLAIRS Conference

Font Size: 
Prime Implicants and Belief Update
Laurent Perrussel, Jerusa Marchi, Guilherme Bittencourt

Last modified: 2009-03-18

Abstract


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.

Full Text: PDF