Refutability and Reliability for Inductive Inference of Recursive Real-Valued Functions
スポンサーリンク
概要
- 論文の詳細を見る
Inductive inference gives us a theoretical model of concent learning from examples. In this paper, we study refutably and reliably inductive inference of recursive real-valued functions. First we introduce the new criteria REALREFEX for refutable inference and REALRELEX for reliable inference. Then, we compare these two criteria with REALEx for identification in the limit, REALFlN for learning finitely and REALNUM! for learning by enumeration that have been already introduced in the previous works, and investigate their interaction. In particular, we show that REALREFEX and REALRELEX are closed under union, as similar as the criteria REFEX and RELEX for inductive inference of recursive functions.
- 社団法人情報処理学会の論文
- 2005-01-15
著者
-
MIYAHARA TETSUHIRO
Faculty of Information Sciences, Hiroshima City University
-
HIROWATARI Eiju
Department of Business Administration, The University of Kitakyushu
-
HIRATA KOUICHI
Department f Artificial Intelligence, Kyushu Institute of Technology
-
ARIKAWA SETSUO
Department of Informatics, Kyushu University
-
Arikawa S
Kyushu Univ.
-
Arikawa Setsuo
Department Of Informatics Kyushu University
-
Arikawa Setsuo
Dept.of Informatics Grad.school Of Information Sci.and Electrical Eng. Kyushu Univ.
-
Miyahara Tetsuhiro
The Graduate School Of Information Sciences Hiroshima City University
-
平田 耕一
九州工業大学大学院情報工学研究院
関連論文
- Speeding Up String Pattern Matching by Text Compression: The Dawn of a New Era (特集 〔情報処理学会〕創立40周年記念論文)
- 適応共鳴理論を応用した分類規則の学習(学生セッション,大学のAI・企業のAI)
- マルチエージェントシステムにおける利他的な行動規則の獲得(モデル/理論, ソフトウェアエージェントとその応用論文)
- Discovery of Closed Frequent Tag Tree Patterns from Semistructured Documents (テーマ:特集 「感性とインタラクション」および一般)
- 顔画像の類似度判断における決定木を用いた重要属性の考察
- 遺伝的アルゴリズムの時間割作成問題への適用に関する一考察(人工知能,認知科学)
- 遺伝的ネットワークプログラミングを応用した状態遷移グラフの獲得(「21世紀の知識情報科学に向けて」,及び一般)
- 半構造データからの縮約可能変数つきタグ木パターンの抽出
- 半構造データからの縮約可能変数つきタグ木パターンの抽出(「アクティブマイニング」及び一般)
- 1-215 遺伝的ネットワークプログラミングを利用したマルチエージェントのグループ化
- G-18 決定木による顔画像の類似度判断における重要属性の考察(人工知能(学習),G.人工知能)
- 木構造データからのパターン発見における遺伝的プログラミングの適用
- 顔の類似度における情報処理の適用への一考察
- Relationship Between Daily Meal Frequency and Subjective Sleep Quality or Daytime Sleepiness in Japanese Medical Students
- 極小出現を用いた頻出多部エピソードの効率のよい発見アルゴリズム (特集 「知見の創出を目指した情報技術」および一般)
- A Theoretical Analysis of Tree Edit Distance Measures
- Measuring Distance and Finding Approximate Common Patterns in Trees--Focus on Edit Distance (特集「人工知能における論理の新たな展開」)
- 繰り返し内部構造変数を持つ木パターンの有限和の質問学習
- 高さ制約変数を持つ順序木パターン言語の正データからの多項式時間帰納推論可能性について
- Discovery of Maximally Frequent Tag Tree Patterns with Contractible Variables from Semistructured Documents (人工知能基礎論研究会(第54回)特集「医療及び化学情報マイニング」および一般)
- Polynomial Time Learnabilities of Tree Patterns with Internal Structured Variables from Queries (New Aspects of Theoretical Computer Science)
- Polynomial Time Inductive Inference of Ordered Term Trees with Contractible Variables from Positive Data (New Aspects of Theoretical Computer Science)
- Extraction of Tag Tree Patterns with Contractible Variables from Semistructured Data (知識ベースシステム研究会(第60回) 人工知能基礎論研究会(第52回) 小特集:「データマイニング」および一般)
- Polynomial Time Inductive Inference of Ordered Tree Patterns with Internal Structured Variables from Positive Data (テーマ:一般演題及び「webとtext」)
- Discovery of Maximally Frequent Ordered Tag Tree Patterns in Semistructured Data (テーマ:一般演題及び「webとtext」)
- 帰納的実数値関数の帰納的枚挙可能集合の学習可能性 (特集 「ウェブマイニング」および一般)
- 帰納的実数値関数の有限予測と無矛盾推論 (テーマ:特集「シンボルグラウンディング問題」および一般)
- 帰納的実数値関数の帰納推論における論駁性と信頼性(アルゴリズム一般)
- 帰納的実数値関数の帰納推論における論駁性と信頼性
- Evolution of multiple tree structured patterns using soft clustering (特集 「知識発見の生命科学への応用」および一般)
- Evolution of multiple tree structured patterns using clustering (特集 「大規模データからの機械学習と自然言語処理への応用」および一般)
- A Hierarchy of Tree Edit Distance Measures (Theoretical Computer Science and its Applications)
- 木の編集距離尺度の理論的解析(数理モデル一般)
- 木の編集距離尺度の理論的解析
- Alignable Mapping による Shock Tree の合成(学習理論とパターン認識メディア理解, 機械学習による自然言語処理・言語処理を利用したメディア理解, 一般)
- Refutability and Reliability for Inductive Inference of Recursive Real-Valued Functions
- 半構造データアラインメントによるWebページからのメタデータとコンテンツの抽出 (特集:「アクティブマイニング」および一般) -- (セッション3 Webマイニング)
- 木の編集距離を用いたWebページからの情報抽出(Web,XML,文書検索)(データ工学,ディペンダビリティ,一般)
- 木構造アラインメントのマッピング条件
- 根付き無順序木のフィルタリング (テーマ:特集「ウェブデータの知的処理」および一般)
- ラベル無し順序木のqグラム距離
- 内部変数付き木パターン言語の有限和の質問学習
- 類推機能をもった対話型シークェント計算証明システムの開発(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(一般及び自動推論)
- XMLに基づく対話型文書の構造記述とグラフ文法を用いた罫線文書の構造解析
- Alignable Mapping による Shock Tree の合成(学習理論とパターン認識メディア理解, 機械学習による自然言語処理・言語処理を利用したメディア理解, 一般)
- 適応共鳴理論を応用した分類規則の学習(学生セッション,大学のAI・企業のAI)
- A Spectrum Tree Kernel
- 根付き順序木のグラム分散 (テーマ:特集「シンボルグラウンディング問題」および一般)
- 木の編集距離を用いたWebページからの情報抽出(Web,XML,文書検索)(データ工学,ディペンダビリティ,一般)
- The Least Generalization for Bounded Width Clauses (テーマ:特集「ウェブデータの知的処理」および一般)
- イベント列からの扇状エピソード抽出 (テーマ:特集「ウェブデータの知的処理」および一般)
- On Subsumption Algorithm for Chordal Clauses (テーマ:特集「シンボルグラウンディング問題」および一般)
- 間違いの認識による演奏習得支援システムの構築(音楽・演奏の認識合成)
- 人間指向型汎用類推証明システムの開発 (計算機科学基礎理論の新展開)
- 閉単調DNF式被覆の抽出 (特集 オントロジー)
- 類推機能をもった対話型シークェント計算証明システムの開発 (計算機科学基礎理論の新展開)
- 細菌検査データからの頻出二部エピソードの抽出 (特集 「諸分野の連携による知識発見」および一般)
- Criteria for Inductive Inference with Mind Changes and Anomalies of Recursive Real-Valued Functions (Special Issue on Selected Papers from LA Symposium)
- The Motor Activity of Chronic Respiratory Failure before and after Home Oxygen Therapy : An Actigraphic Analysis
- Efficient Schema Matching Algorithm Based on Pre-Checking
- Alignment of Tree Structures for Generation of Web Wrappers (特集 オントロジー)
- An Efficient Prover for Elementary Formal Systems
- Knowledge Acquisition from Amino Sequences by Machine Learning System BONSAI
- Efficient Substructure Discovery from Large Semi-Structured Data(Data Mining)
- Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries
- 超辺の縮約を許した非巡回部分超グラフの効率よい列挙
- A Theoretical Analysis of Tree Edit Distance Measures
- A Theoretical Analysis of Tree Edit Distance Measures
- Refutability and Reliability for Inductive Inference of Recursive Real-Valued Functions
- Refutability and Reliability for Inductive Inference of Recursive Real-Valued Functions