Levi and Harper identities for non-prioritized belief base change.

Marco Garapa Eduardo Fermé Maurício D. Luís Reis

Published in: Artif. Intell. (2023)

Keyphrases

belief base
possibilistic logic
belief change
belief revision
belief merging
logical properties
minimal change
update operators
knowledge base
constraint satisfaction
propositional logic
artificial intelligence
case based reasoning
programming language
probabilistic logic