A Procedure for Calculating Logic Programs by Replacement of Formulae and Transformation to Disjunctive Normal Form.

DOI Web Site Web Site 2 Citations 24 References Open Access

Bibliographic Information

Other Title
  • 論理式の置換と選言標準形への変形による論理プログラムの計算手続き
  • ロンリシキ ノ チカン ト セン ゲン ヒョウジュンケイ エ ノ ヘンケイ ニ ヨル ロンリ プログラム ノ ケイサン テツヅキ

Search this article

Description

In this paper, we describe an improvement of a calculation procedure of logic programs. The procedure proposed before is the combination of a replacement procedure of logical formulae and a transformation procedure of equations to disjunctive normal form, and it can calculate logical consequences of the completion of any given first-order logic program (FLP), which is equivalent to the FLP in two-valued logic, soundly and completely in three-valued logic. The new procedure is also the combination of them, but the transformation procedure is improved to be able to calculate two-valued logical consequences of the FLP more than the old one. We prove that it can calculate logical consequences of a completed program, which is not equivalent to the completion of the FLP, soundly and completely in three-valued logic.

Journal

Citations (2)*help

See more

References(24)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top