Representation and Analysis of Electrical Circuits in a Deductive System
Proceedings of the Eighth International Joint Conference on Artificial Intelligence. Expert Systems. 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.
Takushi Tanaka. 1983. Representation and Analysis of Electrical Circuits in a Deductive System. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83. IJCAI, 263–266. https://ijcai.org/proceedings/1983/65
Tanaka, T. (1983). Representation and Analysis of Electrical Circuits in a Deductive System. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83 (pp. 263–266). IJCAI. https://ijcai.org/proceedings/1983/65
@inproceedings{ijcai1983p65,
title = {Representation and Analysis of Electrical Circuits in a Deductive System},
author = {Tanaka, Takushi},
booktitle = {Proceedings of the Eighth International Joint Conference on
Artificial Intelligence, {IJCAI-83}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Alan Bundy},
pages = {263--266},
year = {1983},
note = {Expert Systems},
url = {https://ijcai.org/proceedings/1983/65},
}
TY - CPAPER TI - Representation and Analysis of Electrical Circuits in a Deductive System AU - Tanaka, Takushi T2 - Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83 PB - International Joint Conferences on Artificial Intelligence PY - 1983 SP - 263 EP - 266 UR - https://ijcai.org/proceedings/1983/65 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
