{"type":"ScholarlyArticle","title":"Representation and Analysis of Electrical Circuits in a Deductive System","authors":[{"name":"Takushi Tanaka","slug":"takushi-tanaka","given":"Takushi","family":"Tanaka","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1983/65","pdf":"https://ijcai.org/proceedings/1983/0065.pdf","markdown":"https://ijcai.org/proceedings/1983/65.md","bibtex":"https://ijcai.org/proceedings/1983/bibtex/65","volume":{"slug":"1983","title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1983","url":"https://ijcai.org/proceedings/1983/","year":1983,"location":"Karlsruhe, West Germany","dates":"","editors":"Alan Bundy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Expert Systems","track":"Expert Systems","number":65,"pages":{"first":263,"last":266},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}