Qualitative reasoning about fluids and mechanics

Understanding people's commonsense knowledge about physical world is a fundamental problem in building intelligent systems. If this knowledge can be represented and used by computers, they can duplicate people's ability to understand and interact with the world. Qualitative physics is the attempt to capture and formalize this knowledge. An important aspect of qualitative reasoning is the ability to derive the possible behaviors of a given physical system from the structure of the system, using minimal initial information. This thesis investigates qualitative domain theories and reasoning techniques which will enable computers to analyze the qualitative behaviors of physical systems which include both mechanical mechanisms and fluids, such as internal combustion engines and hydraulic lift pumps. We have developed a domain theory which integrates richer models of mechanics, fluids, and geometry than previous research in qualitative physics. These theories and inference techniques are embodied in QSA, a program that produces possible behaviors of physical systems.

[1]  Kenneth D. Forbus.  Introducing Actions into Qualitative Simulation , 1989, IJCAI.

[2]  Gordon Skorstad.  Towards a Qualitative Lagrangian Theory of Fluid Flow , 1992, AAAI.

[3]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artif. Intell..

[4]  Manny Rayner,et al.  On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time , 1991, Artif. Intell..

[5]  Patrick J. Hayes,et al.  The Naive Physics Manifesto , 1990, The Philosophy of Artificial Intelligence.

[6]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[7]  Yoav Shoham,et al.  Naive Kinematics: One Aspect of Shape , 1985, IJCAI.

[8]  Leo Joskowicz.  Shape and Function in Mechanical Devices , 1987, AAAI.

[9]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..

[10]  M. V. Dyke,et al.  An Album of Fluid Motion , 1982 .

[11]  Johan de Kleer,et al.  Problem Solving with the ATMS , 1986, Artif. Intell..

[12]  Arthur M. Farley,et al.  Shifting Ontological Perspectives in Reasoning About Physical Systems , 1990, AAAI.

[13]  Andrew Gelsey.  Automated Reasoning about Machine Geometry and Kinematics , 1989 .

[14]  Leo Joskowicz,et al.  Computational Kinematics , 1991, Artif. Intell..

[15]  Brian Falkenhainer,et al.  Setting up Large-Scale Qualitative Models , 1988, AAAI.

[16]  Franklin D Jones,et al.  Ingenious mechanisms for designers and inventors : mechanisms and mechanical movements selected from automatic machines and various other forms of mechanical apparatus as outstanding examples of ingenious design embodying ideas or principles applicable in designing machines or devices requiring auto , .

[17]  Benjamin Kuipers,et al.  Non-Intersection of Trajectories in Qualitative Phase Space: A Global Constraint for Qualitative Simulation , 1988, AAAI.

[18]  Alexander Cowie.  Kinematics and Design of Mechanisms , 1961 .

[19]  J. S. Dowker,et al.  Fundamentals of Physics , 1970, Nature.

[20]  Andrew Gelsey.  Automated Physical Modeling , 1989, IJCAI.

[21]  Eugene Charniak,et al.  Artificial Intelligence Programming , 1987 .

[22]  Benjamin Kuipers,et al.  Using Incomplete Quantitative Knowledge In Qualitative Reasoning , 1988, AAAI.

[23]  D. Randell,et al.  Exploring Naive Topology : modelling the force pump , .

[24]  Tomás Lozano-Pérez,et al.  An algorithm for planning collision-free paths among polyhedral obstacles , 1979, CACM.

[25]  Daniel S. Weld.  Theories of comparative analysis , 1990 .

[26]  Kenneth D. Forbus.  Qualitative Reasoning about Physical Processes , 1981, IJCAI.

[27]  Yung-Choa Pan.  Qualitative Reasonings with Deep-Level Mechanism Models for Diagnoses of Dependent Failures , 1983 .

[28]  J. Kleer.  Qualitative and Quantitative Knowledge in Classical Mechanics , 1975 .

[29]  Kenneth D. Forbus,et al.  A qualitative approach to rigid body mechanics , 1988 .

[30]  Kenneth D. Forbus.  Spatial and Qualitative Aspects of Reasoning about Motion , 1980, AAAI.

[31]  Thomas Dean,et al.  An Approach to Reasoning About Continuous Change for Applications in Planning , 1990, AAAI.

[32]  Shuji Doshita,et al.  Reasoning about Discontinuous Change , 1987, AAAI.

[33]  Kenneth D. Forbus.  Intelligent Computer-Aided Engineering , 1988, AI Mag..

[34]  Kenneth D. Forbus,et al.  Learning Physical Domains: Toward a Theoretical Framework. , 1986 .

[35]  Brian C. Williams,et al.  Doing Time: Putting Qualitative Reasoning on Firmer Ground , 1986, AAAI.

[36]  Benjamin Kuipers,et al.  Qualitative Simulation , 1986, Artificial Intelligence.

[37]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[38]  Kenneth Dale Forbus.  A Study of Qualitative and Geometric Knowledge in Reasoning about Motion. Revision. , 1981 .

[39]  Jeff Yung-Choa Pan.  Qualitative reasoning with deep-level mechanism models for diagnoses of mechanism failures , 1992 .

[40]  Kenneth D. Forbus,et al.  Reasoning about Fluids via Molecular Collections , 1987, AAAI.

[41]  Daniel S. Weld.  The Use of Aggregation in Causal Simulation , 1986, Artif. Intell..

[42]  R. E. Sonntag,et al.  Fundamentals of classical thermodynamics , 1973 .

[43]  Shankar A. Rajamoney,et al.  Qualitative Reasoning with Microscopic Theories , 1990, AAAI.

[44]  H. W..  The Internal Combustion Engine , 1923, Nature.

[45]  Brian C. Williams,et al.  The Use of Continuity in a Qualitative Physics , 1984, AAAI.

[46]  Boi Faltings,et al.  Qualitative Kinematics in Mechanisms , 1987, IJCAI.

[47]  Brian Falkenhainer,et al.  Learning from physical analogies: A study in analogy and the explanation process , 1989 .

[48]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[49]  T. N. Stevenson,et al.  Fluid Mechanics , 2021, Nature.

[50]  Donald Michie,et al.  Expert systems in the micro-electronic age , 1979 .

[51]  Erik Sandewall,et al.  Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds , 1989, IJCAI.

[52]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[53]  Benjamin Kuipers,et al.  Abstraction by Time-Scale in Qualitative Simulation , 1987, AAAI.

[54]  Hyun kyung Lee Kim.  Qualitative kinematics of linkages , 1993 .

[55]  Patrick J. Hayes,et al.  The second naive physics manifesto , 1995 .

[56]  Kenneth D. Forbus.  Qualitative physics: past present and future , 1988 .

[57]  Leo Joskowicz,et al.  Automated modeling and kinematic simulation of mechanisms , 1993, Comput. Aided Des..

[58]  P. Pu,et al.  Simulating both dynamic and kinematic behaviors of mechanical mechanisms , 1991, Artif. Intell. Eng..

[59]  Brian Falkenhainer,et al.  Compositional Modeling: Finding the Right Model for the Job , 1991, Artif. Intell..

[60]  Erik Sandewall,et al.  Combining Logic and Differential Equations for Describing Real-World Systems , 1989, KR.