An Experiment in Representing the Knowledge Involved in the Specification and Design of Switching Systems
Proceedings of the Eighth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 385-386.
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.
Jean-François Cloarec, and Jean-François Cudelou. 1983. An Experiment in Representing the Knowledge Involved in the Specification and Design of Switching Systems. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83. IJCAI, 385–386. https://ijcai.org/proceedings/1983/92
Cloarec, J., & Cudelou, J. (1983). An Experiment in Representing the Knowledge Involved in the Specification and Design of Switching Systems. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83 (pp. 385–386). IJCAI. https://ijcai.org/proceedings/1983/92
@inproceedings{ijcai1983p92,
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 = {Proceedings of the Eighth International Joint Conference on
Artificial Intelligence, {IJCAI-83}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Alan Bundy},
pages = {385--386},
year = {1983},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1983/92},
}
TY - CPAPER TI - An Experiment in Representing the Knowledge Involved in the Specification and Design of Switching Systems AU - Cloarec, Jean-François AU - Cudelou, Jean-François T2 - Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83 PB - International Joint Conferences on Artificial Intelligence PY - 1983 SP - 385 EP - 386 UR - https://ijcai.org/proceedings/1983/92 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
