<テクニカルレポート>
Refutable Inference of Functions Computed by Loop Programs

作成者
本文言語
出版者
発行日
雑誌名
出版タイプ
アクセス権
概要 Refutable inference is a process of inductive inference with refutability of hypothesis spaces and is essential in Machine Discovery(Mukouchi and Arikawa). Though some refutable inferabilities under l...anguage model are known, most scientific laws are represented by functions. Thus we investigated refutable inferability of function classes. In order to develop a realistic theory of function learning, we investigated the refutable inferability of primitive recursive functions computed by a concrete programming system, loop programs (Meyer and R.itchie). Let FLoop(n) be the set of all primitive recursive functions computed by a loop program with at most n nesting of loops. We show $ FLoop(n)(n gep 1) $ and a natural subclass of FLoop(1) are not refutably inferable. Thus the existent natural hierarchies of loop programs are shown to be not suitable for machine discovery. Then we construct two types of rich series of refutably inferable classes such that each union of the series is FLoop(l) and show the inside structures of these series.続きを見る

本文情報を非表示

rifis-tr-112 pdf 816 KB 69  

詳細

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