Abstract
This paper deals on defining object-oriented inferences by desining a new unification procedure called χ-unification (which leads to a sound and complete resolution) in DF-logic, a significant subset of F-logic [KLW,1990], an useful frame-based logical framework that enables the declarative implementation of feature grammars like LFGs, GPSGs, HPSGs, etc.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Bibliography
H.Abramson, Definte Feature Grammars for Natural Language Processing, in Logic Programming and Natural Language Understanding, vol. III, 1990.
L.-V.Ciortuz, Logic Programming with Built-in Object-Orientation, Annals of “Ai.I. Cuza” University of Iasi, Computer Science Section, 1994 (to appear).
P. van Hentenrick, Constraint Satisfaction in Logic Programming, MIT Press, 1989.
M.Kifer, G.Lausen, J.Wu, Logical Foundations of Object-Oriented and Frame-Based Languages, Technical Report 90/14, SUNY at Stony Brook, 1990.
J.W.Lloyd, Foundations of Logic Programming, Springer-Verlag, second edition, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ciortuz, L.V. (1994). Object-Oriented inferences in a logical framework for feature grammars. In: Carrasco, R.C., Oncina, J. (eds) Grammatical Inference and Applications. ICGI 1994. Lecture Notes in Computer Science, vol 862. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58473-0_136
Download citation
DOI: https://doi.org/10.1007/3-540-58473-0_136
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58473-5
Online ISBN: 978-3-540-48985-6
eBook Packages: Springer Book Archive