Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.
Tarek R. BesoldArtur S. d'Avila GarcezKeith StenningLeendert W. N. van der TorreMichiel van LambalgenPublished in: Minds Mach. (2017)
Keyphrases
- logic programming
- probabilistic knowledge
- probabilistic reasoning
- reasoning tasks
- logic programs
- knowledge representation and reasoning
- knowledge representation
- knowledge representation language
- reasoning about actions
- probabilistic logic
- answer set programming
- knowledge base
- deductive databases
- logic programming language
- representing knowledge
- programming language
- computational logic
- default logic
- nonmonotonic reasoning
- classical logic
- probability theory
- stable models
- answer sets
- high level
- constraint logic programming
- default reasoning
- probabilistic inductive logic programming
- natural language
- bayesian networks