Qualitative reasoning: modeling and simulation with incomplete knowledge
Qualitative reasoning: modeling and simulation with incomplete knowledge
Using temporal logics to express search control knowledge for planning
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
Combining topological and size information for spatial reasoning
Artificial Intelligence
Qualitative Spatial Reasoning: Theory and Practice: Application to Robot Navigation
Qualitative Spatial Reasoning: Theory and Practice: Application to Robot Navigation
Reasoning about Binary Topological Relations
SSD '91 Proceedings of the Second International Symposium on Advances in Spatial Databases
Computing Transivity Tables: A Challenge For Automated Theorem Provers
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Constraint-Based Qualitative Simulation
TIME '05 Proceedings of the 12th International Symposium on Temporal Representation and Reasoning
Principles of Constraint Programming
Principles of Constraint Programming
Efficient methods for qualitative spatial reasoning
Journal of Artificial Intelligence Research
The consistent labeling problem in temporal reasoning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Qualitative simulation based on a logical formalism of space and time
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Efficient reasoning with RCC-3D
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Constraint programming on infinite data streams
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Transition constraints: a study on the computational complexity of qualitative change
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
We introduce a constraint-based framework for studying infinite qualitative simulations concerned with contingencies such as time, space, shape, size, abstracted into a finite set of qualitative relations. To define the simulations we combine constraints that formalize the background knowledge concerned with qualitative reasoning with appropriate inter-state constraints that are formulated using linear temporal logic. We implemented this approach in a constraint programming system (ECLi PSe) by drawing on the ideas from bounded model checking. The implementation became realistic only after several rounds of optimizations and experimentation with various heuristics. The resulting system allows us to test and modify the problem specifications in a straightforward way and to combine various knowledge aspects. To demonstrate the expressiveness and simplicity of this approach we discuss in detail two examples: a navigation problem and a simulation of juggling.