Verification of Logical Consistency in Robotic Reasoning.
Hongyang QuSandor M. VeresPublished in: CoRR (2016)
Keyphrases
- logical reasoning
- consistency checking
- probabilistic logic
- logical framework
- logical rules
- mobile robot
- reasoning process
- knowledge base
- real time
- representing knowledge
- probabilistic knowledge
- formal verification
- reasoning systems
- qualitative reasoning
- knowledge representation
- global consistency
- model checking
- reasoning tasks
- automated reasoning
- legal reasoning
- signature verification
- description logics
- robotic systems
- temporal reasoning
- asynchronous circuits
- logical representation
- face verification
- inconsistent knowledge