First-order Generalization of the MPMA Belief Update Operator.

Ewa Madalinska-Bugaj Witold Lukaszewicz

Published in: Fundam. Informaticae (2009)

Keyphrases

belief update
update operators
formal theory
belief revision
belief change
planning under uncertainty
computational properties
first order logic
minimal change
integer programming
nonmonotonic reasoning
belief state