Representations for Reasoning about Digital Circuits

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

Representations for Reasoning about Digital Circuits

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

Download BibTeX Cite

Proceedings of the Seventh International Joint Conference on Artificial Intelligence. INFERENCE and REASONING. 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 .***

Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, and Van E. Kelly. 1981. Representations for Reasoning about Digital Circuits. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81. IJCAI, 343–343. https://ijcai.org/proceedings/1981/67

@inproceedings{ijcai1981p67,
  title     = {Representations for Reasoning about Digital Circuits},
  author    = {Mitchell, Tom M. and Steinberg, Louis I. and Smith, Reid G. and Schooley, Pat and Jacobs, Howard and Kelly, Van E.},
  booktitle = {Proceedings of the Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI-81}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Roger C. Schank},
  pages     = {343--343},
  year      = {1981},
  month     = {8},
  note      = {INFERENCE and REASONING},
  url       = {https://ijcai.org/proceedings/1981/67},
}

TY  - CPAPER
TI  - Representations for Reasoning about Digital Circuits
AU  - Mitchell, Tom M.
AU  - Steinberg, Louis I.
AU  - Smith, Reid G.
AU  - Schooley, Pat
AU  - Jacobs, Howard
AU  - Kelly, Van E.
T2  - Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1981
SP  - 343
EP  - 343
UR  - https://ijcai.org/proceedings/1981/67
ER  -