Towards a Semantic Construction for Belief Base Contraction: Partial Meet vs Smooth Kernel (Preliminary Report).

Jandson S. Ribeiro

Published in: NMR (2023)

Keyphrases

belief change
belief base
belief revision
horn logic
belief merging
horn contraction
natural language
default reasoning
propositional logic
belief update
belief set
update operators
minimal change
knowledge base
desirable properties
probability theory