| 研究概要 |
最も単純な論理式である関数自由基礎原子式の列を書き換える形式系を,基礎原子式書換系といい,この系に基づいたソフトウェアシステムを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について規則化を行う必要がある.
|
