Explanation-Based Learning in Logic Circuit Design

  • Thomas Ellman
Part of the The Kluwer International Series in Engineering and Computer Science book series (SECS, volume 12)


Our research is focused on a technique known as explanation-based learning. We are studying this technique by applying it to the task of learning to design logic circuits. This approach involves utilizing domain knowledge to analyze example circuits and produce generalized circuit designs. In particular, proofs of design correctness are used to guide the process of generalization. This method has been demonstrated in a program which generalizes a circular shift register into a schema describing devices capable of computing arbitrary permutations.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1986

Authors and Affiliations

  • Thomas Ellman
    • 1
  1. 1.Department of Computer ScienceColumbia UniversityNew YorkUSA

Personalised recommendations