Title :
Handling variables in a logical network of rules, revision of consistency controlling method of the plan of action manager SUPER
Author :
Lorin, R.Y. ; Morizet-Mahoudeaux, P.
Author_Institution :
Dept. of Comput. Sci. & Eng., Compiegne, France
Abstract :
The problem of using global variables to improve the representation capacities of the SUPER expert system is addressed. The first difficulty is to propagate the domain of definition of the variables along the knowledge base using the AND/OR transitive relations between rules. The second problem is to upgrade the algorithm that has been defined for the consistency maintenance of the knowledge base for propositional logic to the level of logic with global variables. Answers are given to both problems: (1) the principles for chaining rules with global variables are given; (2) tools for computing the propagation of the domain of variables along the knowledge base are defined; (3) consistency definitions are given and tools for maintaining the consistency of the knowledge base as it incrementally increases are proposed
Keywords :
expert systems; formal logic; knowledge based systems; knowledge representation; SUPER; chaining rules; expert system; global variables; knowledge base; logical network; propositional logic; representation capacities; Computer science; Computerized monitoring; Databases; Engineering management; Expert systems; Intelligent networks; Joining processes; Knowledge acquisition; Logic; Maintenance engineering;
Conference_Titel :
Systems, Man and Cybernetics, 1989. Conference Proceedings., IEEE International Conference on
Conference_Location :
Cambridge, MA
DOI :
10.1109/ICSMC.1989.71349