| 作成者 |
|
|
|
| 本文言語 |
|
| 出版者 |
|
|
|
| 発行日 |
|
| 収録物名 |
|
| 巻 |
|
| 出版タイプ |
|
| アクセス権 |
|
| 関連DOI |
|
|
|
| 関連URI |
|
|
|
| 関連情報 |
|
|
|
| 概要 |
This paper intends to give a theoretical foundation of machine discovery from examples. We point out that the essence of a computational logic of scientific discovery or a logic of machine discovery i...s the refutability of the entire spaces of hypotheses. We discuss this issue in the framework of inductive inference of length-bounded elementary formal systems (EFS's, for short), which are a kind of logic programs over strings of characters and correspond to contextsensitive grammars in Chomsky hierarchy. We first present some characterization theorems on inductive inference machines that can refute hypothesis spaces. Then we show differences between our inductive inference and some other related inferences such as in the criteria of reliable identification, finite identification and identification in the limit. Finally we show that for any n, the class, i.e. hypothesis space, of length-bounded EFS's with at most n axioms is inferable in our sense, that is, the class is refutable by a consistently working inductive inference machine. This means that sufficiently large hypothesis spaces are identifiable and refutable.続きを見る
|
Mendeley出力
rifis-tr-67