文献

J-GLOBAL ID：200902192638424922   整理番号：99A0019322

論理的問題の等価変換による解法 (2) SLD導出の限界

Solving Logical Problems by Equivalent Transformation. (2). Limitations of SLD Resolution.

著者 (3件)： 赤間清 (北大 工) ,  川口雄一 (苫小牧工高専) ,  宮本衛市 (北大 工)
資料名： 人工知能学会誌  (Journal of the Japanese Society for Artificial Intelligence)
巻： 13  号： 6  ページ： 936-943  発行年： 1998年11月 
JST資料番号： X0330A  ISSN： 0912-8085  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 「SLD導出あるいはそのバリエーション」は,論理プログラミン...

シソーラス用語： *論理プログラミング ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=99A0019322&from=J-GLOBAL&jstjournalNo=X0330A") }}

分類 (2件)： 人工知能  (JE08000Z) ,  計算理論  (JB02000A)

引用文献 (7件)：

• 赤間清. 理論的プログラムの等価変換による問題解決の枠組. 人工知能学会誌. 1997, 12, 2, 90-99
• 赤間清. 理論的問題の等価変換による解法(1)-その理論的基礎-. 人工知能学会誌. 1998, 13, 6, 928-935
• 畑山満美子. 等価変換ルールの追加による知識処理システムの改善. 人工知能学会誌. 1997, 12, 6, 861-869
• van HENTENRYCK. Constraint Satisfaction in Logic Programming. 1989
• LLOYD, J. W. Foundations of Logic Programming. 1987

タイトルに関連する用語 (6件)： 問題 ,  等価変換 ,  解法 ,  SLD ,  導出 ,  限界