{"type":"ScholarlyArticle","title":"An Experiment in Representing the Knowledge Involved in the Specification and Design of Switching Systems","authors":[{"name":"Jean-François Cloarec","slug":"jean-francois-cloarec","given":"Jean-François","family":"Cloarec","affiliation":""},{"name":"Jean-François Cudelou","slug":"jean-francois-cudelou","given":"Jean-François","family":"Cudelou","affiliation":""}],"abstract":"This experiment in representing knowledge has the goal of studying what kind of help existing knowledge representation tools might provide, for the process of designing switching systems. We offer some tentative positive as well as negative conclusions. The experiment is principally successful in that it has allowed us to point out some important representation problems, particularly in the checking and maintenance of consistency, and the expression of several points of view of a model.","doi":null,"url":"https://ijcai.org/proceedings/1983/92","pdf":"https://ijcai.org/proceedings/1983/0092.pdf","markdown":"https://ijcai.org/proceedings/1983/92.md","bibtex":"https://ijcai.org/proceedings/1983/bibtex/92","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":"Knowledge Representation","track":"Knowledge Representation","number":92,"pages":{"first":385,"last":386},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}