This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Parsing Electronic Circuits in a Logic Grammar
April 1993 (vol. 5 no. 2)
pp. 225-239

Understanding circuits is a prerequisite for circuit design and trouble shooting. Circuit understanding by engineers is described as a process that starts with a structural analysis and then proceeds to a causal analysis. As a step toward automatic circuit understanding, a method for analyzing circuit structures is presented. In this method, a circuit is reviewed as a sentence and its elements as words. Circuit structures are defined by rules written in a logic grammar called definite clause set grammar (DCSG). Given circuits are decomposed into parse trees by the DCSG top-down parsing mechanism. These parse trees represent hierarchical structures of functional blocks. This representation is presented as one step in the process of automatic understanding of circuit structures.

[1] H. Abramson and V. Dahl,Logic Grammars. New York: Springer-verlag, 1989.
[2] J. De Kleer, "Causal and teleological reasoning in circuit recognition," Tech. Rep. 529, Artificial Intelligence Lab., MIT, 1979.
[3] J. De Kleer, "How circuits work,"Qualitative Reasoning About Physical Systems, pp. 205-280, 1985.
[4] K. S. Fu,Syntactic Methods in Pattern Recognition.New York: Academic, 1974.
[5] K. S. Fu,Syntactic Pattern Recognition and Applications. Englewood Cliffs, NJ: Prentice-Hall, 1982.
[6] S. A. Greibach, "A new normal form theorem for context-free phrase structure grammars,"J. ACM, vol. 12, pp. 42-52, 1965.
[7] F. C. N. Pereira and D. H. D. Warren, "Definite clause grammars for language analysis,"Artif. Intell., vol. 13, pp. 231-278, 1980.
[8] F. C. N. Pereira and C. Tweed,C-Prolog User's Manual, Edinburgh Computer Aided Architectural Design, 1987.
[9] G. J. Sussman and G. Steele Jr., "Constraints: A language for expressing almost-hierarchical descriptions,"Artif. Intell., vol. 14, pp. 1-39, 1980.
[10] T. Tanaka, "Representation and analysis of electrical circuits in a deductive system," inProc. IJCAI-83, Karlsruhe, 1983, pp. 263-267.
[11] T. Tanaka, "Parsing circuit topology in a deductive system," inProc. IJCAI-85, Los Angeles, CA, 1985, pp. 407-410.
[12] T. Tanaka, "Structural analysis of electronic circuits in a deductive system," inExpert System Applications, L. Bolc and M. J. Coombs, eds. Germany: Springer-Velag, 1988, pp. 257-308.
[13] T. Tanaka, "Definite clause set grammars: A fermalism for problem solving,"J. Logic Program., vol. 10, pp. 1-17, 1991.
[14] P.W. Tuinenga,SPICE--A Guide to Circuit Simulation&Analysis Using PSpice. Englewood Cliffs, NJ: Prentice-Hall, 1988.
[15] 101 Analog IC Designs, Sunnyvale, CA: Interdesign Inc., 1976.

Index Terms:
circuit design; trouble shooting; structural analysis; causal analysis; automatic circuit understanding; circuit structures; sentence; words; logic grammar; definite clause set grammar; parse trees; DCSG top-down parsing mechanism; hierarchical structures; functional blocks; circuit analysis computing; formal logic; grammars; trees (mathematics)
Citation:
T. Tanaka, "Parsing Electronic Circuits in a Logic Grammar," IEEE Transactions on Knowledge and Data Engineering, vol. 5, no. 2, pp. 225-239, April 1993, doi:10.1109/69.219732
Usage of this product signifies your acceptance of the Terms of Use.