Art

J-GLOBAL ID：200902192638424922   Reference number：99A0019322

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

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

Author (3)： AKAMA KIYOSHI (北大 工) ,  KAWAGUCHI YUICHI (苫小牧工高専) ,  MIYAMOTO EIICHI (北大 工)
Material： 人工知能学会誌  (Journal of the Japanese Society for Artificial Intelligence)
Volume： 13  Issue： 6  Page： 936-943  Publication year： Nov. 1998 
JST Material Number： X0330A  ISSN： 0912-8085  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *logic programming ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=99A0019322&from=J-GLOBAL&jstjournalNo=X0330A") }}

JST classification (2)： Artificial intelligence  (JE08000Z) ,  Theory of computation  (JB02000A)

Reference (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

Terms in the title (6)： 問題 ,  等価変換 ,  解法 ,  SLD ,  導出 ,  限界