文献

J-GLOBAL ID：200902144577612866   整理番号：99A0019321

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

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

著者 (3件)： 赤間清 (北大 工) ,  繁田良則 (東芝 システムLSI技研) ,  宮本衛市 (北大 工)
資料名： 人工知能学会誌  (Journal of the Japanese Society for Artificial Intelligence)
巻： 13  号： 6  ページ： 928-935  発行年： 1998年11月 
JST資料番号： X0330A  ISSN： 0912-8085  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 論理的問題の新しいクラスを提案した。提案した問題クラスとは,...

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

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

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

引用文献 (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

タイトルに関連する用語 (5件)： 問題 ,  等価変換 ,  解法 ,  理論 ,  基礎