Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions.
Yongmei LiuHector J. LevesquePublished in: IJCAI (2005)
Keyphrases
- dynamic systems
- context dependent
- qualitative reasoning
- incomplete knowledge
- qualitative models
- complex systems
- knowledge representation
- knowledge base
- reasoning process
- uncertain information
- model based diagnosis
- context free
- consistency based diagnosis
- discrete event
- dynamical systems
- inconsistent information
- semantic level
- state variables
- reasoning about actions
- reasoning mechanisms
- low level
- first order logic
- knowledge about the world
- inconsistent knowledge
- temporal knowledge
- intelligent behavior
- model based reasoning
- domain experts
- np complete
- knowledge based systems
- particle filter
- high level