课题基金 / 基金详情

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

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

项目摘要

项目成果

岡田 光弘的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
論理的意味論に基づく法律文の知識表現論及びこれを用いた法律文の意味分析システムの開発を行った。特に本年度は、論理的意味論のフレームワークの整備を終えた。我々の確立した論理的意味論のフレームワークはモンターギュ意味論をベースにしたものである。これは、高階論理(タイプ理論)と可能世界意味論を組み合わせた内包高階論理の形式言語上に法律文の解釈を与え、この内包高階論理のモデル上で、解釈された法律文の意味を与えるものである。我々のモンターギュ意味論の形成に当たっては、特に格文法を基本として、カテゴリアル文法(既約文法)及び高階論理言語のタイプ構造を定めた。この格文法構造に立脚したモンターギュ意味論のフレームワークにより、国際法のエキスパートシステムの形成のような日本語を含む多言語間に共通する意味分析体系の構築の基礎が与えられた。
期刊论文(6)
专著(0)
科研奖励(0)
会议论文
岡田 光弘: "論理学入門のPersonal Guide" 哲学(三田哲学会誌). (別冊). 85-94 (1994)
冈田光宏：《逻辑学入门个人指南》（三田哲学学会杂志）（单卷）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
岡田 光弘: "Gentzen Proof Reduction,Buchholz Hydra Game,and Kirby‐Paris Hydra Game" 京都大学数理解析研講究録「証明論シンポジウム」. (近刊). (1995)
Mitsuhiro Okada：“Gentzen Proof Reduction，Buchholz Hydra Game，and Kirby-Paris Hydra Game”京都大学数学分析研究论文集“证明理论研讨会”（即将出版）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
岡田 光弘: "A Direct Proof of Buchholz's Hydra Game on Labeled Finite Trees(with M.Hamano)" Archiv for Mathematical Logic. (近刊).
Mitsuhiro Okada：“Buchholzs Hydra Game on Labeled Finite Trees 的直接证明（与 M.Hamano）”数学逻辑档案（即将出版）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
岡田 光弘: "線形論理の並行計算モデル" 情報処理(並行計算特集). (近刊). (1995)
Mitsuhiro Okada：“线性逻辑的并行计算模型”信息处理（并行计算特刊）（即将出版）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
共 6 条
    論証・証明の哲学の深化に向けた学際的「論理の哲学」研究
    • 批准号：
      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
    海外基金