The classes are organized in specialization hierarchies distinguishing more and more specific kinds of objects. Via inheritance a class in the hierarchy transmits the knowledge and constraints defined for its slots to all its sub-classes. This knowledge may be further refined in the sub-classes, but not contradicted.
Using Shirka first requires the definition of classes and then the creation of instances for these classes which may be incomplete in the sense that certain slot values might be missing. Two kinds of actions are then possible. On one hand missing slot values might be requested. Shirka then tries to infer these values using the knowledge introduced with the class definition. On the other hand, the class(es) an instance might or might not be attached to, can be identified via a classification mechanism.
In general, the knowledge relevant within an application cannot be completely formalized. Therefore Shirka allows to integrate also free text into a knowledge base. This text is structured in a hypertext network, interconnected with the formalized object definitions. For instance, all names used for class or slot definitions in the base are indexed.
Shirka is available through anonymous ftp at ftp://ftp.imag.fr/imag/SHERPA/logiciels/shirka/shirka.tar.gz (544 Ko) and its documentation (in french) can be found at ftp://ftp.imag.fr/imag/SHERPA/rapports/manuel-shirka.tar.gz.
Relevant publications include: [Rechenmann 85] (in french) and [Rechenmann& 89b].
SaMaRis is not available anymore.
Relevant publications (in french) are [ Euzenat 91a] and [ Euzenat& 91b].
But, sometimes, the problem solving process cannot be completely automated: the user has to intervene to provide parameter values, or to make strategic decisions for example. Scarp, developed in cooperation with Cap Gemini Innovation and funded by the French Ministry of Research and Technology, is a generic problem solving environment, able to manage this kind of user intervention into an automatic problem solving process.
Furthermore, Scarp provides additional cooperation facilities for interactive problem solving. In fact, a knowledge base is never exhaustive and, in consequence, a user can have more advanced knowledge than the knowledge based system. Scarp therefore allows the user to supervise and to modify the whole problem solving process and all the decisions made during this process. This creates different versions of the problem solving process which are managed by the system and always accessible for the user.
Scarp is available through anonymous ftp at ftp://ftp.imag.fr/imag/SHERPA/logiciels/scarp/scarp-release-tar/scarp_v2_23.tar.gz and its documentation (in french) is at: ftp://ftp.imag.fr/imag/SHERPA/logiciels/scarp/doc-ps/docs-scarp.tar.
Relevant publications includes: [ Willamowski 94b] (in french) and [ Willamowski& 94].
In this current release, Troeps 1.2, does not implement constraint satisfaction. All other features are here and ready (more details in the French page)..
Troeps has been developped in Ilog Talk and is loadable as a C library.
Troeps is available through ftp://ftp.inrialpes.fr/pub/sherpa/logiciels/troeps/current.tar.gz It occupies ?Mo (uncompressed, 20 to 40Mo for each port) and 14Mo compressed. Its documentation is in ftp://ftp.inrialpes.fr/pub/sherpa/rapports/troeps-manual.ps.gz.
Some demonstrations and on-line documentation are also accessible through http://hytropes.inrialpes.fr.
Relevant publications are: [Mariño 93] (in french) and [Mariño& 90] (not very close to the implemented software but the principles are presented there).
Current release is 1.0,
The Co4 protocol has been developped in C and is delivered as a library.
The Co4 protocol available through ftp://ftp.inrialpes.fr/pub/sherpa/logiciels/co4/current.tar.gz It occupies 15Mo (uncompressed) and 2Mo compressed. Its documentation is in ftp://ftp.inrialpes.fr/pub/sherpa/rapports/co4-manual.ps.gz.
The Co4 dedicated Web site is http://co4.inrialpes.fr.
Relevant publications are: [Euzenat 95a] and [Euzenat 97a].