摘要: This paper presents a methodology for extending representation and reasoning in Qualitative Physics. is presently used various applications. The qualitative modeling of physical system weakened by the lack quantitative information. may lead analysis to ambiguity. One aims this cope with main idea reproduce physicist's ability evaluate influence different phenomena according their relative order magnitude use information distinguish among radically ways which behave. A formal system, FOG, described represent structure kind apparently vague intuitive knowledge so that it can be reasoning. validity FOG an interpretation mathematical theory called Non-Standard Analysis then proven. Last, shown how structures quantity-space.
aaaipress.org 参考文章(6)
Benjamin Kuipers, The limits of qualitative simulation international joint conference on artificial intelligence. pp. 128- 136 ,(1985)
Johan de Kleer, Causal and Teleological Reasoning In Circuit Recognition NASA STI/Recon Technical Report N. ,vol. 80, pp. 28649- ,(1979)
Johan dc Klecr, Daniel G. Bobrow, Qualitative reasoning with higher-order derivatives national conference on artificial intelligence. pp. 127- 132 ,(1989) , 10.1016/B978-1-4832-1447-4.50014-6
Abraham Robinson, Non-standard analysis ,(1966)
Johan De Kleer, John Seely Brown, A qualitative physics based on confluences Artificial Intelligence. ,vol. 24, pp. 7- 83 ,(1984) , 10.1016/0004-3702(84)90037-7
Kenneth D. Forbus, Qualitative process theory Artificial Intelligence. ,vol. 24, pp. 178- 219 ,(1984) , 10.1016/0004-3702(84)90038-9