Hostname: page-component-8448b6f56d-m8qmq Total loading time: 0 Render date: 2024-04-20T01:42:38.645Z Has data issue: false hasContentIssue false
  • English
  • Français

A framework for design verification and evaluation systems1

Published online by Cambridge University Press:  27 February 2009

Steven M. Medoff ,
Michael S. Register  and
Mark W. Swartwout
Steven M. Medoff
Affiliation:
Al Applications Group, Digital Equipment Corporation, 290 Donald Lynch Blvd. (DLB5-2/B4), Marlboro, MA 01752, U.S.A.
Michael S. Register
Affiliation:
Al Applications Group, Digital Equipment Corporation, 290 Donald Lynch Blvd. (DLB5-2/B4), Marlboro, MA 01752, U.S.A.
Mark W. Swartwout
Affiliation:
Al Applications Group, Digital Equipment Corporation, 290 Donald Lynch Blvd. (DLB5-2/B4), Marlboro, MA 01752, U.S.A.
Get access Rights & Permissions [Opens in a new window]

Abstract

Although current efforts have indicated the need for design verification and evaluation systems, little has been done to develop knowledge representation systems for implementing this class of expert systems. In this paper, we describe CANDLE, a knowledge representation system built to solve design verification and evaluation problems. We define the class of design verification and evaluation systems and the functionality required of knowledge representation systems used to develop these systems. We present an example design verification and evaluation problem, illustrating how this problem imposes these functionality requirements on the knowledge representation system used. In the remainder of the paper we discuss CANDLE, a knowledge representation system created to develop design verification and evaluation systems. We show that CANDLE meets the knowledge representation requirements for this class of systems. We also present some of CANDLE'S functionality that exceeds the defined knowledge representation requirements and provides a knowledge engineer with the capability to expand the functionality of a design verification and evaluation system.

Type
Research Article
Information
AI EDAM , Volume 3 , Issue 2 , May 1989 , pp. 71 - 84
Copyright
Copyright © Cambridge University Press 1989

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Chandrasekaran, B. 1986. Generic tasks in knowledge based reasoning: high level building blocks for expert system design. IEEE Expert 1(3), 23–30.CrossRefGoogle Scholar
Dixon, J. R. 1986. Artificial intelligence and design: a mechanical engineering view. In: Proceedings of the Fifth National Conference on Artificial Intelligence, Vol. II, Philadelphia, PA, pp. 872–877.Google Scholar
Genesereth, M. R. 1984. The use of design descriptions in automated diagnosis. Artificial Intelligence 24, 411–436.CrossRefGoogle Scholar
Marcus, S., Stout, J. and McDermott, J. 1988. VT: an expert elevator designer that user knowledge-based backtracking. AI Magazine 9(1), 91–112.Google Scholar
Medoff, S., Register, M. and Swartwout, M. 1988. Representing knowledge for design verification and evaluation systems. In: Artificial Intelligence Developments and Applications. Amsterdam: Elsevier, pp. 135–145.Google Scholar
Mittal, S. and Araya, A. 1986. A knowledge-based framework for design. In: Proceedings of the Fifth National Conference on Artificial Intelligence, Vol. II, Philadelphia, PA, pp. 856–865.Google Scholar
Register, M. S. 1986. CANDLE—A representation language combining rules, constraints, and dependencies. In: Proceedings of the First Australian Artificial Intelligence Congress, Melbourne, Victoria.Google Scholar
Steele, G. L. 1980. The Definition and Implementation of a Computer Programming Language Based on Constraints, Technical Report AI-TR-595. Cambridge, MA: Artificial Intelligence Laboratory, Massachusetts Institute of Technology.Google Scholar
Steele, G. L. 1984. Common LISP: The Language. Burlington, MA: Digital Press.Google Scholar
Swartwout, M. W. 1986. ICT—A “responsible” program for making estimates from incomplete information. In: Proceedings of the First Australian Artificial Intelligence Congress, Melbourne, Victoria.Google Scholar