---
title: "Parsing Circuit Topology in a Deductive System"
authors:
  - "Takushi Tanaka"
doi: ""
url: "https://ijcai.org/proceedings/1985/77"
pdf: "https://ijcai.org/proceedings/1985/0077.pdf"
venue: "Proceedings of the Ninth International Joint Conference on Artificial Intelligence"
year: 1985
pages: "407-409"
track: "Expert Systems"
keywords:
---

# Parsing Circuit Topology in a Deductive System

Takushi Tanaka

*Proceedings of the Ninth International Joint Conference on Artificial Intelligence*, pages 407-409.

## Abstract

As a step toward automatic circuit understanding, we have developed a method for parsing circuit topology in a deductive system called Duck. A circuit is viewed as a sentence and its elements as words. Generating circuits with specific functions is represented by deductive rules analogous to definite clause grammars. Using those rules, an object circuit is decomposed into a parse tree of functional blocks in terms of logic programming.