Truth approximation via abductive belief change.

Gustavo Cevolani

Published in: Log. J. IGPL (2013)

Keyphrases

belief change
belief revision
belief update
propositional logic
minimal change
horn logic
prime implicates
probability theory
plan recognition
nonmonotonic reasoning
epistemic states
belief set
default reasoning
machine learning
abductive reasoning
programming language
update operators
reinforcement learning