抄録
This paper presents a state representation method for diagnostic problems of power system based on many-sorted logic. A state has three terms which are an object term, a status term and a temporal term. By using relations among same type terms, relations between states, Generalization and Instantiation, are derived. Diagnostic inferences to search more detail states and more whole states are explained by using these derived relations. As a reuslt, a state which explains observed states can be derived from observed states and relations among same type terms which are used in the states. Finally, inference system were developed, and outputs for some examples are shown. This method unifies object, status and temporal representation in a state representation. Also, the inference system based on this method can compose solution states which are not explicitly represented in initial data.
