MEBN: A language for first-order Bayesian knowledge bases.
Kathryn B. LaskeyPublished in: Artif. Intell. (2008)
Keyphrases
- knowledge base
- description logics
- theory revision
- language learning
- model theoretic
- conditional logic
- first order logic
- proof theory
- higher order
- natural language
- knowledge based systems
- programming language
- knowledge acquisition
- predicate calculus
- highly expressive
- posterior distribution
- maximum likelihood
- knowledge representation
- probabilistic knowledge
- linear temporal logic
- formal representation
- conceptual graphs
- bayesian inference
- probability distribution