Zusammenfassung
Feature-Logik ist die überraschend einfache und universelle Grundlage für die von Computerlinguisten entwickelten Unifikationsgrammatiken und den für Wissensrepräsentation und Logikprogrammierung entworfenen ψ-Termkalkül von Aït-Kaci. Ich werde zunächst diese Anwendungen skizzieren und mich danach auf Feature-Logik als logischen Formalismus konzentrieren. Mit dem Vortrages will ich zeigen, daß die logische Fundierung von aus Anwendungen enstanden Wissensrepräsentationsformalismen wesentlich zu deren Verständnis, Vereinfachung und Erweiterung beitragen kann.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Literatur
H. Aït-Kaci, An Algebraic Semantics Approach to the Effective Resolution of Type Equations. Theoretical Computer Science 45, 1986, 293–351.
H. Aït-Kaci and R. Nasr, LOGIN: A Logic Programming Language with Built-In Inheritance. The Journal of Logic Programming, 1986, 3, 185–215.
M. Höhfeld and G. Smolka, Definite Relations over Constraint Languages. LILOG Report 53, IBM Deutschland, West Germany, October 1988.
H.J. Levesque and R.J. Brachman, Expressiveness and Tractability in Knowledge Representation and Reasoning. Computational Intelligence 3, 1987, 78–93.
W.C. Rounds and R.T. Kasper, A Complete Logical Calculus for Record Structures Representing Linguistic Information. Proc. of the First IEEE Symposium on Logic in Computer Science, Boston, 1986, 38–43.
S. Shieber, An Introduction to Unification-Based Approaches to Grammar. CSLI Lecture Notes 4, Stanford University, 1986.
G. Smolka, A Feature Logic with Subsorts. LILOG Report 33, IBM Deutschland, West Germany, May 1988. To appear in the proceedings of the Workshop on Unification Formalisms—Syntax, Semantics and Implementation, Titisee, The MIT Press.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Smolka, G. (1989). Feature-Logik. In: Metzing, D. (eds) GWAI-89 13th German Workshop on Artificial Intelligence. Informatik-Fachberichte, vol 216. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-75100-4_56
Download citation
DOI: https://doi.org/10.1007/978-3-642-75100-4_56
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51743-6
Online ISBN: 978-3-642-75100-4
eBook Packages: Springer Book Archive