An axiomatic characterization of temporalised belief revision in the law.
Luciano H. TamargoDiego C. MartínezAntonino RotoloGuido GovernatoriPublished in: Artif. Intell. Law (2019)
Keyphrases
- belief revision
- axiomatic characterization
- defeasible logic
- nonmonotonic reasoning
- belief change
- propositional logic
- legal reasoning
- default reasoning
- conditional independence
- temporal logic
- minimal change
- logical properties
- belief merging
- belief update
- plausible reasoning
- plausible inference
- conditional logic
- update operators
- revision operators
- knowledge base
- possibilistic logic
- logical framework
- iterated belief revision
- cost based abduction