---
title: "Representations for Reasoning about Digital Circuits"
authors:
  - "Tom M. Mitchell"
  - "Louis I. Steinberg"
  - "Reid G. Smith"
  - "Pat Schooley"
  - "Howard Jacobs"
  - "Van E. Kelly"
doi: ""
url: "https://ijcai.org/proceedings/1981/67"
pdf: "https://ijcai.org/proceedings/1981/0067.pdf"
venue: "Proceedings of the Seventh International Joint Conference on Artificial Intelligence"
year: 1981
pages: "343-343"
track: "INFERENCE and REASONING"
keywords:
---

# Representations for Reasoning about Digital Circuits

Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, Van E. Kelly

*Proceedings of the Seventh International Joint Conference on Artificial Intelligence*, pages 343-343.

## Abstract

We are interested in developing programs that reason about digital electronic · circu its, in order to design, redesign. and debug them The first step toward developing such pr ograms is to determine a useful way of representing the design and operation of circuits. A useful representation must make apparent the roles of various circuit components 1n implementing the overall circuit function . and must allow a pr ogram to reason about the operation of the circuit at vanous levels of abstraction. This paper summarizes our efforts to develop such a representation . This work is closely related to other AI work on representing plans and on representing and reasoning about complex physical processes .***