Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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