| 作成者 |
|
|
|
| 本文言語 |
|
| 出版者 |
|
|
|
| 発行日 |
|
| 収録物名 |
|
| 巻 |
|
| 出版タイプ |
|
| アクセス権 |
|
| 関連DOI |
|
|
|
| 関連URI |
|
|
|
| 関連情報 |
|
|
|
| 概要 |
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.続きを見る
|
Mendeley出力
rifis-tr-79