帰納的実数値関数の帰納推論における論駁性と信頼性(アルゴリズム一般)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,まず,帰納的実数値関数の帰納推論の新しいモデルとして,論駁推論および信頼推論を導入し,論駁推論の成功基準R_EALR_EFE_Xと信頼推論の成功基準R_EALR_ELE_Xについて考察する.そして,この二つの基準と帰納的実数値関数の既存の推論基準である極限同定の成功基準R_EAL_E_X,有限推論の成功基準R_EALF_IN,および枚挙推論の成功基準R_EALN_UM!を比較し,相互関係を明らかにする.
- 社団法人情報処理学会の論文
- 2003-09-18
著者
-
平田 耕一
九州工業大学情報工学研究院
-
宮原 哲浩
広島市立大学
-
有川 節夫
九州大学大学院システム情報科学研究院
-
廣渡 栄寿
北九州市立大学
-
有川 節夫
九州大学
-
有川 節夫
九州大学大学史料室
-
平田 耕一
九州工業大学
-
平田 耕一
九州工業大学大学院情報工学研究院
関連論文
- 人工知能基本問題研究会(SIG-FPAI)(研究会総覧)
- 適応共鳴理論を応用した分類規則の学習(学生セッション,大学のAI・企業のAI)
- マルチエージェントシステムにおける利他的な行動規則の獲得(モデル/理論, ソフトウェアエージェントとその応用論文)
- 顔画像の類似度判断における決定木を用いた重要属性の考察
- 遺伝的アルゴリズムの時間割作成問題への適用に関する一考察(人工知能,認知科学)
- 遺伝的ネットワークプログラミングを応用した状態遷移グラフの獲得(「21世紀の知識情報科学に向けて」,及び一般)
- 半構造データからの縮約可能変数つきタグ木パターンの抽出
- 半構造データからの縮約可能変数つきタグ木パターンの抽出(「アクティブマイニング」及び一般)
- 1-215 遺伝的ネットワークプログラミングを利用したマルチエージェントのグループ化
- G-18 決定木による顔画像の類似度判断における重要属性の考察(人工知能(学習),G.人工知能)
- 木構造データからのパターン発見における遺伝的プログラミングの適用
- 顔の類似度における情報処理の適用への一考察
- 半構造データにおける極大頻出タグ木パターンの発見について
- 木構造データのパターンを用いる知識発見について
- 木構造データからの知識発見について
- 時間割作成問題への遺伝アルゴリズムの適用
- 発見科学の構想と展開(発見科学)
- 繰り返し内部構造変数を持つ木パターンの有限和の質問学習
- 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)
- Learning of Elementary Formal Systems with Two Clauses using Queries and Their Languages(New Trends in Theory of Computation and Algorithm)
- 帰納的実数値関数の帰納推論における論駁性と信頼性(アルゴリズム一般)
- 帰納的実数値関数の帰納推論における論駁性と信頼性
- A Hierarchy of Tree Edit Distance Measures (Theoretical Computer Science and its Applications)
- 木の編集距離尺度の理論的解析(数理モデル一般)
- 木の編集距離尺度の理論的解析
- Alignable Mapping による Shock Tree の合成(学習理論とパターン認識メディア理解, 機械学習による自然言語処理・言語処理を利用したメディア理解, 一般)
- 木の編集距離を用いたWebページからの情報抽出(Web,XML,文書検索)(データ工学,ディペンダビリティ,一般)
- 木構造アラインメントのマッピング条件
- ラベル無し順序木のqグラム距離
- 大学を考える (大学の本領--関西からの提言(抄録))
- 内部変数付き木パターン言語の有限和の質問学習
- 順序付き二分法定グラフの学習可能性
- グラフ生成システムFGSによる帰納学習システムについて
- 帰納学習のためのグラフ生成システムFGSのインタプリタについて
- グラフ生成システムFGSの帰納学習 : FGSインタプリタについて
- 類推機能をもった対話型シークェント計算証明システムの開発(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(一般及び自動推論)
- 情報系学長,おおいに語る
- XMLに基づく対話型文書の構造記述とグラフ文法を用いた罫線文書の構造解析
- 半構造データにおける極大頻出タグ木パターンの発見について
- 半構造データにおける極大頻出タグ木パターンの発見について
- Discovery of Maximally Frequent Tag Tree Patterns in Semistructured Data (New Developments of Theory of Computation and Algorithms)
- Polynomial Time Matching Algorithms for Tree Structured Patterns (Foundations of Computer Science)
- 位置情報をもつグラフデータに対する知識表現言語 : Layout Formal Graph System (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
- グラフデータからの知識発見システムKD-FGSについて
- Refutable Inference of Formal Graph Systems and NLC Graph Grammars (Models of Computation and Algorithms)
- フォーマルグラフシステムと頂点ラベル制御グラフ文法
- パネル討論 「人工知能システム実現への課題」
- 拠点大学交流:拠点大学方式による日韓国際交流--次世代インターネット技術のための研究開発と実証実験
- 滑走窓や忘却の概念を用いたオンライン型半構造データマイニングアルゴリズム
- 滑走窓や忘却の概念を用いたオンライン型半構造データマイニングアルゴリズム
- 半構造データマイニングのための部分構造パターンの効率的探索
- 平衡直線的プログラムに対するパターン照合アルゴリズム
- 2G-2 圧縮テキストに対する文字列照合のための統一的枠組み
- 2G-1 データ圧縮による文字列照合の高速化
- Alignable Mapping による Shock Tree の合成(学習理論とパターン認識メディア理解, 機械学習による自然言語処理・言語処理を利用したメディア理解, 一般)
- 適応共鳴理論を応用した分類規則の学習(学生セッション,大学のAI・企業のAI)
- パネル討論「機械学習の理論と実際」 : 1991年6月28日第5回人工知能学会全国大会(於:学習院大学大講堂)にて (「機械学習の理論と実際」)
- HTMLからのテキストの自動切り出しアルゴリズムと実装
- 1Q-4 図書目録イメージデータの検索システム
- 木の編集距離を用いたWebページからの情報抽出(Web,XML,文書検索)(データ工学,ディペンダビリティ,一般)
- 人間指向型汎用類推証明システムの開発 (計算機科学基礎理論の新展開)
- 類推機能をもった対話型シークェント計算証明システムの開発 (計算機科学基礎理論の新展開)
- Pre-Checkingに基づく効率的スキーママッチングアルゴリズム(LAシンポジウム(情報基礎理論ワークショップ)論文小特集)
- Pre-checkingを用いた効率的2階述語マッチングアルゴリズム (計算理論とアルゴリズムの新展開)
- スキーママッチングを用いたLK類推証明システムの開発
- スキーママッチングとその計算量
- スキーママッチングにおける計算の複雑さ (計算モデルとアルゴリズム)
- スキーママッチングの計算の複雑さ
- 古典的証明に基づく関数型言語の構築
- 大学改革と文書館 (大学・編纂・文書館 : 広島大学文書館(ぶんしょかん)設立準備企画公開プレ・シンポジウムの記録)
- 新しい情報の時代に向って-2-私たちは何を考え,何をなすべきか
- 分散記憶型並列計算機における大規模接尾辞配列の構築法
- テキストマイニングを用いたウェブデータからのキーワード獲得
- 分散記憶型並列計算機における大規模接尾辞配列の構築法
- HTMLからのテキストの自動切り出しアルゴリズムと実装
- イメージによる図書目録カード検索システム : 遡及入力問題の一解決法
- イメージによる図書目録カード検索システム : 遡及入力問題の一解決法
- 複数文字列照合技法を用いたEFS処理系の実現
- テキストデータからの高速データマイニング : 探索的文書ブラウジングとウェブデータへの応用(発見科学)
- TOP INTERVIEW 有川節夫 九州大学総長 創立100周年を節目に、よりアジアを重視したグローバル展開を図っていく
- A Catalog for Prediction-Preserving Reducibility with Membership Queries on Formal Languages (New Developments of Theory of Computation and Algorithms)
- ALT'96報告
- 発見科学とデータマイニング
- 実関数の帰納推論(II) : 近似推論 (アルゴリズムと計算の理論)
- 実関数の帰納推論(I) : 厳密推論 (アルゴリズムと計算の理論)
- 自動車を統合新領域として専攻する大学院
- ユーザのオンラインWeb探索をサポートするエージェントモデルについて
- 無矛盾最小OBDD問題の近似困難性について
- ALT '94報告
- 混雑を回避するモバイルエージェント
- イメージデータ化された図書目録カードの検索システム
- 石灰石球の熱分解における熱移動と CO_2 ガスの流れ
- 32 石灰石球の熱分解における熱及び物質の移動(製銑基礎・コークス, 製銑, 日本鉄鋼協会第 84 回(秋季)講演大会)
- 一階論理式の学習と帰納論理プログラミング (計算学習理論の進展と応用可能性)
- 類推理論に基づくルールの汎化による学習
- 大学図書館の新しい役割を考える (新しい時代の大学図書館の役割と展望)
- 述語論理と推論 (知識情報処理) -- (知識情報処理の基本技術)
- 論理と推論--帰納推論や類推の応用化 (人工知能)
- 変わりゆく大学図書館員の役割(図書館員のヒント)