The circuit grammar is a logic grammar developed for knowledge representation of electronic circuits. Knowledge of circuit structures and their functions are coded as grammar rules. Those grammar rules, when converted into definite clauses, form a logic program that can parse given circuits and derive their electrical behavior. This paper shows a mechanism for converting circuit grammar rules into definite clauses.


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)MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Tanaka, T.: Definite Clause Set Grammars: A Formalism for Problem Solving. J. Logic Programming 10, 1–17 (1991)CrossRefMathSciNetGoogle Scholar
  3. 3.
    Tanaka, T., Bartenstein, O.: DCSG-Converters in Yacc/Lex and Prolog. In: Proc. 12th Int. Conference on Applications of Prolog, pp. 44–49 (1999)Google Scholar
  4. 4.
    Tanaka, T.: A Logic Grammar for Circuit Analysis - Problems of Recursive Definition. In: Apolloni, et al. (eds.) KES 2007, Part II. LNCS (LNAI), vol. 4693, pp. 852–860. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  5. 5.
    Tanaka, T.: Circuit grammar: knowledge representation for structure and function of electronic circuits. Int. J. Reasoning-based Intelligent Systems 1, 56–67 (2009)CrossRefGoogle Scholar
  6. 6.
    Tanaka, T.: Deriving Electrical Dependencies from Circuit Topologies Using Logic Grammar. In: Velásquez, J.D., Ríos, S.A., Howlett, R.J., Jain, L.C. (eds.) KES 2009. LNCS, vol. 5712, pp. 325–332. Springer, Heidelberg (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

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

Personalised recommendations