講演名 | 1998/7/23 SLD導出の難点とその克服 赤間 清, 川口 雄一, 宮本 衛市, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | SLDレゾリューションの理論はPrologの理論的基礎を与えている.しかしSLDレゾリューションは論理的な問題を解くための最適な方法とはいえない.たとえば, SLDレゾリューションは計算の制御に不必要な制限を課している.その制限のために, 計算の制御はコストが高くなり, コストを下げようとすると, Prologに見られるように, 計算の柔軟性が損なわれる.本論文では等価変換パラダイムと呼ばれる新しい計算パラダイムを採用して, SLDレゾリューションの制限による困難を克服する. |
抄録(英) | The theory of SLD resolution provides Prolog with a theoretical foundation. SLD resolution is, however, not the best way to solve logical problems. For instance, SLD resolution imposes some unnecessary restrictions on the control of computation. These restrictions make computation control more expensive and, conversely, adoption of low-cost control would make computation less flexible, as can be seen in the Prolog case. This paper adopts a new computation paradigm, called Equivalent Transformation paradigm, and overcomes the difficulties due to restrictions of SLD resolution. |
キーワード(和) | 論理プログラミング / 等価変換 / アンフォールド変換 / SLDレゾリューション |
キーワード(英) | logic programming / equivalent transformation / unfolding / SLD resolution |
資料番号 | OFS98-6,AI98-15 |
発行日 |
研究会情報 | |
研究会 | AI |
---|---|
開催期間 | 1998/7/23(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
---|---|
本文の言語 | JPN |
タイトル(和) | SLD導出の難点とその克服 |
サブタイトル(和) | |
タイトル(英) | Overcoming the Difficulties of SLD Resolution |
サブタイトル(和) | |
キーワード(1)(和/英) | 論理プログラミング / logic programming |
キーワード(2)(和/英) | 等価変換 / equivalent transformation |
キーワード(3)(和/英) | アンフォールド変換 / unfolding |
キーワード(4)(和/英) | SLDレゾリューション / SLD resolution |
第 1 著者 氏名(和/英) | 赤間 清 / Kiyoshi Akama |
第 1 著者 所属(和/英) | 北海道大学大学院システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
第 2 著者 氏名(和/英) | 川口 雄一 / Yuuichi Kawaguchi |
第 2 著者 所属(和/英) | 北海道大学大学院システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
第 3 著者 氏名(和/英) | 宮本 衛市 / Eiichi Miyamoto |
第 3 著者 所属(和/英) | 北海道大学大学院システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
発表年月日 | 1998/7/23 |
資料番号 | OFS98-6,AI98-15 |
巻番号(vol) | vol.98 |
号番号(no) | 201 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |