| Project/Area Number |
06207203
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research on Priority Areas
|
| Allocation Type | Single-year Grants |
|---|
| Research Institution | Japan Advanced Institute of Science and Technology |
|---|
Principal Investigator |
國藤 進 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (50242566)
|
|---|
| Project Period (FY) |
1993 – 1995
|
| Project Status |
Completed (Fiscal Year 1994)
|
| Budget Amount *help |
¥1,500,000 (Direct Cost: ¥1,500,000)
Fiscal Year 1994: ¥1,500,000 (Direct Cost: ¥1,500,000)
|
|---|
| Keywords | 法的不完全知識下での推論 / 法的発見・法的正当化機構 / アブダクティブ論理プログラミング / 統合性制約 / アブダクショと非単調推論 / フレーム公理 |
|---|
| Research Abstract |
本研究は法律エキスパートシステムの実現には、条文の欠けている知識を補完していく推論機構が必要であることから出発している。不完全知識を補完する推論には、アブダクション、仮説推論、事例ベース推論、状況推論、帰納推論、類推、およびファジィ推論等がある。これら各種不完全知識に基づく推論を統一的に説明するモデルとして、我々はKowalski教授グループのアブダクティブ論理プログラミングに注目した。
今年度は、法律エキスパートシステムの法的発見機構と法的正当化機構を統合するプログラミング言語として、Kowalski教授グループの意味論研究を踏まえ、アグダクティブ論理プログラミング言語のメタインタプリタを試作した。アブダクティブ論理プログラミングは後ろ向き推論でアブダクション、すなわち仮説の生成を行い、前向き推論でその仮説が統合性制約を満足することを確認することで、その仮説の正当化を行う。本言語はS-4/2上のSictus Prologでインプリメントされている。本言語の有効性を確認するため、失敗としての否定、非単調推論の各種動作確認とYale Shooting問題の解決やフレーム公理の意味付けとの関連を明らかにした。現在、アブダクティブ論理プログラミングのPrologへのプログラム変換を行い、本言語の効率的なインプリメントを検討中である。また統一売買法から採られた各種例題の解法を検討する過程で、その法的発見・法的正当化機構向けの拡張を検討中である。
|
