Some logics of belief and disbelief.
Samir ChopraJohannes HeidemaThomas Andreas MeyerPublished in: NMR (2002)
Keyphrases
- modal operators
- belief functions
- modal logic
- truth values
- expressive power
- belief revision
- conditional logic
- inference rules
- classical logic
- real world
- subjective logic
- propositional calculus
- dempster shafer
- data model
- databases
- default logic
- probability theory
- multi agent systems
- nonmonotonic logics
- case study
- decision trees
- artificial intelligence
- learning algorithm
- proof theory
- intuitionistic logic
- genetic algorithm