2024-03-29T10:21:46Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000121342022-10-21T05:24:51Z00581:00690:00692
論理プログラムの新しい完備化と 論理式の置換に基づく計算手続きについてA Procedure Based on a New Completion of Logic Programs and Replacement of Formulaejpn論文http://id.nii.ac.jp/1001/00012134/Journal Articlehttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=12134&item_no=1&attribute_id=1&file_no=1Copyright (c) 2000 by the Information Processing Society of Japan知識処理電子技術総合研究所東京工業大学電子技術総合研究所秋葉, 澄孝佐藤, 泰介元吉, 文男本論文では,Clarkの完備化を包含する新しい完備化の概念を提案し,新しい完備化に基づいた完備化プログラムの3値論理による論理的帰結の健全性と完全性を備えた計算手続きを提示する.この手続きは確定節プログラムを拡張した新しい論理プログラム(pname)に対して適用でき,pnameのゴールの解の計算結果を選言標準形で表現する.また,新しい完備化による完備化プログラムでは頭部と本体に同じアトムが現れるので,そのままプログラムを実行すると無限ループを引き起こすが,この無限ループを避けるための方法も提案する.In this paper, we present a new concept of completion whichincludes Clark's completion, and a procedure whichcalculates logical consequences of the completed programssoundly and completely in three-valued logic. The procedurecan be applied to new logic programs called pname's which are extensions of definite programs, andcan calculate solutions of goals of pname's in disjunctivenormal forms. Since the completed program contains thesame atoms in the head and the body, an infinite loopoccurs when it is executed. We also present a method foravoiding it.AN00116647情報処理学会論文誌4111302330362000-11-151882-77642009-06-29