Representation and analysis of electrical circuits in a deductive system

Authors:
Takushi Tanaka
Affiliations:
The National Language Research Institute, Tokyo, Japan and Department of Computer Science, Yale University, New Haven, CT
Venue:
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Year:
1983

Citing 5
Cited 0

Principles of artificial intelligence

Principles of artificial intelligence
Introduction to artificial intelligence

Introduction to artificial intelligence
Artificial Intelligence Programming

Artificial Intelligence Programming
Qualitative Knowledge, Causal Reasoning, and the Localization of Failures

Qualitative Knowledge, Causal Reasoning, and the Localization of Failures
Problem-Solving Methods in Artificial Intelligence

Problem-Solving Methods in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We have developed representations and analysis methods for electrical circuits in a deductive system called DUCK. Circuitsare 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.