A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning.
Yi FanMinghui CaiNaiqi LiYongmei LiuPublished in: AAAI (2012)
Keyphrases
- situation calculus
- action theories
- higher order
- reasoning about actions
- expert systems
- reasoning tasks
- programming language
- decision theoretic
- knowledge base
- automated reasoning
- sensor networks
- reasoning systems
- model based reasoning
- real time
- gathering information
- game theory
- production system
- probabilistic logic
- high level