TY - GEN
T1 - Qualitative modeling of physical systems in AI research
AU - Struss, Peter
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1993.
PY - 1993
Y1 - 1993
N2 - Much of human reasoning about the physical world, in every-day life as well as in science and engineering, is performed at a conceptual and non-quantitative level. Providing formalisms, languages, and systems for the acquisition and use of qualitative models is the goal of a very active research area in Artificial Intelligence. In this introductory survey, we discuss motivations for this research, illustrate different approaches by presenting some “classical” systems, point out some issues in relation to mathematics, and provide some references to current work in research and applications.
AB - Much of human reasoning about the physical world, in every-day life as well as in science and engineering, is performed at a conceptual and non-quantitative level. Providing formalisms, languages, and systems for the acquisition and use of qualitative models is the goal of a very active research area in Artificial Intelligence. In this introductory survey, we discuss motivations for this research, illustrate different approaches by presenting some “classical” systems, point out some issues in relation to mathematics, and provide some references to current work in research and applications.
UR - http://www.scopus.com/inward/record.url?scp=84961375814&partnerID=8YFLogxK
U2 - 10.1007/3-540-57322-4_2
DO - 10.1007/3-540-57322-4_2
M3 - Conference contribution
AN - SCOPUS:84961375814
SN - 9783540573227
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 20
EP - 49
BT - Artificial Intelligence and Symbolic Mathematical Computing - International Conference AISMC- 1, Proceedings
A2 - Calmet, Jacques
A2 - Campbell, John A.
PB - Springer Verlag
T2 - 1st International Conference on Artificial Intelligence and Symbolic Mathematical Computing, AISMC 1992
Y2 - 3 August 1992 through 6 August 1992
ER -