Of Starships and Klingons: Bayesian Logic for the 23rd Century
Kathryn Blackmond LaskeyPaulo Cesar G. da CostaPublished in: CoRR (2012)
Keyphrases
- bayesian networks
- modal logic
- classical logic
- computational properties
- bayesian learning
- logic programming
- digital circuits
- data sets
- bayesian estimation
- multi valued
- st century
- data driven
- logic programs
- information systems
- predicate logic
- set theory
- bayesian decision
- sound and complete axiomatization
- logical framework
- probabilistic logic
- posterior distribution
- maximum entropy
- knowledge base
- neural network