---
title: "Representation and Analysis of Electrical Circuits in a Deductive System"
authors:
  - "Takushi Tanaka"
doi: ""
url: "https://ijcai.org/proceedings/1983/65"
pdf: "https://ijcai.org/proceedings/1983/0065.pdf"
venue: "Proceedings of the Eighth International Joint Conference on Artificial Intelligence"
year: 1983
pages: "263-266"
track: "Expert Systems"
keywords:
---

# Representation and Analysis of Electrical Circuits in a Deductive System

Takushi Tanaka

*Proceedings of the Eighth International Joint Conference on Artificial Intelligence*, pages 263-266.

## Abstract

We have developed representations and analysis methods for electrical circuits in a deductive system called DUCK.** Circuits are represented as conjunctions of logical predicates. Circuit analysis is done as an iteration of proofs which determine the basic structures in the circuit. · Electrical constraints for the circuit are produced from the results of the proofs. The constraints are then solved using propagation methods.