HOME | DEUTSCH | IMPRESSUM | KIT

Conference Papers: Resolution for Feature Logics

[fischer93wgi]Bernd Fischer, Resolution for Feature Logics, Workshop der GI-Fachgruppe .Alternative Konzepte für Sprachen und Rechner, pp. 23--34, April 1993.

Abstract

A common approach to combine the object-oriented and logic programming paradigms is to formulate a set of inference rules for an object logic. We show how resolution is expressed using the full feature logic. In contrast to similar approaches we do not only exchange the underlying term universe but discard the predicate calculus completely. We demonstrate that an untyped resolution violates a closed world assumption and introduce a type discipline to solve this problem. To integrate inheritance into this framework we introduce polymorphic types and rules.

Download

  [PDF]

BibTeX

Authors at the institute

Former Staff Member
Prof. Dr. rer. nat. Bernd Fischer