Knowledge representation and inference control of SPERIL-II

Abstract

SPERIL-II is an expert system for damage assessment of existing structures. Fuzzy sets for imprecise data and Dempster and Shafer's theory for combining fuzzy sets with certainty factors are used in an inexact inference. Since the process of the damage assessment is quite complex, metarules are used to control the inference in order to improve the effectiveness and reliability of results. The metarules in SPERIL-II are represented in logic form with emphases on the explicit representation of the selection of the rule group and the suitable inference method.