Art

J-GLOBAL ID：200902144577612866   Reference number：99A0019321

Solving Logical Problems by Equivalent Transformation. (1). A Theoretical Foundation.

論理的問題の等価変換による解法 (1) その理論的基礎

Author (3)： AKAMA KIYOSHI (北大 工) ,  SHIGETA YOSHINORI (東芝 システムLSI技研) ,  MIYAMOTO EIICHI (北大 工)
Material： 人工知能学会誌  (Journal of the Japanese Society for Artificial Intelligence)
Volume： 13  Issue： 6  Page： 928-935  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=99A0019321&from=J-GLOBAL&jstjournalNo=X0330A") }}

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

Reference (6)：

• 赤間清. プログラム変換による自然言語の意味解釈. コンピュータソフトウェア. 1995, 12, 5, 45-62
• 赤間清. 理論プログラムの等価変換による問題解決の枠組. 人工知能学会誌. 1997, 12, 2, 90-99
• 赤間清. 理論的問題の等価変換による解法. 人工知能学会誌. 1998, 13, 6, 936-943
• 畑山満美子. 等価変換ルールの追加による知識処理システムの改善. 人工知能学会誌. 1997, 12, 6, 861-869
• LLOYD, J. W. Foundations of Logic Programming. 1987

Terms in the title (5)： 問題 ,  等価変換 ,  解法 ,  理論 ,  基礎