Some Logics of Belief and Disbelief.
Samir ChopraJohannes HeidemaThomas Andreas MeyerPublished in: Australian Conference on Artificial Intelligence (2003)
Keyphrases
- modal operators
- modal logic
- expressive power
- belief functions
- truth values
- belief revision
- propositional dynamic logic
- conditional logic
- default logic
- subjective logic
- inference rules
- neural network
- fuzzy logic
- probability distribution
- database
- expert systems
- probability theory
- genetic algorithm
- machine learning
- belief space
- probability measures
- proof theory
- proof theoretic
- propositional calculus
- databases
- data sets