Constraints in a Hybrid Knowledge Representation System

Guesgen, Hans W.; Junker, Ulrich; Voß, Angi

Constraints in a Hybrid Knowledge Representation System

Hans W. Guesgen, Ulrich Junker, Angi Voß

Download BibTeX Cite

Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Architectures and Languages. Pages 30-32.

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 .

Hans W. Guesgen, Ulrich Junker, and Angi Voß. 1987. Constraints in a Hybrid Knowledge Representation System. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87. IJCAI, 30–32. https://ijcai.org/proceedings/1987/6

@inproceedings{ijcai1987p6,
  title     = {Constraints in a Hybrid Knowledge Representation System},
  author    = {Guesgen, Hans W. and Junker, Ulrich and Voß, Angi},
  booktitle = {Proceedings of the Tenth International Joint Conference on
               Artificial Intelligence, {IJCAI-87}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John McDermott},
  pages     = {30--32},
  year      = {1987},
  note      = {Architectures and Languages},
  url       = {https://ijcai.org/proceedings/1987/6},
}

TY  - CPAPER
TI  - Constraints in a Hybrid Knowledge Representation System
AU  - Guesgen, Hans W.
AU  - Junker, Ulrich
AU  - Voß, Angi
T2  - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1987
SP  - 30
EP  - 32
UR  - https://ijcai.org/proceedings/1987/6
ER  -