This thesis gives a short introduction to expert systems. Then the problem of graphical representation of logical structures is discussed and some solutions are given. After a brief description of the Kheops, requirements for a graphical interface to design logic are given. Then design and implementation of the Osiris system are described in a detailed way as well as all the supporting utilities. In this chapter meeting requirements by the Osiris are discussed and future improvements are proposed.