文献

J-GLOBAL ID：200902241689005305   整理番号：04A0879612

ルールの本体での置換と選言標準形への変形による論理プログラムの計算手続き

A Procedure to Calculate Logic Programs by Replacement with the Bodies of Rules and Transformation to Disjunctive Normal Forms

著者 (2件)： 秋葉澄孝 (産業技術総合研) ,  佐藤泰介 (東京工大)
資料名： 人工知能学会論文誌  (AI)
巻： 19  ページ： 413-420  発行年： 2004年11月01日 
JST資料番号： L4429A  ISSN： 1346-0714  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 古典的な否定や失敗による否定を含む論理プログラムの計算手続き...

シソーラス用語： *論理プログラミング ,...
準シソーラス用語： 選言標準形 ,...

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

分類 (2件)： 計算理論  (JB02000A) ,  論理代数  (JB03000H)

引用文献 (12件)：

• [秋葉 00] 秋葉 澄孝, 元吉 文男, 佐藤 泰介:論理プログラムの新しい完備化と展開に基づく計算手続きについて, 情報処理学会論文誌, Vol. 41, No. 11, pp. 3023--3036 (2000)
• [秋葉 03] 秋葉 澄孝, 元吉 文男, 佐藤 泰介:論理式の置換と選言標準形への変形による論理プログラムの計算手続き, 人工知能学会論文誌, Vol. 18, No. 2E, pp. 96--103 (2003)
• [Chang 90] Chang, C. C. and Keisler, H. J.: Model Theory, Vol. 73 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 3rd edition (1990)
• [Clark 78] Clark, K. L.: Negation as Failure, in Gallaire, H. and Minker, J. eds., Logic and Data Bases, pp. 293--322, Plenum Press, New York (1978)
• [Gelfond 91] Gelfond, M. and Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing, Vol. 9, pp. 365--385 (1991)

タイトルに関連する用語 (5件)： ルール ,  置換 ,  論理プログラム ,  計算 ,  手続き