Non-Intersection of Trajectories in Qualitative Phase Space: A Global Constraint for Qualitative Simulation

Proceedings of the 7th National Conference on Artificial Intelligence, AAAI 1988

Volumn , Issue , 1988, Pages 286-290

  Lee, Wood W ^a   Kuipers, Benjamin J ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; DIFFERENTIAL EQUATIONS; PHASE SPACE METHODS;

BRANCHING TREE; GLOBAL CONSTRAINTS; IN-PHASE; INITIAL STATE; LOCAL STATE; PHASE SPACES; QUALITATIVE BEHAVIOR; QUALITATIVE DIFFERENTIAL EQUATIONS; QUALITATIVE SIMULATION; SECOND-ORDER SYSTEMSS;

FORECASTING;

EID: 84990626730     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. W. E. Boyce and R. C. DiPrima. Elementary Differential Equations. John Wiley & Sons, New York, 1977.
2. C. Chiu. Automatic Analysis of Qualitative Simulation Models. Unpublished, 1988.
3. C. O. Christenson and W. L. Voxman. Aspects of Topology. Marcel Dekker, New York, 1977.
4. B. J. Kuipers. Qualitative Simulation. Artificial Intelligence 29: 289-338, 1986.
5. B. J. Kuipers and C. Chiu. Taming Intractable Branching in Qualitative Simualtion. IJCAI-87, 1987.
6. B. J. Kuipers. The Qualitative Calculus is Sound but Incomplete: A Reply To Peter Struss. To appear in International Journal of AI in Engineering, 1988.
7. B. J. Kuipers and D. Berleant. Using Incomplete Quantitative Knowledge in Qualitative Reasoning. AAAI-88, 1988.
8. W. W. Lee, C. Chiu and B. J. Kuipers. Developments Towards Constraining Qualitative Simulation. UT TR AI87-44. Also in AAAI-87 Qualitative Physics Workshop Abstracts, 1987.
9. W. W. Lee and B. J. Kuipers. Non-Intersection of Trajectories in Qualitative Phase Space: A Global Constraint for Qualitative Simulation. TR forthcoming. 1988.
10. E. P. Sacks. Piecewise Linear Reasoning. AAAI-87, 1987.
11. P. Struss. Problems of Interval-Based Qualitative Reasoning. Siemens Corp., ZTIINF, 1987.
12. D. S. Weld. The Use of Aggregation in Causal Simulation. Artificial Intelligence 30: 1-34, 1986.