Many different knowledge representations, such as rules and frames, have been proposed for use with engineering expert systems. Every knowledge representation has certain inherent strengths and weaknesses. A knowledge engineer can exploit the advantages, and avoid the pitfalls, of different common knowledge representations if the knowledge can be mapped from one representation to another as needed. This paper derives the mappings between rules, logic diagrams, decision tables and decision trees using the calculus of truth-functional logic. The mappings for frames have also been derived by Chambers and Parkinson (1995). The logical mappings between these representations are illustrated through a simple example, the limitations of the technique are discussed, and the utility of the technique for the rapid-prototyping and validation of engineering expert systems is introduced. The technique is then applied to three engineering applications, showing great improvements in the resulting knowledge base.

1.
Carter, K., C., 1977, A Contemporary Introduction to Logic with Applications, MacMillan Book Co., New York, NY.
2.
Chambers, T. L., 1994, “Multiple Knowledge Representations for the Rapid Prototyping and Validation of Engineering Expert Systems,” Ph.D. Dissertation, Brigham Young University, Provo, UT.
3.
Chambers, T. L., Parkinson, A. R., 1995, “Knowledge Representation and Conversion for Hybrid Expert Systems,” Proceedings of the 1995 Design Engineering Technical Conference, Vol. 1, Advances in Design Automation, 1995, presented at the 21st Annual Design Automation Conference, Sept. 17–20, 1995, Boston, MA, pp. 9–16.
4.
Cragun
B. J.
,
Steudel
H. J.
,
1987
, “
A Decision-Table-Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems
,”
Int. J. Man-Machine Studies
, Vol.
26
, No.
6
, pp.
633
648
.
5.
Crookston, R. K., “Expert System Spring Design,” Masters Thesis, Brigham Young University, Provo, UT.
6.
Culbert
C.
,
Riley
G.
,
Savely
R. T.
,
1989
, “
An Expert System Development Methodology That Supports Verification and Validation
,”
ISA Transactions
, Vol.
28
, No.
1
, pp.
15
18
.
7.
Davis
R.
,
King
J.
,
1977
, “
An Overview of Production Systems
,”
Machine Intelligence
, Vol.
8
, pp.
300
332
.
8.
Dym, C. L., Levitt, R. E., 1991, Knowledge-Based Systems in Engineering, McGraw-Hill, New York, NY.
9.
Falk, H., 1986, “Design Tools Combine Expert and Algorithmic Software,” Computer Design, Sept. 15, 1986, pp. 35–39.
10.
Findler, N. V., Lo, R., Bhaskaran, P., 1985, “Two Theoretical Issues Concerning Expert Systems,” Artificial Intelligence Laboratory, CS Dept., Arizona State University, Tempe, AZ.
11.
Gero
J. S.
,
1990
, “
Design Prototypes: A Knowledge Representation Schema for Design
,”
AI Magazine
, Vol.
11
, No.
4
, pp.
26
36
.
12.
Genesereth, M. R., Fikes, R. E. et al., 1992, “Knowledge Interchange Format Version 3.0 Reference Manual,” Logic-92-1, Stanford University Logic Group.
13.
Genesereth
M. R.
,
Ketchpel
S. P.
,
1994
, “
Software Agents
,”
Communications of the ACM
, July, 1994, Vol.
37
, No.
7
, pp.
49
53
.
14.
Gittens, M., 1987, “Loops: A Multi-Paradigm Environment,” Artificial Intelligence Programming Environments, Halsted Press, a division of John Wiley and Sons, New York, NY, pp. 197–212.
15.
Ignizio, J. P., 1991, Introduction to Expert Systems, the Development and Implementation of Rule-Based Expert Systems, McGraw-Hill, New York, NY.
16.
Jafar, M., Bahill, T. 1991, “Interactive Verification and Validation with Validator,” Verifying and Validating Personal Computer-Based Expert Systems, Prentice Hall, Englewood Cliffs, NJ, pp. 46–92.
17.
King
P. J. H.
,
1966
, “
Conversion of Decision Tables to Computer Programs by Rule Mask Techniques
,”
Communications of the ACM
, Vol.
9
, No.
5
, pp.
366
371
.
18.
King
P. J. H.
,
1968
, “
Ambiguity in Limited Entry Decision Tables
,”
Communications of the ACM
, Vol.
11
, No.
10
, pp.
680
684
.
19.
King
P. J. H.
,
1969
, “
The Interpretation of Limited Entry Decision Table Format and Relationships Among Conditions
,”
The Computer Journal
, Vol.
12
, No.
4
, pp.
320
326
.
20.
King
P. J. H.
,
Johnson
R., G.
,
1973
, “
Some Comments on the Use of Ambiguous Decision Tables and Their Conversion to Computer Programs
,”
Communications of the ACM
, Vol.
16
, No.
5
, pp.
287
290
.
21.
Kunz, J. C., Kehler, T. P., Williams, M. D., 1984, “Applications Development Using a Hybrid AI Development System,” AI Magazine, Fall, 1984, pp. 41–54.
22.
Lee
S.
,
O’Keefe
R. M.
,
1994
, “
Developing a Strategy for Expert System Verification and Validation
,’
IEEE Transactions on Systems, Man and Cybernetics
, Vol.
24
, No.
4
, pp.
643
655
.
23.
Lew
A.
,
1984
, “
Proof of Correctness of Decision Table Programs
,”
The Computer Journal
, Vol.
27
, No.
3
, pp.
230
232
.
24.
Maes
R.
,
Van Dijk
J. E. M.
,
1988
, “
On the Role of Incompleteness in the Design of Decision Tables and Rule Based Systems
,”
The Computer Journal
, Vol.
31
, No.
6
, pp.
481
489
.
25.
McDaniel, H., 1970, Decision Table Software, A Handbook, Brandon/Systems Press, New York, NY.
26.
Minsky, M., 1975, “A Framework for Representing Knowledge,” The Psychology of Computer Vision, Sinston, P. H., ed., McGraw-Hill, New York, NY, pp. 211–277.
27.
Parsaye, K., Chignell, M., 1988, Expert Systems For Experts, John Wiley and Sons, New York, NY.
28.
Post
E. L.
,
1943
, “
Formal Reductions of the General Combinatorial Decision Problem
,”
American Journal of Mathematics
, Vol.
65
, pp.
197
215
.
29.
Quinlan, J. R., 1986, “Induction of Decision Trees,” Machine Learning, Vol. 1, No. 1.
30.
Quinlan
J. R.
,
1988
, “
Simplifying Decision Trees
,”
Knowledge Acquisition for Knowledge-Based Systems
, Vol.
1
, Academic Press, Boston, MA, pp.
241
254
.
31.
Renard
F. X.
,
Sterling
L.
,
Brosilow
C.
,
1993
, “
Knowledge Verification in Expert Systems Combining Declarative and Procedural Representations
,”
Computers in Chemical Engineering
, Vol.
17
, No.
11
, pp.
1067
1090
.
32.
Ringland, G. A., 1988, “Structured Object Representation—Schemata and Frames,” Approaches to Knowledge Representation: An Introduction, Research Studies Press, Letchworth, Hertfordshire, England, pp. 81–99.
33.
Rychener, M. D., 1988, Expert Systems for Engineering Design, Academic Press, Boston, MA.
34.
Schey, J. A., 1987, Introduction to Manufacturing Processes, McGraw-Hill Book Company, NY, pp. 662.
35.
Sidall, J. N., 1990, Expert Systems for Engineers, Marcel Dekker Inc, New York, NY.
36.
Werner, O., Schopfle, G. M., 1987, Systematic Fieldwork, Vol. 2, Sage Publications, Beverly Hills, CA.
37.
Wildberger, A.M., 1989, “Converting Knowledge Representation Between Rules and Frames,” Simulation and AI, Society for Computer Simulation International, pp. 113–118.
This content is only available via PDF.
You do not currently have access to this content.