A technique for knowledge base verification

Author

Zhang, Du ; Nguyen, Doan

Author_Institution

Dept. of Comput. Sci., California State Univ., Sacramento, CA, USA

fYear

1989

fDate

23-25 Oct 1989

Firstpage

399

Lastpage

406

Abstract

A technique for detecting inconsistencies in, and incompleteness of, a knowledge base is proposed. The technique is based on modeling a knowledge base using a predicate/transition (Pr/T) net representation. Inconsistency and incompleteness patterns in a knowledge base are then defined with respect to the Pr/T net model and are identified by using a syntactic pattern recognition method. This technique can be included as part of a knowledge acquisition process in any rule-based system. It can detect major types of inconsistencies and incompleteness. The use of the technique can be easily automated. An example of its use is presented

Keywords

knowledge acquisition; knowledge based systems; knowledge representation; pattern recognition; incompleteness; inconsistencies; knowledge acquisition; knowledge base verification; predicate/transition net representation; rule-based system; syntactic pattern recognition method; Computer errors; Computer science; Expert systems; Humans; Knowledge acquisition; Knowledge based systems; Knowledge engineering; Maintenance engineering; Pattern recognition; System performance;

fLanguage

English

Publisher

ieee

Conference_Titel

Tools for Artificial Intelligence, 1989. Architectures, Languages and Algorithms, IEEE International Workshop on

Conference_Location

Fairfax, VA

Print_ISBN

0-8186-1984-8

Type

conf

DOI

10.1109/TAI.1989.65347

Filename

65347