Infinite Set Unification with Application to Categorial Grammar |
| |
| Authors: | Marciniec Jacek |
| |
| Affiliation: | (1) Institute of Linguistics, Adam Mickiewicz University, ul. Miedzychodzka 5, 60-371 Pozna!["nacute"]("/content/p255464h5423jg35/xlarge324.gif") , Poland |
| |
| Abstract: | ![]()
In this paper the notion of unifier is extended to the infinite set case. The proof of existence of the most general unifier of any infinite, unifiable set of types (terms) is presented. Learning procedure, based on infinite set unification, is described. |
| |
| Keywords: | categorial grammar unification discovery procedure |
| 本文献已被 SpringerLink 等数据库收录！ |
|
