Representation and Analysis of Electrical Circuits in a Deductive System
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.
Cite
Text
Tanaka. "Representation and Analysis of Electrical Circuits in a Deductive System." International Joint Conference on Artificial Intelligence, 1983.Markdown
[Tanaka. "Representation and Analysis of Electrical Circuits in a Deductive System." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/tanaka1983ijcai-representation/)BibTeX
@inproceedings{tanaka1983ijcai-representation,
title = {{Representation and Analysis of Electrical Circuits in a Deductive System}},
author = {Tanaka, Takushi},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1983},
pages = {263-267},
url = {https://mlanthology.org/ijcai/1983/tanaka1983ijcai-representation/}
}