Abstract
As a step toward automatic circuit understanding, we have developed methods for structural analysis of electronic circuits in a deductive system called Duck. We first show how circuits are represented in logic. Corresponding to each circuit elment or device, a predicate is defined. Circuits are defined using those predicates. Circuit analysis is done as an iteration of proofs which determine the basic structures in the circuit.
Next, we present a new representation method for circuits to advance pur study. A circuit is viewed as a sentence and its elements as words; analysis of a circuit is thus analogous to parsing a language. A bottom-up mechanism is used to analyze impedance networks. A top-down mechanism is used to analyze electronic circuits into blocks with specific functions. Circuit structures are defined by deductive rules analogous to definite clause grammars. Using those rules, an object circuit is decomposed into a parse tree of functional blocks.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barrow, H.G., “VERIFY: A Program for Proving Correctness of Digital Hardware Design”, Artificial Intelligence, Vol.24, pp.437–491, 1984.
Charniak, E., Riesbeck, C., McDermott, D., “Artificial Intelligence Programming”, Lawrence Erlbaum, NJ, 1980.
Charniak, E., McDermott, D., “Introduction to Artificial Intelli- gence”, Addison-Wesley, 1984.
Davis, R., “Diagnostic Reasoning Based on Structure and Behavior”, Artificial Intelligence, Vol.24, pp.347–409, 1984.
DeKleer, J., “Causal and Teleological Reasoning in Circuit Recognition”, MIT AI-TR-529, 1979.
DeKleer, J., “How Circuits Work”, Artificial Intelligence, Vol.24, pp.205–280, 1984.
Doyle, J., “A Truth Maintenance System”, Artificial Intelligence, Vol.12, pp. 231–272, 1979.
Fu, K.S., “Syntactic Methods in Pattern Recognition”, Academic Press, NY, 1974.
Genesereth M.R., “The Use of Descriptions in Automated Diagnosis”, Artificial Intelligence, Vol.24, pp.411–436, 1984.
Kowalski R., “Logic for Problem Solving”, North-Holland, NY, 1979.
McDermott, D., “Circuit Design as Problem Solving”, in Latombe (ed.), Artificial Intelligence and Pattern Recognition in Computer Aided Design, IFIP, North-Holland, Amsterdam, 1978.
McDermott, D., Doyle, J., “Non-Monotonic Logic I” Artificial Intelligence, Vol.13, 1980.
McDermott, D., “Duck: A Lisp-based Deductive System”, Yale Univ., Dept, of Computer Science, 1983.
Nagasawa, I., “A Design System with Logic Programming”, Japan Annual Reviews in Electronics, Computers & Telecomunications, OHM, Tokyo,1985.
Nilsson, N.J., “Principles of Artificial Intelligence”, Tioga Pub., Palo Alto, CA, 1980.
Pereira, F., Warren, D., “Definite Clause Grammars for Language Analysis”, Artificial Intelligence, Vol.13, pp. 231–278, 1980.
Reiter, R., “On Closed World Data Bases” in Gallaire, Minker (eds.), Logic and Data Bases, Plenam Press, 1978.
Schank, R., Riesbeck, C., “Inside Computer Understanding”, Lawrence Erlbaum, NJ, 1981.
Stallman, R.M., Sussman, G.J., “Forward Reasoning and Dependency- Directed Back-tracking in a System for Computer Aided Circuit Analysis” Artificial Intelligence, Vol.9, pp.135–196, 1977.
Sussman, G.J., Winograd, T., Charniak, E., “Micro-Planner Reference Manual”, MIT AI-memo No. 203A, 1971.
Sussman, G.J., Steele, G.Jr., “Constraints: A Language for Expressing Almost-Hierarchical Descriptions”, Artificial Intelligence, Vol.14, pp.1–39, 1980.
Tanaka, T., “Pattern Directed Circuit Recognition I, II”, 23rd, 24th Convention of Information Processing Society, 1981,1982 (in Japanese).
Tanaka, T., “Representation and Analysis of Electrical Circuits in a Deductive System”, Proc. of IJCAI-83, Karlsruhe, W.G., 1983.
Tanaka, T., “Parsing Circuit Topology in a Deductive System”, Proc. of IJCAI-85, Los Angeles, CA, 1985.
Tanaka, T., “Representation and Analysis of Circuit Structres by Logic Programming”, Trans, of Institute of Electronics and Communication Engineers of Japan, V0I.J68-A, No.12, pp.1350–1356, 1985 (in Japanese)
Tanaka, T., “Structural Analysis of Electronic Circuits using Definite Clause Grammars”, Trans, of Institute of Electronics and Communication Engineers of Japan, Vol.J69-D, No.3, pp.443–450, 1986 (in Japanese).
Williams, B.C., “Qualitative Analysis of MOS Circuits”, Artificial Intelligence, Vol.24, pp.281–346, 1984. “101 Analog IC Designs - Functional Blocks for Monochip Custom Integrated Circuits”, Interdesign, Inc., Sunnyvale, CA, 1976.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Tanaka, T. (1988). Structural Analysis of Electronic Circuits in a Deductive System. In: Bolc, L., Coombs, M.J. (eds) Expert System Applications. Symbolic Computation. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-83314-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-83314-4_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-83316-8
Online ISBN: 978-3-642-83314-4
eBook Packages: Springer Book Archive