课题基金 / 基金详情

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

論理的意味論に基づく法律文書の論理的知識表現論及び論理的分析システム
基于逻辑语义的法律文书逻辑知识表示理论及逻辑分析系统
批准号：
08204211
负责人：
岡田 光弘
金额：
$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-08204211/
关键词：
論理的意味論法律エキスパートシステムモンターギュ意味論可能世界モデル高階論理

项目摘要

项目成果

岡田 光弘的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
論理的意味論の立場から計画班の法律エキスパート構成を支援していくことを目的とした。より具体的には、(1)申請者が確立した「格文法に基づくモンターギュ意味論」を用いて法律文の知識表現論の一般的な枠組を構成した。特にこの枠組は非常に強力な表現力を持つ高階論理言語である。"Predicates Referential Logic" (PRL)をベースにして実現された。(2)この論理的知識表現論の枠組に対してモンターギュ意味論の手法を用いて可能世界モデルといわれる表示的意味論を形成した。(3)この知識表現論及び意味論を用いて法律エキスパート用表現言語CPFに対する論理分析・意味論分析の方法論を開発し、「国際売買法」等を用いてこの方法論の応用のためのケーススタディーを行った。
期刊论文(9)
专著(0)
科研奖励(0)
会议论文
浜野正浩 及 岡田光弘: "A Direct Independence Proof of Buchholz's Hydra Game on Labeled Finite Trees" Archive for Mathematical Logic. 近刊. (1997)
Masahiro Hamano 和 Mitsuhiro Okada：“标记有限树上布赫兹九头蛇博弈的直接独立性证明”数学逻辑档案（1997）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
岡田光弘: "情報科学のための論理学" 産業図書(予定), 273 (近刊(1997))
Mitsuhiro Okada：“信息科学的逻辑”Sangyo Tosho（计划中），273（即将推出（1997））
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
岡田光弘: "Phase Semantics for Higher order Completeness,cut Elimination and Normalization Proofs" Electronic Notes of Theoretical Computer Science (Elsevier-EATCS). 3. 23 (1996)
Mitsuhiro Okada：“高阶完整性的相位语义、削减消除和归一化证明”理论计算机科学电子笔记（Elsevier-EATCS）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Max Kanoviteh 岡田光弘 Andre Scedrov: "Proceedings of the International conference on the Mathematical Foundations of Programming Semantics" Springer社, 13 (1997)
Max Kanoviteh Mitsuhiro Okada Andre Scedrov：“编程语义数学基础国际会议记录”Springer，13 (1997)
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
    海外基金