Deriving Electrical Dependencies from Circuit Topologies Using Logic Grammar

  • Takushi Tanaka
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5712)


We have developed a new logic grammar for knowledge representation of electronic circuits. The grammar rules not only define the syntactic structure of electronic circuits, but also allow us to derive the meaning of a given circuit as relationships between its syntactic structure and basic circuit functions. In this paper, we show how voltage and current dependencies are coded in this new circuit grammar and how these dependencies are derived by parsing circuit structures.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Pereira, F.C.N., Warren, D.H.D.: Definite Clause Grammars for Language Analysis. Artificial Intell. 13, 231–278 (1980)CrossRefMATHGoogle Scholar
  2. 2.
    de Kleer, J.: Causal and Teleological Reasoning in Circuit Recognition. MIT, AI-TR-529 (1979)Google Scholar
  3. 3.
    Tanaka, T.: Definite Clause Set Grammars: A Formalism for Problem Solving. J. Logic Programming 10, 1–17 (1991)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Tanaka, T.: Parsing Circuit Topology in A Logic Grammar. IEEE-Trans. Knowledge and Data Eng. 5, 225–239 (1993)CrossRefGoogle Scholar
  5. 5.
    Tanaka, T.: A Logic Grammar for Circuit Analysis - Problems of Recursive Definition. In: Apolloni, B., et al. (eds.) KES 2007, Part II. LNCS (LNAI), vol. 4693, pp. 852–860. Springer, Heidelberg (2007)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Takushi Tanaka
    • 1
  1. 1.Department of Computer Science and EngineeringFukuoka Institute of TechnologyFukuokaJapan

Personalised recommendations