---
title: "Procedural Expert Systems"
authors:
  - "Michael P. Georgeff"
  - "Umberto Bonollo"
doi: ""
url: "https://ijcai.org/proceedings/1983/35"
pdf: "https://ijcai.org/proceedings/1983/0035.pdf"
venue: "Proceedings of the Eighth International Joint Conference on Artificial Intelligence"
year: 1983
pages: "151-156"
track: "Expert Systems"
keywords:
---

# Procedural Expert Systems

Michael P. Georgeff, Umberto Bonollo

*Proceedings of the Eighth International Joint Conference on Artificial Intelligence*, pages 151-156.

## Abstract

A scheme for explicitly representing and using expert knowledge of a procedural kind is described. The scheme allow s the explicit representation of both declarative and procedural knowledge within a unified framework, yet retains all the desirable properties of expert systems such as modularity, explanatory capability, and extendability. It thus bridges the gap between the procedural and declarative languages, and allows formal algorithmic knowledge to be uniformly integrated with heuri st ic declarative knowledge. A version of the scheme has been fully implemented and applied to the domain or automobile engine fault diagnosis.