{"type":"ScholarlyArticle","title":"Constraints in a Hybrid Knowledge Representation System","authors":[{"name":"Hans W. Guesgen","slug":"hans-w-guesgen","given":"Hans W.","family":"Guesgen","affiliation":""},{"name":"Ulrich Junker","slug":"ulrich-junker","given":"Ulrich","family":"Junker","affiliation":""},{"name":"Angi Voß","slug":"angi-vo","given":"Angi","family":"Voß","affiliation":""}],"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 .","doi":null,"url":"https://ijcai.org/proceedings/1987/6","pdf":"https://ijcai.org/proceedings/1987/0006.pdf","markdown":"https://ijcai.org/proceedings/1987/6.md","bibtex":"https://ijcai.org/proceedings/1987/bibtex/6","volume":{"slug":"1987","title":"Proceedings of the Tenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1987","url":"https://ijcai.org/proceedings/1987/","year":1987,"location":"Milan, Italy","dates":"","editors":"John McDermott","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Architectures and Languages","track":"Architectures and Languages","number":6,"pages":{"first":30,"last":32},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}