Constraints in a hybrid knowledge representation system

Authors:
H. W. Guesgen;U. Junker;A. Voss
Affiliations:
Expert Systems Research Group, Gesellschaft fuer Mathematik und Datenverarbeitung, Sankt Augustin, F.R.G.;Expert Systems Research Group, Gesellschaft fuer Mathematik und Datenverarbeitung, Sankt Augustin, F.R.G.;Expert Systems Research Group, Gesellschaft fuer Mathematik und Datenverarbeitung, Sankt Augustin, F.R.G.
Venue:
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Year:
1987

Citing 4
Cited 0

Diagnostic reasoning based on structure and behavior

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
BABYLON—kernel system of an integrated environment for expert system development and operation

5th international workshop, Vol. 1 on Expert systems & their applications
CONSAT: a system for constraint satisfaction

CONSAT: a system for constraint satisfaction
Synthesizing constraint expressions

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

Abstract

In our research group, the hybrid knowledge representation system Babylon has been developed providing formalisms for rules, prolog and frames. Beyond it, we implemented Consat, a system for constraint satisfaction. Since applications of Babylon for process diagnosis, planning etc. required constraints. we integrated Consat into the Babylon environment. The paper describes the integration of Consat into Babylon, regarding two aspects. First, constraints should be available as another Babylon formalism by using the functional interface of Consat. On the other hand, it is important to have constraints implicitly controlling other Babylon formalisms, for instance, in order to keep the system's database consistent. While with respect to the first point, the paper describes work already finished, the second form of integration is work in progress.