Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
Readings in qualitative reasoning about physical systems
Readings in qualitative reasoning about physical systems
A simple solution to the Yale shooting problem
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Combining logic and differential equations for describing real-world systems
Proceedings of the first international conference on Principles of knowledge representation and reasoning
On the applicability of nonmonotonic logic to formal reasoning in continuous time
Artificial Intelligence - Special issue on knowledge representation
Things that change by themselves
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Model-based monitoring of dynamic systems
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Introducing actions into qualitative simulation
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Explanation in the situation calculus
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Artificial intelligence today
| Hi-index | 0.00 |
The development of a formal logic for reasoning about change has proven to be surprisingly difficult. Furthermore, the logics that have been developed have found surprisingly little application in those fields, such as Qualitative Reasoning, that are concerned with building programs that emulate human common-sense reasoning about change. In this paper, we argue that a basic tenet of qualitative reasoning practice--the separation of modeling and simulation--obviates many of the difficulties faced by previous attempts to formalize reasoning about change. Our analysis helps explain why the QR community has been nonplussed by some of the problems studied in the nonmonotonic reasoning community. Further, the formalism we present provides both the beginnings of a formal foundation for qualitative reasoning, and a framework in which to study a number of open problems in qualitative reasoning.