論理的意味論に基づく法律文書の論理的知識表現論及び論理的分析システム

1995 Fiscal Year Annual Research Report

• Project/Area Number: 07204208
• Research Institution: Keio University
• Principal Investigator: 岡田 光弘 慶応義塾大学, 文学部, 助教授 (30224025)
• Keywords: 論理的意味論 / 高階論理 / モンターギュ意味論 / 可能世界意味論 / 格文法

Research Abstract

法律文の論理表現に必要な新しい論理体系Predicate-Refe-rential Logicを定式化し、その論理的性質を明かにするとともに、このホーン節部分体系を定義して、法律文がその部分体系の中でどのように表現できるかを示した。特に、国際売買法の具体的法律文を用いて、これまでの伝統的論理学の枠組では自然な知識表現ができなかったものが、我々の新しい論理的枠組の中で可能となることが示された。我々の体系の論理的意味論に関する完全性も確立された。この完全性定理を利用して、我々の論理体系の上での法律表現に対する論理的意味分析システムを構築した。この意味分析システムには、昨年度までの研究成果であるモンターギュ意味論及び格文法理論、可能世界意味論が用いられた。

Research Products

• [Publications] 岡田光弘(Jouannaudとの共著): "Abstract Data Type Systems" Theoreticul Computer Science. (近刊). (1996)
• [Publications] 岡田光弘(永山との共著): "A Graph-Theoretic Characterization for Non-Commutative Multiplicative Linear Logic" Electronic Notes of Theoreticul Computer science(ヨーロッパ理論情報学会). 3. 11 (1996)
• [Publications] 岡田光弘: "From Phase Semantics to Normalization Proofs Part I" Electronic Notes of Theoreticul Computer science(ヨーロッパ理論情報学会). 3. 10 (1996)
• [Publications] 岡田光弘(浜野と共著): "A Direct Proof of Buchholz's Hydra Game on Labeled Finite Trees" Archiev for Mathematical Logic. (近刊). (1996)
• [Publications] 岡田光弘(浜野と共著): "Relationship Among Gentzen's Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game" Mathematicul Logic Quarterly. (近刊). (1996)
• [Publications] 岡田光弘: "線形論理に基づく平行計算モデル" 情報処理(特集記事). 4月号. 6 (1996)
• [Publications] 岡田光弘: "情報科学のための論理" 産業図書, 240 (1996)
• [Publications] 岡田光弘: "Special Issue on Linear Logic, (editor), Electronic Notes of Theoretical Computer Science" Elsevier社(オランダ)(ヨーロッパ理論情報学会編), 420 (1996)