Qualitative Mathematical Reasoning
暂无分享,去创建一个
Qualitative analysis studies the mechanisms with which humans derive the abstract behavior of a complex system from a description of its components and their interconnections, while ignoring unimportant or unknown low-level details. I present a program that analyzes a system by forming and combining mathematical descriptions of its sub-systems. This approach can overcome significant shortcomings in the simulation method used by other qualitative reasoning systems.
[1] 中園 薫. A Qualitative Physics Based on Confluences , 1986 .
[2] Benjamin Kuipers,et al. Commonsense Reasoning about Causality: Deriving Behavior from Structure , 1984, Artif. Intell..
[3] Kenneth D. Forbus. Qualitative Process Theory , 1984, Artif. Intell..