• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 07204208
Research Category

Grant-in-Aid for Scientific Research on Priority Areas

Allocation TypeSingle-year Grants
Research InstitutionKeio University

Principal Investigator

岡田 光弘  慶応義塾大学, 文学部, 助教授 (30224025)

Project Period (FY) 1994 – 1997
Project Status Completed (Fiscal Year 1995)
Budget Amount *help
¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 1995: ¥1,300,000 (Direct Cost: ¥1,300,000)
Keywords論理的意味論 / 高階論理 / モンターギュ意味論 / 可能世界意味論 / 格文法
Research Abstract

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

Report

(1 results)
  • 1995 Annual Research Report
  • Research Products

    (8 results)

All Other

All Publications (8 results)

  • [Publications] 岡田光弘(Jouannaudとの共著): "Abstract Data Type Systems" Theoreticul Computer Science. (近刊). (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 岡田光弘(永山との共著): "A Graph-Theoretic Characterization for Non-Commutative Multiplicative Linear Logic" Electronic Notes of Theoreticul Computer science(ヨーロッパ理論情報学会). 3. 11 (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 岡田光弘: "From Phase Semantics to Normalization Proofs Part I" Electronic Notes of Theoreticul Computer science(ヨーロッパ理論情報学会). 3. 10 (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 岡田光弘(浜野と共著): "A Direct Proof of Buchholz's Hydra Game on Labeled Finite Trees" Archiev for Mathematical Logic. (近刊). (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 岡田光弘(浜野と共著): "Relationship Among Gentzen's Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game" Mathematicul Logic Quarterly. (近刊). (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 岡田光弘: "線形論理に基づく平行計算モデル" 情報処理(特集記事). 4月号. 6 (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 岡田光弘: "情報科学のための論理" 産業図書, 240 (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 岡田光弘: "Special Issue on Linear Logic, (editor), Electronic Notes of Theoretical Computer Science" Elsevier社(オランダ)(ヨーロッパ理論情報学会編), 420 (1996)

    • Related Report
      1995 Annual Research Report

URL: 

Published: 1995-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi