Theory-relational belief revision.
Theofanis I. AravanisPavlos PeppasPublished in: Ann. Math. Artif. Intell. (2022)
Keyphrases
- belief revision
- plausible inference
- plausible reasoning
- logical properties
- logical framework
- belief change
- propositional logic
- default reasoning
- nonmonotonic reasoning
- belief update
- conditional logic
- knowledge base
- relational databases
- possibilistic logic
- formal theory
- minimal change
- dynamic aspects
- temporal logic
- relational data
- iterated belief revision
- data model
- revision operators
- cost based abduction
- probability theory
- belief state
- belief functions
- mathematical models
- belief set