強い否定を含む構成的論理によるPROLOGの定式化とLISPに基づくそのメタ論理

スポンサーリンク

概要

• 論文の詳細を見る

• 本研究は論理プログラミングを代表する論理型言語Prologが強い否定を(Strong Negation)を含む構成的論理の枠内で定式化されることを証明し,さらに,この構成的論理のメタ論理が関数型言語Lispを利用して与えられることを示し、PrologとLispの間の関連性の論理的意義づけを行うことを目的とする.強い否定を含む構成的論理はNelsonに始まり,その後,Markov,Vorob'cv,Zaslavskiといったソ連の研究者を中心に受け継がれ現在に至っている.〜で表される強い否定は,一般に排中律を満足しないだけでなく,矛盾律も満足しない.しかし,直観主義的否定(intuitionistic negation)と異なり,ド・モルガンの法則は満足する.また,直観主義的否定がこの強い否定と含意を用いてA⊃〜A,として定義されることも知られている.

• 一般社団法人情報処理学会の論文
• 1989-10-16

著者

• 清水 智

  いわき短期大学

関連論文

• 系列化課題の解決過程 : 人間とLISPによる処理プロセスの比較
• 自然言語の構文解析とLISPによるその処理
• Basic Logicを含むFitchの論理について
• 導出原理の構成的論理による解釈
• 強い否定を含む構成的論理によるPROLOGの定式化とLISPに基づくそのメタ論理
• 下降型縦型探索法を中心にした構文解析の論理構造に関する一考察
• レスニェウスキー存在論の一階述語論理的部分系と論理文法との関連について
• 強い否定を含む構成的命題論理と直観主義論理の関連について
• 強い否定を含む構成的命題論理について

スポンサーリンク