<テクニカルレポート>
Language Learning by Inverse Resolution on Elementary Formal Systems

作成者
本文言語
出版者
発行日
雑誌名
出版タイプ
アクセス権
概要 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.続きを見る

本文情報を非表示

rifis-tr-79 pdf 1.39 MB 73  

詳細

レコードID
査読有無
関連情報
タイプ
登録日 2009.04.22
更新日 2017.01.20