Abstract
There is currently much interest in developing Knowledge Based Systems for reasoning about the behaviour of physical systems. Such interest stems from the need to reasong about complex systems as part of some automated system such as:- fault diagnosis, simulation, control, training etc. In some cases the motivation for such work arises because of a fundamental difficulty in developing models based on traditional numerical methods [Leitch, 1987]. Whereas in other cases, the goal is to develop simpler computational mechanisms, than currently exist, and yet still satisfy the requirements of the task for which the system has been modelled. This has led to intense activity, over the last decade, to develop theories of Qualitative Reasoning (Modelling) that allow a qualitative description of a physical system to be generated from a representation of the system’s internal structure.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
de Kleer and Brown, 1983, “The Origin, Form and Logic of Qualitative Physical Laws”, 8th IJCAI, 1983.
de Kleer and Brown, 1984, “A Qualitative Physics Based on Confluences”, Artificial Intelligence, Vol. 24, No. 1, 1984,
Iwasaki and Simon, 1985, “Causality in Device Behaviour”, Artificial Intelligence, Vol. 29, No. 1, 1986.
Sussman and Steele, 1980, “CONSTRAINTS: A Language for Expressing Almost Hierarchical Descriptions”, Artificial Intelligence, Vol. 14, 1980.
de Kleer and Brown, 1986, “Theories of Causal Ordering”, Artificial Intelligence, Vol. 29, No. 1, 1986.
Williams, 1984, “The Use of Continuity in a Qualitative Physics”, NCAI (AAAI), 1984.
de Kleer and Bobrow, 1984b. “Qualitative Reasoning with Higher-Order Derivatives”, NCAI (AAAI), 1984.
Kuipers, 1985, “The Limits of Qualitative Simulation”, 9th IJCAI, 1985.
Kuipers, 1986, “Qualitative Simulation as Causal Explanation”, TR86-24 (MIT).
Struss, 1987, “Mathematical Aspects of Qualitative Reasoning” Int. Journal of Artificial Intelligence in Engineering,Vol.,1987
Davis, 1987, “Order of Magnitude Reasoning in Qualitative Differential Equations”, Technical report 312, NYU Computer Science Department,1987.
Iwasaki, 1988. “Causality in Mixed Stuctures”, Proc. IJCAI, 1988
Simmons R.,1986 “‘Commonsense’ Arithmetic Reasoning”, Proc. AAAI, 1986
Leitch and Stefanini, 1988, “QUIC: A Development Environment for Knowledge Base Systems for Industrial Automation Applications” Proc. 3rd. ESPRIT Technical Conf.,1988.
Allen, 1984. “Towards a General Theory of Action and Time Artificial Intelligence, Vol23,1984. ing” Artificial Intelligence,1985
Struss, 1988. “Intersection Constraint in Qualitative Simulation” Proc. AAAII, 1988.
Kuipers, 1987. “Taming Intractable Branching in Qualitative Simulation” Proc. IJCAI, 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Leitch, R., Wiegand, M. (1989). Temporal Issues in Qualitative Reasoning. In: Retti, J., Leidlmair, K. (eds) 5. Österreichische Artificial-Intelligence-Tagung. Informatik-Fachberichte, vol 208. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74688-8_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-74688-8_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51039-0
Online ISBN: 978-3-642-74688-8
eBook Packages: Springer Book Archive