课题基金 / 基金详情

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

論理的意味論に基づく法律文書の論理的知識表現論及び論理的分析システム
基于逻辑语义的法律文书逻辑知识表示理论及逻辑分析系统
批准号：
07204208
负责人：
岡田 光弘
金额：
$0.83万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1994
资助国家：
日本
项目状态：
已结题
起止时间：
1994 至 1997
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-07204208/
关键词：
論理的意味論高階論理モンターギュ意味論可能世界意味論格文法

项目摘要

项目成果

岡田 光弘的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
法律文の論理表現に必要な新しい論理体系Predicate-Refe-rential Logicを定式化し、その論理的性質を明かにするとともに、このホーン節部分体系を定義して、法律文がその部分体系の中でどのように表現できるかを示した。特に、国際売買法の具体的法律文を用いて、これまでの伝統的論理学の枠組では自然な知識表現ができなかったものが、我々の新しい論理的枠組の中で可能となることが示された。我々の体系の論理的意味論に関する完全性も確立された。この完全性定理を利用して、我々の論理体系の上での法律表現に対する論理的意味分析システムを構築した。この意味分析システムには、昨年度までの研究成果であるモンターギュ意味論及び格文法理論、可能世界意味論が用いられた。
期刊论文(11)
专著(0)
科研奖励(0)
会议论文
岡田光弘: "情報科学のための論理" 産業図書, 240 (1996)
冈田光宏：《信息科学的逻辑》Sangyo Tosho，240（1996）
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
岡田光弘: "線形論理に基づく平行計算モデル" 情報処理(特集記事). 4月号. 6 (1996)
Mitsuhiro Okada：“基于线性逻辑的并行计算模型”信息处理（特刊）4月6日（1996年）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
岡田光弘(浜野と共著): "A Direct Proof of Buchholz's Hydra Game on Labeled Finite Trees" Archiev for Mathematical Logic. (近刊). (1996)
Mitsuhiro Okada（与 Hamano 合着）：《A Direct Proof of Buchholzs Hydra Game on Labeled Finite Trees》（阿奇耶夫数学逻辑）（即将出版）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
岡田光弘(永山との共著): "A Graph-Theoretic Characterization for Non-Commutative Multiplicative Linear Logic" Electronic Notes of Theoreticul Computer science(ヨーロッパ理論情報学会). 3. 11 (1996)
Mitsuhiro Okada（与 Nagayama 合着）：“非交换乘法线性逻辑的图论表征”理论计算机科学电子笔记（欧洲理论信息学会）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
共 8 条
    論証・証明の哲学の深化に向けた学際的「論理の哲学」研究
    • 批准号：
      23K20416
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $3.24万
    • 财政年份：
      2024
    • 负责人：
      岡田 光弘
    • 依托单位：
      Keio University
    On information presentation methods for easier decison making: Studies on multi-attribute decision making
    • 批准号：
      21K18339
    • 项目类别：
      Grant-in-Aid for Challenging Research (Exploratory)
    • 资助金额：
      $4.08万
    • 财政年份：
      2021
    • 负责人：
      岡田 光弘
    • 依托单位：
      Keio University
    Interdisciplinary studies on philosophy of logic: Toward the development of philosophy of proof and demonstration
    • 批准号：
      21H00467
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $8.49万
    • 财政年份：
      2021
    • 负责人：
      岡田 光弘
    • 依托单位：
      Keio University
    Study on "Disagreement" in logic
    • 批准号：
      19KK0006
    • 项目类别：
      Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
    • 资助金额：
      $7.49万
    • 财政年份：
      2019
    • 负责人：
      岡田 光弘
    • 依托单位：
      Keio University
    海外基金