Abstract
In der vorliegenden Arbeit werden einige Erweiterungen disjunktiver Merkmalsbeschreibungen diskutiert, die im Rahmen von STUF (Stuttgart Type Unification Formalism) im Projekt LILOG entwickelt wurden. Gegenüber den bisherigen Ansätzen sind dies insbesondere Konzepte zur Behandlung von Termen mit fester und variabler Stelligkeit in einem Formalismus und zur Strukturierung von Wissensbasen durch die Verwendung von Wissensdomänen.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur
Ait-Kaci (1984) H. Ait-Kaci: A Lattice Theoretic Approach to Computation Based on a Calculus of Partially Ordered Type Structures. Ph.D. Thesis, University of Pennsylvania.
Beierle (1988b) C. Beierle, U. Pletat, H. Uszkoreit: An Algebraic Characterization of STUF. To appear in: Tagungsband des Symposiums “Computerlinguistik und ihre theoretischen Grundlagen”, Saarbrücken 1988. Informatik-Fachberichte, Springer.
Bouma (1988) G. Bouma, E. König, H. Uszkoreit: The Application of the Stuttgart Type Unification Formalism to Syntactic and Semantic Processing. In: IBM Journal of Research and Development, March 1988.
Johnson (1987) M.E. Johnson: Attribute-Value Logic and the Theory of Grammar. Ph.D. Thesis, Stanford University.
Karttunen (1984) L. Karttunen: Features and Values. In: Proceedings of the 12th International Conference on Computational Linguistics. Stanford, CA.
Kasper (1987) R.T. Kasper: Feature Structures: A Logical Theory with Application to Language Analysis. Ph.D. Thesis, University of Michigan.
Kay (1985) M. Kay: Parsing in Functional Unification Grammar. In: Natural Language Parsing: Psychological, Computational, and Theoretical Perspectives. Cambridge University Press. Cambridge, GB. pp 251–278
Seiffert (1988) R. Seiffert: Operationen in erweiterten Typenunifikationsformalismen. Diplomarbeit. Institut für Informatik, Universität Stuttgart.
Shieber (1983) S.M. Shieber, H. Uszkoreit, F.C.N. Pereira, J.J. Robinson, M. Tyson: The Formalism and Implementation of PATR-11. In: Research on Interactive Acquisition and Use of Knowledge. Artificial Intelligence Center, SRI International. Menlo Park, CA.
Smolka (1988) G. Smolka: A Feature Logic with Subsorts. LILOG Report 33. IBM Deutschland, Stuttgart.
Uszkoreit (1986) H. Uszkoreit: Categorial Unification Grammar. In: Proceedings of the 11th International Conference on Computational Linguistics. Bonn, Germany.
Uszkoreit (1988) H. Uszkoreit: From Feature Bundles to Abstract Data Types: New Directions in the Representation and Processing of Linguistic Knowledge. In: A. Blaser (ed.): Natural Language at the Computer - Contributions to Syntax and Semantics for Text Processing and Man-Machine-Communication. Proceedings of the Scientific Symposium Held on the Occasion of the 20th Anniversary of the Science Center Heidelberg of IBM Germany. TR 88.02.002. IBM Deutschland.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Seiffert, R. (1988). Einige Erweiterungen disjunktiver Merkmalsbeschreibungen. In: Trost, H. (eds) 4. Österreichische Artificial-Intelligence-Tagung. Informatik-Fachberichte, vol 176. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73998-9_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-73998-9_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50180-0
Online ISBN: 978-3-642-73998-9
eBook Packages: Springer Book Archive