ルールベースの自動更新システムTHERES : オブジェクト指向分析ルールの更新を例にして

概要

論文の詳細を見る
A lot of rule-based systems are used today. Its reliability mainly depends on the correctness of the rules extracted from the expert. However, it is impossible for any expert to prepare before hand all the rules applicable to any situation. Hence, if an incorrect execution result comes out, it is usual to correct the rule base by manual operation. The purpose of this paper is to develop system THERES (THeory REvision System) which automates this correction of rules. The rule base which THERES revises is a Horn clause set described with prolog. The predicates which compose the rule base are assumed to be divided into the correct predicates (called basic predicates) which compose he rule base are assumed to be divided into the correct predicates (called basic predicates) as the target of maintenance, whose body section is described by basic predicates (single rule decidable rule base). After the rule base system is applied to a new problem, only by dividing the results into the positive cases and the negative cases and also by pointing out the new positive case which were not derived by the rule base but are thought to be correct, THERES automatically revises the rule base so as to solve this problem correctly. Concretely, THERES first finds a wrong rule. Then by using progol, THERES acquires the rules called discrimination rules, which can separate the positive cases and the negative cases covered by the wrong rule. Finally, THERES adds the body of the discrimination rule to the body of the wrong rule in the form of conjunction. Such a correction method looks like to add the unconsidered restriction to an exception to the existing rule. Therefore, it is more practical than to replace the existing rules by the rules acquired by inductive learning from the cases.
社団法人人工知能学会の論文
2000-01-01

ルールベースの自動更新システムTHERES : オブジェクト指向分析ルールの更新を例にして

スポンサーリンク

概要

著者

関連論文

スポンサーリンク