Verification of logical consistency in robotic reasoning.
Hongyang QuSandor M. VeresPublished in: Robotics Auton. Syst. (2016)
Keyphrases
- logical reasoning
- consistency checking
- probabilistic logic
- logical rules
- logical framework
- model checking
- representing knowledge
- mobile robot
- formal verification
- knowledge base
- probabilistic knowledge
- real time
- probabilistic reasoning
- face verification
- reasoning systems
- spatial reasoning
- reasoning tasks
- model based reasoning
- logical representation
- knowledge representation
- reinforcement learning
- analogical reasoning
- robotic arm
- object manipulation
- bayesian networks
- description logics