Using Domain Knowledge Constrain the Qualitative Reasoning in Physical System

• Main Authors: Shih-Hung Wu, 吳世弘
• Other Authors: Von-Wun Soo
• Format: Others
• Language: en_US
• Published: 1993
• Online Access: http://ndltd.ncl.edu.tw/handle/76910545993853576982

碩士 === 國立清華大學 === 資訊科學學系 === 81 === Based on the qualitative simulation under QSIM's framework, we propose a new formulation to reduce the intractable branching problem, and enhance the capability of qualitative simulation. We formulate the physical intuition and knowledge in terms of QSIM's constraints. Three methods are proposed. Time-reverse reasoning is a backward reasoning with physical significance. With the time-reverse concept, simulation can be performed backward in addition to forward, so the number of spurious branches could be reduced. In problems of dealing with systems without energy coming from outside world, we propose a concept of energy losing rate, to decide which behavior is preferred. This helps to reason about which behavior is the most likely outcome. In problems of dealing with systems with energy coming from outside world. We propose a concept of enforced model transition from one set of QDEs to another. This helps to reason about how some behavior can become possible in the systems.