Formalization and representation of expert systems
Based on a critical analysis of the canonical forms of expert systems, definitions of classical forward-chaining production rule-based expert systems and classical backward-chaining production rule based expert systems are isolated as the fundamental basic definitions of an expert system. Two representation theorems are presented for the two fundamental types of expert systems defined. Both the classical forward-chaining production rule based expert systems and classical backward chaining production rule based expert systems are shown to be representable as type 3 languages (finite state automata). The pragmatic usefulness of the finite state representation of an expert system is established in the design of a multilevel expert system for general systems problems solving. A type 3 language is used to encapsulate the knowledge base and reasoning strategies of the front-end of the expert system, thus representing the front-end as a deterministic finite automation. This provides a new approach to the problem of interfacing multilevel expert systems.
- Research Organization:
- Stevens Inst. of Tech., Hoboken, NJ (USA)
- OSTI ID:
- 6956559
- Country of Publication:
- United States
- Language:
- English
Similar Records
The Id expert system environment
Noncognitive formal approach to knowledge representation in artificial intelligence