Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness

  title={Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness},
  author={Thomas Ellman},
This paper presents a method of learning to solve design problems by generalizing examples. The technique has been developed in the domain of logic circuit design. It involves the use of domain knowledge to analyze examples and produce generalized circuit designs. The method utilizes proofs of design correctness to guide the process of generalization. Our approach is illustrated by showing it can generalize a rotational shift register into a schema describing devices capable of computing… CONTINUE READING
Highly Cited
This paper has 43 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper


Publications citing this paper.
Showing 1-10 of 22 extracted citations


Publications referenced by this paper.
Showing 1-10 of 13 references

An Intelligent Aid for Circuit Reaesign

Mitchel l 83bl Mitchell, M T.
Proceedings of the Third National Conference on Artificial Intelligence, • 1983

Derivational analogy in problem solving and knowledge acquisition

J. G. Carbonell
Proceedings of the International Machine Learning Workshop, ChampaignUrbana, • 1983
View 3 Excerpts

Operationalizing advice: A problem-solving model

J. Mostow 83a Mostow
Proceedings of the International Machine Learning Workshop, Champaign-Urbana, Illinois, • 1983
View 3 Excerpts

Program Transtormations for VLSI

IJCAI • 1983
View 3 Excerpts

Pattern Recognition as Rule-Guided Inductive Inference

IEEE Transactions on Pattern Analysis and Machine Intelligence • 1980
View 1 Excerpt

Similar Papers

Loading similar papers…