Optimal Unification of Infinite Sets of Types

• Autorzy: Marciniec J.
• Języki publikacji: EN

Abstrakty

EN

In this paper we focus on the properties of infinite sets of types that have finite substitutional images. Since the number of such images may be infinite, we provide the way of its reduction. Having this done, we apply the new methods in the field of learnability of classical categorial grammars.

Słowa kluczowe

EN

unification; learning; categorial grammars

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2004
• Tom: Vol. 62, nr 3,4
• Strony: 395--407
• Opis fizyczny: Bibliogr. 9 poz.

Twórcy

autor

Marciniec J.

• Faculty of Mathematics and Computer Science, Adam Mickiewicz University, Umultowska 87, 61-614 Poznań, Poland,

Bibliografia

• [1] Buszkowski, W.: Discovery Procedures for Categorial Grammars, in: Categories, Polymorphism and Unification (E. Klein, J. van Benthem, Eds.), Universiteit van Amsterdam, Amsterdam, 1987.
• [2] Buszkowski, W.: Solvable Problems for Classical Categorial Grammars, Bull. Pol. Acad. Scie. Math., (35), 1987, 373-382.
• [3] Buszkowski, W., Penn, G.: Categorial Grammars Determined from Linguistic Data by Unification, Studia Logica, XLIX(4), 1990, 431-454.
• [4] Kanazawa, M.: Identification in the Limit of Categorial Grammars, Journal of Logic, Language and Information, 5(2), 1996,115-155.
• [5] Kanazawa, M.: Learnable Classes of Categorial Grammars, Studies in Logic, Language and Information, CSLI Publications & FoLLI, Stanford, California, 1998.
• [6] Marciniec, J.: Learning Categorial Grammars by Unification with Negative Constraints, Journal of Applied Non-Classical Logics, 4,1994, 181-200.
• [7] Marciniec, J.: Connected Sets of Types and Categorial Consequence, in: Logical Aspects of Computational Linguistics (C. Retore, Ed.), vol. 1328 of Lecture Notes in Artificial Intelligence, Springer, Berlin, 1997, 292-309.
• [8] Marciniec, J.: Infinite Set Unification with Application to Categorial Grammar, Studia Logica, LVIII(3), 1997, 339-355.
• [9] Sanjay, J., Osherson, D., Royer, J. S., Sharma, A.: Systems that Learn: An Introduction to Learning Theory, second edition, MIT Press, Cambridge, Massachusetts, 1999.