An Expert System for Representing Procedural Knowledge,

Abstract

Development of effective automatic systems for fault isolation and diagnosis requires reasoning about sequences of tests and actions. Unfortunately, traditional expert systems are not well suited to representing such procedural knowledge. In this paper, a scheme is presented that allows the explicit representation of both declarative and procedural knowledge with a unified framework, yet retains all the desirable properties of expert systems such as flexibility, explanatory capability and extendibility. In particular, the scheme allows any heuristic declarative knowledge that maintenance engineers may possess to be integrated easily and uniformly with the strong procedural methods of maintenance plans. Domain-specific metalevel knowledge can also be represented within the same formalism. A simple version of the scheme has been fully implemented and applied to the domain of automobile-engine fault diagnosis. (Author)

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1984
Accession Number
ADP003923

Entities

People

  • M. Georgeff

Organizations

  • SRI International

Tags

DTIC Thesaurus Topics

  • Applied Computer Science
  • Artificial Intelligence
  • Automatic
  • Automobiles
  • Colorado
  • Computer Science
  • Engineers
  • Expert Systems
  • Maintenance
  • Reasoning
  • Resilience
  • Sequences
  • Workshops

Readers

  • Artificial Intelligence