法律エキスパートデータベースシステムの構築

法律专家数据库系统建设

• 批准号: 06207207
• 负责人: 松尾 文碩
• 金额: $ 1.09万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-06207207/
• 关键词: 基礎原子式書換系; 法的推論; ウイーン売買条約

最も単純な論理式である関数自由基礎原子式の列を書き換える形式系を,基礎原子式書換系といい,この系に基づいたソフトウェアシステムをREGA(REwriting system for strings of function-free Ground Atoms)という.国際物品売買契約に関する国連条約(United Nations Convention on Contracts for the International Sales of Goods;CISG)は,1980年4月10日ウイーンにて採択され,1988年1月1日発効したものであり,ウィーン売買条約あるいはCISGと通称されている。本年度は,REGAによってこのウイーン売買条約の第II部の推論を行うシステムを構築し,基礎原子式書換系方式に基づく規則推論の有効性を示すとともに,規則推論を行うための問題点を明らかにした.ウイーン売買条約第II部に関する設例については,REGAの枠組みで推論可能であることがわかった.条約中に現れる総合的判断を必要とする条件については,事例を調査し規則化する必要がある.更に,ウイーン売買条約の本体である第IIIについて規則化を行う必要がある.

The most pure logical formula is REGA(REwriting system for strings of function-free Ground Atoms). The United Nations Convention on Contracts for the International Sales of Goods (CISG) was adopted on April 10, 1980, and was adopted on January 1, 1988. This year, the REGA provides a framework for the implementation of Part II of the Treaty on the Purchase of Goods and Services, and the basic atomic formula system provides a framework for the implementation of rules and inferences, and provides a framework for the implementation of rules and inferences. Part II of the REGA Treaty provides a scenario for the possible conclusion of REGA. In the case of a treaty, it is necessary to investigate and regularize the judgment of the treaty. In addition, it is necessary to purchase the body of the treaty.