不完全知識下での法的推論機構の解明

不完全知识下的法律推理机制阐释

• 批准号: 05208203
• 负责人: 國藤 進
• 金额: $ 0.7万
• 依托单位: Japan Advanced Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 1995
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-05208203/
• 关键词: 法的不完全知識下での推論; アブダクションと仮説推論; アブダクティブ論理プログラミング; 閉世界仮説の否定; 判例とモデル論的不完全性; 効力に関するフレームアサンプション

本研究では、法律エキスパートシステムの法的発見・法的正当化機構実現のため、条文の欠けている知識を補間していく推論過程解明の調査研究と、そのような不完全知識下での推論機構実現のための研究課題の検討を行った。まず仮説推論に関する研究代表者の研究成果をSictus Prolog上に移植し、仮説推論に関連する諸問題と類推、帰納、アブダクションとの関係について論じた。アブダクションについては、Imperial大学のKowalski教授グループの研究成果を積極的に調査し、アブダクション研究の現状とその法的エキスパートシステムへの適用に関して調べた。その結果、法律エキスパートシステムに関して、以下の問題が明白になった。(1)否定の問題:閉世界仮説の否定と開世界仮説の否定の両者の記述・利用可能性(2)例外の問題:if部に追加記述すべき例外事項を全て顕示できること(3)効力の問題:効力の持続等に関するフレームアサンプション公理の追加(4)時刻の問題:統一売買法向けの時間論理の提案(5)判例の問題:判例に基づく解釈とそのモデル論的不完全性の検討(6)手続きの問題:組込みの評価可能述語としての手続きの導入(7)学説の問題:学説別常識知の体系の導入(8)アブダクションの問題:統一化可能なヘッドが存在しない場合の仮説の生成と検証(アブダクション)の問題これらの問題を解決するには、法的エキスパートシステム向けのアブダクティブ論理プログラミング言語を提案し、それに対するインタラクティブな問い合わせ分割をするのが適切な接近法と思われる。

This study is aimed at investigating and discussing the research topic of the realization of the legitimate mechanism of law under incomplete knowledge. The research results of the research representatives are transplanted on Sictus Prolog, and the problems of inference, analogy, and relationship are discussed. Professor Kowalski of Imperial University actively investigated the research results of the project, and investigated the application of the project. The results, legal issues, the following issues are clear (1)The problem of negation: the negation of the closed-world theory and the negation of the open-world theory. The possibility of utilization.(2) The problem of exception: the additional description of the exception.(3) The problem of effect: the addition of the axiom of effect.(4) The problem of time: A Proposal for the Logic of Time in the Direction of Unification of the Law of Purchase (5) Issues of Jurisprudence: A Discussion of the Incompleteness of the Theory of Case Basis (6) Issues of Manual: A Review of the Possible Theory of Formation (7) Issues of Doctrine: The introduction of the system of theory knowledge (8). Unification may exist, but it may not exist. The problem is solved in the following ways: to solve the problem, to solve the problem.

项目成果

國藤 進: "発想支援システム構築に向けての諸課題" 日本創造学会第15回研究大会. 3-6 (1993)

Susumu Kunito：“构建创意支持系统的问题”第 15 届日本创意协会研究会议 3-6（1993 年）。

國藤 進他: "松本元・大津展之共編:「脳とコンピュータ」シリーズ5 脳・神経系が行う情報処理とそのモデル" 培風館(To appear), (1994)

Susumu Kunito等人：“松本肇和大津伸之共同编辑：‘大脑和计算机’系列5：大脑和神经系统及其模型进行的信息处理”百风馆（待出版），（1994年）