Meeting the requirements

In Chapter 1, the main goals of this thesis were given.

• presentation of the expert systems and the problems with development of the rules for knowledge-based systems were described,
• the knowledge representation methods were discussed
• the new tree-table representation was developed; it possesses the following features:
  • simplicity,
  • hierarchical, tree-like representation,
  • highly efficient way of visualization with high data density,
  • power of the decission table representation,
  • analogies to the RDB^7.1 data representation scheme.

• the original user interface for rule-based systems, which uses the tree-table representation, according to the design in Chapter 4 was created; the main goals of the interface were achieved,

  Rules editor

  The Editor module was designed and implemented. It allows creating and manipulating graphical objects which represent logical structures of rules.

  Tree-table representation

  A brand new approach to the representation of logical structures is taken. The tree table representation was used as the visualization method of the Editor.

  Rules checking subsystem

  The Validator module is able to validate logical structures against an incompleteness. If an incompleteness is detected it informs the user about it using communication methods provided by the Controller module. It allows to verify the structures in the development stage.

  Graphical user interface

  An intuitive and user friendly, graphical interface have been developed. It is built using the X Window system and the GTK library, to work under almost all UNIX systems.

  Code generation for Kheops

  The Generator module generates a source code for the Kheops from the Osiris datafile.

  Integration with gKheops

  The Controller module allows to launch any application as a run-time environment for the created logic (under certain circumstances described in Chapter 5). Especially it is able to launch the gKheops with a generated Kheops source file.

  Ability to expand or modify system easily

  Osiris is a highly customizable system. Code generation, validation and launching could be done using other not supplied modules. The only requirement is that these modules have to meet communication specifications described in Chapter 5. It allows to use Osiris to develop rules for other rule based systems.