Readings in Qualitative Reasoning about Physical SystemsDaniel S. Weld, Johan De Kleer The ability to reason qualitatively about physical systems is important to understanding and interacting with the world for both humans and intelligent machines. Accordingly, this study has become an important subject of research in the artificial intelligence and cognitive science communities. The goal of "qualitative physics," as the field is sometimes known, is to capture both the commonsense knowledge of the person on the street and the tacit knowledge underlying the quantitative knowledge used by engineers and scientists. "Readings in Qualitative Reasoning About Physical Systems" is an introduction and source book for this dynamic area, presenting reprints of key papers chosen by the editors and a group of expert referees. The editors present introductions discussing the context and significance of each group of articles as well as providing pointers to the rest of the literature. In addition, the volume includes several original papers that are not available elsewhere. |
Contents
A Personal View | 1 |
Overview and Motivation | 9 |
Qualitative Simulation | 83 |
Copyright | |
10 other sections not shown
Other editions - View all
Readings in Qualitative Reasoning About Physical Systems Daniel S. Weld,Johan De Kleer Limited preview - 2013 |
Common terms and phrases
algebra algorithm ambiguity applied arithmetic Artificial Intelligence assume assumptions behavior capacitor causal circuit complex component Computer confluences consider consistent constraint propagation constraints contains continuous corresponding cycle defined derivative described determine device domain dynamics envisionment episodes example feedback Figure flow Forbus formal function global graph heuristic inference initial input instance interaction interpretation interval interval arithmetic Kleer knowledge Kuipers landmark values liquid mechanism MIT AI Lab monotonic function mosfet motion naive physics node Non-Standard Analysis NP-complete object ontology operating orbit oscillation paper parameters phase space physical systems possible preconditions predict pressure problem process control block propagation properties QP theory QSIM qualitative physics qualitative process theory qualitative reasoning qualitative simulation qualitative values quantity space regions relations relationships representation requires robot rules Section solution solve specified structure symbolic techniques temporal Theorem tion totally ordered transition analysis tuples valve variables voltage zero