An Experiment in Representing the Knowledge Involved in the Specification and Design of Switching Systems
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.
Cite
Text
Cloarec and Cudelou. "An Experiment in Representing the Knowledge Involved in the Specification and Design of Switching Systems." International Joint Conference on Artificial Intelligence, 1983.Markdown
[Cloarec and Cudelou. "An Experiment in Representing the Knowledge Involved in the Specification and Design of Switching Systems." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/cloarec1983ijcai-experiment/)BibTeX
@inproceedings{cloarec1983ijcai-experiment,
title = {{An Experiment in Representing the Knowledge Involved in the Specification and Design of Switching Systems}},
author = {Cloarec, Jean-François and Cudelou, Jean-François},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1983},
pages = {385-387},
url = {https://mlanthology.org/ijcai/1983/cloarec1983ijcai-experiment/}
}