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

1994 Fiscal Year Annual Research Report

• Project/Area Number: 06207210
• Research Institution: Keio University
• Principal Investigator: 岡田 光弘 慶應義塾大学, 文学部, 助教授 (30224025)
• Keywords: モンターギュ意味論 / 可能世界モデル / 法律エキスパートシステム / 指示的意味論

Research Abstract

論理的意味論に基づく法律文の知識表現論及びこれを用いた法律文の意味分析システムの開発を行った。特に本年度は、論理的意味論のフレームワークの整備を終えた。我々の確立した論理的意味論のフレームワークはモンターギュ意味論をベースにしたものである。これは、高階論理(タイプ理論)と可能世界意味論を組み合わせた内包高階論理の形式言語上に法律文の解釈を与え、この内包高階論理のモデル上で、解釈された法律文の意味を与えるものである。我々のモンターギュ意味論の形成に当たっては、特に格文法を基本として、カテゴリアル文法(既約文法)及び高階論理言語のタイプ構造を定めた。この格文法構造に立脚したモンターギュ意味論のフレームワークにより、国際法のエキスパートシステムの形成のような日本語を含む多言語間に共通する意味分析体系の構築の基礎が与えられた。

Research Products

• [Publications] 岡田 光弘: "Abstract Data Type Systems(with J.‐P. Jouannaud)" Theoretical Computer Science. (近刊). (1995)
• [Publications] 岡田 光弘: "A Direct Proof of Buchholz's Hydra Game on Labeled Finite Trees(with M.Hamano)" Archiv for Mathematical Logic. (近刊).
• [Publications] 岡田 光弘: "線形論理とその応用I,II,III,IV" ソフトウェア科学会誌(計4号). (近刊). (1995)
• [Publications] 岡田 光弘: "線形論理の並行計算モデル" 情報処理(並行計算特集). (近刊). (1995)
• [Publications] 岡田 光弘: "論理学入門のPersonal Guide" 哲学(三田哲学会誌). (別冊). 85-94 (1994)
• [Publications] 岡田 光弘: "Gentzen Proof Reduction,Buchholz Hydra Game,and Kirby‐Paris Hydra Game" 京都大学数理解析研講究録「証明論シンポジウム」. (近刊). (1995)