权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

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

基本信息

批准号：
06207203
负责人：
國藤進
金额：
$ 0.96万
依托单位：
Japan Advanced Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1993
资助国家：
日本
起止时间：
1993 至 1995
项目状态：
已结题

项目摘要

本研究は法律エキスパートシステムの実現には、条文の欠けている知識を補完していく推論機構が必要であることから出発している。不完全知識を補完する推論には、アブダクション、仮説推論、事例ベース推論、状況推論、帰納推論、類推、およびファジィ推論等がある。これら各種不完全知識に基づく推論を統一的に説明するモデルとして、我々はKowalski教授グループのアブダクティブ論理プログラミングに注目した。今年度は、法律エキスパートシステムの法的発見機構と法的正当化機構を統合するプログラミング言語として、Kowalski教授グループの意味論研究を踏まえ、アグダクティブ論理プログラミング言語のメタインタプリタを試作した。アブダクティブ論理プログラミングは後ろ向き推論でアブダクション、すなわち仮説の生成を行い、前向き推論でその仮説が統合性制約を満足することを確認することで、その仮説の正当化を行う。本言語はS-4/2上のSictus Prologでインプリメントされている。本言語の有効性を確認するため、失敗としての否定、非単調推論の各種動作確認とYale Shooting問題の解決やフレーム公理の意味付けとの関連を明らかにした。現在、アブダクティブ論理プログラミングのPrologへのプログラム変換を行い、本言語の効率的なインプリメントを検討中である。また統一売買法から採られた各種例題の解法を検討する過程で、その法的発見・法的正当化機構向けの拡張を検討中である。

In this study, it is necessary to make sure that there is a problem in the law, and that there is a lack of knowledge and knowledge in this study. Incomplete knowledge has been completed in the course of discussion, case study, reasoning, analogy, and so on. On the basis of all kinds of incomplete knowledge, we discuss the unity of knowledge and knowledge, and we ask Professor Kowalski to pay close attention to all kinds of knowledge and knowledge. This year, the legal system, the law, the law and the law. In the final analysis, we need to know that we are going to make a decision, and that we are going to make a decision to make sure that we have a problem, and that we are going to make a decision. The words "Sictus Prolog" on "Smuri 4ram" 2 say "thank you" and "thank you". In this statement, it is necessary to confirm the situation, to deny the failure, and to confirm that the Yale Shooting problem is solved. The axiom means that it is important to know the truth. Now, you can tell me that you don't know what you're going to do. Now, if you don't know what you're going to do, you're going to have to do something about it. Now, you can't tell me what you're going to do. Now, if you don't know what you're going to do, you're going to have to do something about it. Now, if you don't know what you're going to do, you're going to have to do something. In order to solve the problems in a unified system, the process of the process and the legitimacy of the method are discussed in this paper.