文献

J-GLOBAL ID：200902177927294698   整理番号：99A0019323

宣言的プログラムの等価変換による問題解決

Solving Problems by Equivalent Transformation of Declarative Programs.

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

抄録/ポイント： 等価変換に基づく問題解決は「簡単な形に順次等価変換しながら問...

シソーラス用語： *問題解決 ,...

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

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

引用文献 (12件)：

• 赤間清. 文字列領域における等価変換ルールの生成. 電子情報通信学会技術研究報告. 1997, 17-24
• 赤間清. 宣言的プログラムの推論規則. 人工知能学会誌. 1997, 12, 4, 114-121
• 赤間清. データ構造の拡張とルールの追加による制約充足アルゴリズムの段階的改善. 日本ソフトウェア科学会第14回大会論文集. 1997, 529-532
• 赤間清. 特殊化システムの拡張による知識表現系の変更. 人工知能学会誌. 1998, 13, 1, 341-349
• 赤間清. 理論的問題の等価変換による解法(2)-SLD導出の限界-. 人工知能学会誌. 1998, 13, 6, 936-943

タイトルに関連する用語 (3件)： 宣言 ,  等価変換 ,  問題解決