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

閲覧数: 3
ダウンロード数: 0
このエントリーをはてなブックマークに追加

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

フォーマット:
助成・補助金
Kyushu Univ. Production 九州大学成果文献
責任表示:
松尾 文碩(九州大学・工学部・教授)
本文言語:
日本語
研究期間:
1994
概要(最新報告):
最も単純な論理式である関数自由基礎原子式の列を書き換える形式系を,基礎原子式書換系といい,この系に基づいたソフトウェアシステムを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について規則化を行う必要がある. 続きを見る
本文を見る

類似資料:

9
科学技術文書理解システム by 松尾 文碩; MATSUO Fumihiro
10
SQLによるデータベースシステムの構築 by 上向井, 照彦; 松田, 稔
11
旧植民地に関する統計書誌情報データベースシステムの構築 by 周防, 節雄; 古隅, 弘樹; 兵庫県立大学経済経営研究所
6
オントロジーの自動作成 by 松尾 文碩; MATSUO Fumihiro
6.
オントロジーの自動作成 by 松尾 文碩; MATSUO Fumihiro
9.
科学技術文書理解システム by 松尾 文碩; MATSUO Fumihiro
10.
SQLによるデータベースシステムの構築 by 上向井, 照彦; 松田, 稔
11.
旧植民地に関する統計書誌情報データベースシステムの構築 by 周防, 節雄; 古隅, 弘樹; 兵庫県立大学経済経営研究所