Probabilistic robotic logic programming with hybrid Boolean and Bayesian inference.
Mark A. PostPublished in: Robotica (2024)
Keyphrases
- logic programming
- bayesian inference
- probabilistic model
- logic programs
- probabilistic reasoning
- probabilistic knowledge
- hierarchical bayesian
- nonmonotonic reasoning
- deductive databases
- inference process
- answer set programming
- prior information
- knowledge base
- generative model
- knowledge representation
- answer sets
- bayesian networks
- probabilistic logic
- programming language
- computational logic
- default logic
- conditional probabilities
- inductive logic programming
- logic programming language
- stable models
- markov networks
- probabilistic logic programs
- latent variables
- graphical models
- posterior probability
- expectation maximization
- constraint logic programming
- prior knowledge
- machine learning
- boolean functions
- belief networks
- fixpoint
- belief propagation
- relational databases
- expert systems
- training data
- disjunctive logic programming