Skip to main content
Springer Nature Link
Log in

Deriving Electrical Dependencies from Circuit Topologies Using Logic Grammar

  • Conference paper
Knowledge-Based and Intelligent Information and Engineering Systems (KES 2009)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5712))

  • 952 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Pereira, F.C.N., Warren, D.H.D.: Definite Clause Grammars for Language Analysis. Artificial Intell. 13, 231–278 (1980)

    Article  MATH  Google Scholar 

  2. de Kleer, J.: Causal and Teleological Reasoning in Circuit Recognition. MIT, AI-TR-529 (1979)

    Google Scholar 

  3. Tanaka, T.: Definite Clause Set Grammars: A Formalism for Problem Solving. J. Logic Programming 10, 1–17 (1991)

    Article  MathSciNet  Google Scholar 

  4. Tanaka, T.: Parsing Circuit Topology in A Logic Grammar. IEEE-Trans. Knowledge and Data Eng. 5, 225–239 (1993)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, Fukuoka Institute of Technology, 3-30-1 Wajiro-Higashi Higashi-ku, Fukuoka, 811-0295, Japan

    Takushi Tanaka

Authors
  1. Takushi Tanaka
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Chile, Republica 701, 8370439, Santiago, Chile

    Juan D. Velásquez  & Sebastián A. Ríos  & 

  2. University of Brighton, BN2 4GJ, Brighton, UK

    Robert J. Howlett

  3. University of South Australia, 5095, Mawson Lakes, SA, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tanaka, T. (2009). 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) Knowledge-Based and Intelligent Information and Engineering Systems. KES 2009. Lecture Notes in Computer Science(), vol 5712. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04592-9_41

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04592-9_41

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04591-2

  • Online ISBN: 978-3-642-04592-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics