大規模ビル空調システム診断のためのモデル分割による定性推論方式

抄録

The diagnosis by qualitative reasoning is an effective way for complex systems such as a building air conditioning system. In reasoning process, the number of derived states exponentially increases with the size of the qualitative model because the states are derived based on all conceivable combinations of rule application.
This paper proposes a method of high-speed stochastic qualitative reasoning. In this method, model division and states composition are introduced. First, the partial models are constructed by dividing the entire model. Next, qualitative reasoning is executed in each partial model. Finally, the states in the entire model are generated by composing derived states. By this method, the number of states is reduced, and reasoning time is shorter than for one by the previous method and reasoning can finish regardless of model size.