---
title: "An Experiment in Representing the Knowledge Involved in the Specification and Design of Switching Systems"
authors:
  - "Jean-François Cloarec"
  - "Jean-François Cudelou"
doi: ""
url: "https://ijcai.org/proceedings/1983/92"
pdf: "https://ijcai.org/proceedings/1983/0092.pdf"
venue: "Proceedings of the Eighth International Joint Conference on Artificial Intelligence"
year: 1983
pages: "385-386"
track: "Knowledge Representation"
keywords:
---

# An Experiment in Representing the Knowledge Involved in the Specification and Design of Switching Systems

Jean-François Cloarec, Jean-François Cudelou

*Proceedings of the Eighth International Joint Conference on Artificial Intelligence*, 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.