A new design and implementation of progol by bottom-up computation

Hiroshi Fujita, Naoki Yagi, Tomonobu Ozaki, Koichi Furukawa

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

6 被引用数 (Scopus)

抄録

This paper describes a parallel version of Progol based on MGTP which is a theorem prover employing bottom-up inference suitable for parallel implementation. Hypothesis formation in Progol, which is performed by top-down computation with Prolog in the sequential implementation, will be performed more efficiently by bottom-up computation with MGTP in the new implementation. For the Progol's generalto- specific search for hypotheses through the subsumptiou lattice, we developed a new way of calculating a heuristic function for the A*-like algorithm, which was also implemented with MGTP. Since MGTP already has very efficient parallel implementations on parallel inference machines, an efficient implementation of parallel-Progol will readily be realized as well.

本文言語英語
ホスト出版物のタイトルInductive Logic Programming - 6th International Workshop, ILP-1996, Selected Papers
編集者Stephen Muggleton
出版社Springer Verlag
ページ163-174
ページ数12
ISBN(印刷版)3540634940, 9783540634942
DOI
出版ステータス出版済み - 1997
イベント6th International Workshop on Inductive Logic Programming, ILP-1996 - Stockholm, スウェーデン
継続期間: 8 26 19968 28 1996

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1314
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

その他

その他6th International Workshop on Inductive Logic Programming, ILP-1996
国/地域スウェーデン
CityStockholm
Period8/26/968/28/96

All Science Journal Classification (ASJC) codes

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「A new design and implementation of progol by bottom-up computation」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル