| Creator |
|
|
|
|
|
| Language |
|
| Publisher |
|
|
|
| Date |
|
| Source Title |
|
| Vol |
|
| Publication Type |
|
| Access Rights |
|
| Related DOI |
|
|
|
| Related URI |
|
|
|
| Relation |
|
|
|
| Abstract |
This paper presents a unifying framework for language leanling, especially for inductive inference of various classes of languages. The elementary formal systems (EFS for short), Smullyan invented to ...develop his recursive function theory, are proved suitable to generate languages. In this paper we first point out that EFS can also work as a logic programming languages, and the resolution procedure for EFS can be used to accept languages. We give a theoretical foundation to EFS from the viewpoint of semantics of logic progralms. Hence, Shapiro's theory of model inference can naturally be applied to our language learning by EFS. We introduce some subclasses of EFS's which correspond to Chomsky hierarchy and other important classes of languages. We discuss the computations of unifiers between two terms. Then we give, in a uniform way, inductive inference algorithms including refinement oparators for these subclasses and show their completeness.show more
|
Export Mendeley
rifis-tr-14