帰納論理プログラミングシステムProgolの並列実装の設計
スポンサーリンク
概要
- 論文の詳細を見る
帰納論理プログラミング (ILP;Inductive Logic Programming) は、一階述語論理上で帰納推論を行なうアプローチで、これまでの命題論理をべースとした帰納推論システムに較べ、表現力が拡張され、また背景知識を利用できるという特徴を持つ。しかし表現言語を一階述語論理に拡張したことで実行効率が落ち、大規模な問題に対して計算量の壁が問題となっており、実用化のための条件として、システムの高速化が望まれている。この問題の一つの解決策として、並列ILPシステムの構築が考えられる。本稿では、S.Muggletonらによって開発されたILPシステムProgolをターゲットとし、その並列性の検証、及び並列論理型言語KL1を実装言語とした並列設計に関して報告する。
- 一般社団法人情報処理学会の論文
- 1997-03-12
著者
-
古川 康一
慶應義塾大学
-
植野 研
慶應義塾大学大学院政策・メディア研究科
-
植野 研
慶応義塾大学SFC研究所
-
尾崎 知伸
慶應義塾大学 大学院 政策・メディア研究科
-
村上 知子
東芝 研究開発セ
-
村上 知子
慶應義塾大学 政策・メディア研究科
関連論文
- 帰納推論による時系列データからの関係構造の抽出スキル解析に向けたプラットフォーム
- スキルサイエンスは面白い
- 身体スキルの創造支援について
- ベイジアンネットワークによるチェロ演奏スキルモデリング
- ベイジアンネットワークによるチェロ演奏スキルモデリング(「アクティブマイニング」及び一般)
- CAM法を用いた個人嗜好モデルに基づく商品推薦システム
- (1)姿勢とチェロ演奏(SIGMUS第27回研究発表会報告・質疑記録)
- 姿勢とチェロ演奏
- 身体知研究の潮流 : 身体知の解明に向けて
- PSアルゴリズムによる眼球追跡運動の検出
- 制約充足問題からみた身体的技能の熟達 (小特集 身体性)
- デジタルドキュメント流通のためのメタデータ設計に関する比較報告(知識共有・管理,テーマ : 文書のセマンティックスとメタデータの活用およびその他)
- 知識共有を目指した学内エンタプライズコンテンツマネジメントシステムの導入実験--コンテキスト・マイニングの研究提案 (テーマ:「データマイニングと統計数理」および一般)
- 帰納論理プログラミングによるWebアクセス記録とコンテンツの関係の解析
- アブダクションの逆伴意による実現と部分演繹法との等価性について
- MGTPを用いたProgol A-like探索の実現
- Progol最弱仮説の存在のための十分条件について
- 帰納論理プログラミングシステムProgolの利用環境改善
- 帰納論理プログラミングシステムProgolの並列実装の設計
- 変数の入出力関係に着目したProgol A-like探索の改良
- 帰納論理プログラミングシステムProgolの利用環境改善
- Progol最弱仮説の存在のための十分条件について
- スキルサイエンスにおける発想推論の役割(論理と推論技術の展開)
- "Molto sentito" : 情感溢れるコンピュータ音楽を目指して
- B8 身体スキルの創造支援について(スキルサイエンス2)
- 演技スキル表現系について
- 名誉会員 渕一博 博士を偲ぶ
- 演技スキル表現系について
- 身体知としての弦楽器演奏のスキル(音楽と人間)
- 鞭力学による協調動作のモデル化 (第27回 バイオメカニズム学術講演会 SOBIM 2006 予稿集) -- (体育・スポーツ)
- Senticsに基づく進化的音楽の試み (テーマ:特集「スキルサイエンス」および一般)
- ピークタイミングシナジーによる動作スキル理解 : シーケンシャルパターンマイニングによるアプローチ
- AIとスキルサイエンス(スキルサイエンス)
- ドキュメントのデジタル化の現場から : 背景と課題(セッション3 : 電子化文書の活用と実践)
- ドキュメントのデジタル化の現場から : 背景と課題(セッション3 : 電子化文書の活用と実践)
- ドキュメントのデジタル化の現場から : 背景と課題
- 言語理解・意味理解の先駆者田中穂積先生の想い出(4)
- 帰納論理プログラミングによる階層的名詞概念の学習
- 帰納論理プログラミングによる幼児の名詞語彙獲得のモデル化
- 機械学習システムによる幼児の言語獲得のモデル化
- ベイジアンネットワークによるチェロ演奏スキルモデリング (知識ベースシステム研究会(第60回) 人工知能基礎論研究会(第52回) 小特集:「データマイニング」および一般)
- 帰納論理プログラミングによる音楽演奏時の呼吸ルールの獲得 (テーマ:一般演題及び「webとtext」)
- 機械学習手法を用いた音楽演奏時の呼吸の分析
- C4.5を用いたチェロの演奏技術の分析
- 時系列データマイニングに基づく身体知の構築に関する研究 : PRESTO法によるチェロ運弓スキルのピークタイミングシナジーの発見(学習と発見, 「人工知能分野における博士論文」)
- 動的に変化するコールセンター情報からの重要情報の特徴発見
- 動的に変化するコールセンター情報からの重要情報の特徴発見(「アクティブマイニング」及び一般)
- KMシステムへの Web マイニング技術の応用 : 利用者の操作意図を反映した Web Usage マイニング実験
- スキルサイエンスにおける技能伝承
- スキルサイエンス
- 局所モデリングと時区間論理を用いた時系列データマイニング (テーマ:特集「ベイジアンネット,ヒューマンモデリング」および一般)
- 第6回 奥出直人氏インタビュー「物語と人工知能の接点」(Inter-view)
- 第3回 松原 仁氏インタビュー 「人間理解のための人工知能」
- 第1回脳科学者茂木健一郎氏を訪ねて
- データマイニング手法を用いたヴァイオリン演奏者の特徴抽出(テーマ : 電子商取引,コンテンツ流通,e-ビジネスおよび一般)
- スキルサイエンス
- 帰納論理プログラミングによる幼児の言語獲得のモデル化(機械学習,それが人に及ばざる理由)
- 「知財の編集・流通・管理のためのメディアアーキテクチャを目指して」へのコメントと回答(AIマップ)
- 複数事例に対する最弱仮説の同時利用による帰納論理プログラミングの効率化
- 最弱仮説の入出力モード解析に基づく論理プログラムの効率的帰納
- 最弱仮説の入出力モード解析に基づく論理プログラムの効率的帰納
- C4.5とGOLEMの表現能力の比較について
- 論文特集「ALT '92」について
- AI研究と国際化
- 論理と応用(3)
- 論理と応用(2)
- ベイジアンネットワークによるチェロ演奏スキルモデリング (知識ベースシステム研究会(第60回) 人工知能基礎論研究会(第52回) 小特集:「データマイニング」および一般)
- 新しい身体論を求めて
- 多値分類問題に対するProgol探索アルゴリズムの改良
- 帰納論理プログラミングと関係データベースのSQLによる統合化の試み
- 帰納論理プログラミングの逆伴意の完全化とその自己再帰への適用について
- Progolの関係データベースとの連結と探索アルゴリズムの改良
- 入出力モードを利用したProgol A-like探索における冗長性の除去
- 拡張逆伴意法に基づく発想的帰納推論システムの実現
- 汎最少汎化とその高階概念学習への応用
- 最弱仮説に基づく帰納論理プログラミングの効率的探索アルゴリズム : 推論・論理プログラミング(「人工知能分野における博士論文」)
- 離散力学系と符号化