非古典論理における単純代入特性、及びそれのコンピューターへの応用の研究

非经典逻辑简单赋值性质及其在计算机中的应用研究

• 批准号: 05740144
• 负责人: 佐々木 克巳
• 金额: $ 0.19万
• 依托单位: Nanzan University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-05740144/
• 关键词: 非古典論理; 中間命題論理; 様相論理; 単純代入特性; Theorem Prover

非古典論理として具体的には、中間命題論理と様相命題論理を扱った。中間命題論理においては、高さが有限のクリプケモデルで特徴化されるものに対して、単純代入特性をもつための必要十分条件を与えることができた。この必要十分条件はモデルを使って与えたのだが、よく知られた結果を用いれば、公理的にも必要十分条件を与えることができ、かなり考えやすい条件となっている。また、それ以外の中間命題論理の中でも、かなりたくさんの論理に対して、単純代入特性をもつこと、あるいはもたないことを証明することができた。当初の目的のひとつに、「単純代入特性をもつかどうかをはっきりさせること」があったが、中間命題論理において、この目的はかなり達成できたと考えられる。これらの理論的裏づけを利用して、いくつかの中間命題論理においては、Theorem Proverを作成できた。さらに、これらのTheorem Proverを利用して、変数の数と論理記号の数を制限したときのリンデンバウム代数の構造など、中間命題論理におけるより詳しい事実を知ることができた。様相命題論理においても、高さが有限のクリプケモデルで特徴化されるものに対して、単純代入特性をもつための必要十分条件を与えることができた。様相命題論理においては、Theorem Proverはまだ作成されていないが、人工知能に役立つと考えられる分野なので、来年度申請中の科学研究費補助金または外部の助成金などで、是非とも完成させたい。またこれらの性質を、より応用的なマルチ様相論理や述語論理に対しても研究していきたいと考えている。

Non-classical theory, concrete theory, intermediate proposition theory, phase proposition theory, etc. Intermediate Proposition Theoryにおいては、高さがlimitedのクリプケモデルで特徴化されるものThe necessary conditions for に対して and 単Pure substitution characteristics をもつための and えることができた.このrequisitesはモデルを使って与えたのだが、よく知られたRESULTを用いれば、 The axiom of the axiom must be the very condition を and the えることができ, and the かなり考 えやすい condition となっている.また, それの中prophetoriの中でも, かなりたくさんの理に対して, Simple substitution properties をもつこと、あるいはもたないことをprove することができた. Original purpose of the original purpose, "Simple substituted characteristics of the original character"があったが, intermediate proposition theory において, このpurpose はかなりachievement できたと考えられる. The これらの里づけを is made using して, いくつかの intermediate proposition theory においては, and Theorem Proverを.さらに、これらのTheorem Proverをutilizationして、変数の numberとlogical notationのnumberをlimitationしたときのリンデンバウムAlgebraic construction など, intermediate proposition theory におけるより detail しい事実を知ることができた.様phase proposition theoryにおいても、高さがlimitedのクリプケモデルで特徴化されるものThe necessary conditions for に対して and 単Pure substitution characteristics をもつための and えることができた.様phase proposition theory, Theorem Proverはまだ成されていないが、Artificial knowledge abilityにservice Standing testえられる分野なので、 In the coming year, I will apply for the National Scientific Research Funding Grant, the external financial aid, and the right and wrong completion.またこれらの性を、より応用なマルチ様论理や说语论理に対しても研究していきたいと考えている.

项目成果

Katsumi SASAKI: "The simple substitution property of the intermedlate propositional logics onfinite slices" Studia Lagica. 52. 41-62 (1993)

Katsumi SASAKI：“有限切片中间命题逻辑的简单替换性质”Studia Lagica。