| Creator |
|
|
|
| Language |
|
| Publisher |
|
|
|
| Date |
|
| Source Title |
|
| Vol |
|
| Publication Type |
|
| Access Rights |
|
| Related DOI |
|
|
|
| Related URI |
|
|
|
| Relation |
|
|
|
| Abstract |
The inverse resolution is a procedure to produce new clauses by applying the resolution principle in the opposite direction. It has mainly been studied in terms of logic. The elementary formal systems...(EFS for short) invented by Smullyan proved suitable for a unifying framework for language learning. In this paper we consider the problem of how to construct an EFS system from some given examples in the desired language. We first discuss a realization of the inverse resolution in the framework of EFS for language learning from positive examples. We also consider an efficient learning procedure for an EFS language class which is a subclass of regular languages.show more
|
Export Mendeley
rifis-tr-79