First-order Generalization of the MPMA Belief Update Operator
Ewa Madalińska-Bugaj, Witold Łukaszewicz · Fundamenta Informaticae · 2009
In this paper we generalize the MPMA belief update operator by admitting first-order knowledge bases and restricted first-order update formulae. This allows us to consider scenarios which cannot be properly formalized either in the originalMPMA or in other existing approaches to belief update.