For the most recent entries see the Petri Nets Newsletter.

Detecting Inconsistencies and Incompleteness in Rule Bases: the INDE System.

Pipard, E.

In: Proceedigns of the 8th International Workshop on Expert Systems and their Applications, 1988, Avignon, France; Vol. 3, pages 15-33. Nanterre, France: EC2, 1989.

Abstract: The paper presents software capable of detecting inconsistency and incompleteness in rule bases, independently of the initial facts base. The rule bases are expressed in the syntax of the expert system generator, MORSE. The rule bases are broken down into sets of rules named concepts. A concept represents the maximum number of rules that can be triggered simultaneously. In order to take account of the deductive power of the production rules, these bases are represented in the form of a Petri net.

Keywords: inconsistencies (and) incompleteness (in) rule bases; expert system generator.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography