Defaults, Logic and Probability - A Theoretical Perspective.
Emil WeydertPublished in: Künstliche Intell. (2001)
Keyphrases
- probability theory
- default reasoning
- modal operators
- probability distribution
- cognitive scientists
- viewpoint
- default logic
- modal logic
- classical logic
- quantum computation
- conditional probabilities
- predicate logic
- nonmonotonic logics
- expressive power
- computational properties
- multi valued
- databases
- automated reasoning
- theoretical analysis
- logic programming
- proof theory
- logical framework
- truth maintenance systems
- linear logic
- sound and complete axiomatization
- asynchronous circuits
- truth values
- theoretical models
- default theories
- artificial intelligence
- genetic algorithm
- machine learning