课题基金 / 基金详情

不完全知識下の法的推論の実現方法の研究

不完全知識下の法的推論の実現方法の研究
不完全知识下如何实现法律推理研究
批准号：
08204203
负责人：
赤間 清
金额：
$0.9万
依托单位：
Hokkaido University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1996
资助国家：
日本
项目状态：
已结题
起止时间：
1996 至 --
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-08204203/
关键词：
法的推論等価変換不完全知識仮説推論条件付解答

项目摘要

项目成果

赤間 清的其他基金

相似基金

相关文献

中文摘要
翻译
本研究の目的は、不完全な知識のもとで柔軟かつ的確な推論を行なうための理論を構築し、法的推論システムを試作してその有効性を実証することである。本研究では次の点を研究した。1.不完全知識の表現方法や、不完全知識による推論の基礎理論を「等価変換による計算」に基づいて定式化した。2.本方法を従来の仮説推論のアプローチと比較し、推論の柔軟性と有効性を確認した。3.従来の仮説推論方法を等価変換による方法で計算する理論を与えた。4.否定の計算を正しく行なう方法を与え、その実装を行なった。
英文摘要
本研究の目的は、不完全な知識のもとで柔軟かつ的確な推論を行なうための理論を構築し、法的推論システムを試作してその有効性を実証することである。本研究では次の点を研究した。1.不完全知識の表現方法や、不完全知識による推論の基礎理論を「等価変換による計算」に基づいて定式化した。2.本方法を従来の仮説推論のアプローチと比較し、推論の柔軟性と有効性を確認した。3.従来の仮説推論方法を等価変換による方法で計算する理論を与えた。4.否定の計算を正しく行なう方法を与え、その実装を行なった。
期刊论文(4)
专著(0)
科研奖励(0)
会议论文
赤間 清: "論理プログラムの等価変換による問題解決の枠組" 人工知能学会誌. 12・2. 90-99 (1997)
Kiyoshi Akama：“使用逻辑程序的等效变换解决问题的框架”日本人工智能学会杂志12・2（1997）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
川口 雄一: "クラスと部分構造を持つ対象の表現と計算" 人工知能学会誌. 12・1. 48-57 (1997)
Yuichi Kawaguchi：“具有类和子结构的对象的表示和计算”人工智能学会杂志 12・1（1997）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
メタ計算の進化的探索に基づく正当で効率的なプログラムの自動生成
  • 批准号：
    16650003
  • 项目类别：
    Grant-in-Aid for Exploratory Research
  • 资助金额：
    $1.73万
  • 财政年份：
    2004
  • 负责人：
    赤間 清
  • 依托单位：
    Hokkaido University
ソフトウェア発展を高度化するための等価変換ルールの自動生成法の研究
  • 批准号：
    10139202
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas (A)
  • 资助金额：
    $1.15万
  • 财政年份：
    1998
  • 负责人：
    赤間 清
  • 依托单位：
    Hokkaido University
ソフトウェアの発展を可能にする等価変換に基づくシステム構築法の研究
  • 批准号：
    09245202
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
  • 资助金额：
    $1.22万
  • 财政年份：
    1997
  • 负责人：
    赤間 清
  • 依托单位：
    Hokkaido University
等価変換に基づく知識処理システム構築方法の研究
  • 批准号：
    08878045
  • 项目类别：
    Grant-in-Aid for Exploratory Research
  • 资助金额：
    $1.09万
  • 财政年份：
    1996
  • 负责人：
    赤間 清
  • 依托单位：
    Hokkaido University
海外基金