法律エキスパートシステムのソフトウェアの構築

构建法律专家系统软件

• 批准号: 05208102
• 负责人: 廣田 薫
• 金额: $ 41.28万
• 依托单位: Tokyo Institute of Technology (1993-1994, 1996-1997)Hokkaido University (1995)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 1997
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-05208102/
• 关键词: ファジィ推論; 事例ベース推論; 流れ図エディタ; 論争支援; 知識獲得; アブダクション; 法律オントロジー; 法律文生成処理; エキスパートシステム; 国際統一売買法; 自然言語; オントロジー; 推論エンジン; 法的推論; 知識表現; 法的オントロジー; 法律エキスパートシステム; ソート論理; シソーラス; 概念辞書; 素性論理構造

CISG(国際統一売買法)を対象とする法律エキスパートシステムのソフトウェア構築の最終年度にあたり、各分担研究者によって開発されたモジュールの統合と実施検証を行った.研究代表者廣田が、研究の統括を行った。また各分担者の役割分担は、以下の通りである。廣田 ファジィ検索/推論モジュールを完成し、日本語/英語ユーザインタフェースを作成し、実証実験を行って、性能評価をした。佐藤 本年度は前年度開発した事例ベース推論システムの高速化ならびに量的述語の取扱いについて検討およびシステムへの実装を行った。田中 論理流れ図エディタの改良を行った。グラフレイアウトと二様表示の改良を行い、流れ図から論理式を出力できるようにした。新田 法的論争の形式化を行い、それに基づいて、演繹推論と事例ベース推論の二つのエンジンを持つ論争支援システムを開発した。櫻井 A03班の作成した知識ベースに対して、型推論により変数の型付けを行い、実行可能な知識ベースに精緻化した。國藤 不完全知識下での法的発見機構での研究として、CISG例題からの仮説の発見、類推解釈機能の付与、型階層の導入の検討を行った。山口 通常世界から法律世界への移行から生じる意味変化を考慮し、計算機可読型辞書から法律オントロジーを構築支援する環境を開発した。松本 複合論理表現によって記述された法的言明を英語および日本語文として生成するための文生成システムと支援システムを開発した。野村 法律文の言語的特徴に着目した並列構造モデルを構築して用件効果構造モデルを精緻化し、法律文処理システムを高度化した。松尾 国連売買条約に関して、推論システムの開発、法的深層格の研究、および知識表現言語の設計を行った。

CISG(International Uniform Code of Conduct) is a legal framework for the construction of the final year of research and development. Research Representative Hirota, Research Director Each participant's service is divided, and the following is communicated. Hirota's search/inference process is complete, Japanese/English translation is complete, implementation is complete, and performance is evaluated. This year, Sato launched a case study on the acceleration of the system and the implementation of the system. Tanaka logic flow is improved. The logic expression of the two kinds of expression is improved, and the flow is changed. The debate of new method is formalized, based on deduction, case deduction and case deduction, and supported by argument theory. Sakurai A03 class to create the knowledge base, model inference, number of model pay, implementation of the knowledge base refined A Study on the Discovery Mechanism of the Law under the Incomplete Knowledge of the State and the Implementation of the CISG Model The development of the legal environment in the world is usually considered. Matsumoto's complex logic is described in English and Japanese. Nomura's legal language features are focused on parallel structure, construction, and refinement of application structure, and legal language processing is highly refined. Matsuo's research on the development of knowledge systems and the design of knowledge presentation language

项目成果

Toshiko Wakaki: "Reasoning about Dynamic Preferences in Circumscriptive Theory by Logic Programming" Journal of Advanced Computational Intelligence. 1・2(to appear). (1997)

Toshiko Wakaki：“通过逻辑编程推理限制理论中的动态偏好”《高级计算智能杂志》1・2（待出版）。

廣田、吉野、今村、栗栖: "法律ファジィエキスパートシステムにおける知識表現と推論機構の一提案" 計測自動制御学会第19回知能システムシンポジウム.

Hirota、Yoshino、Imamura、Kurisu：“法律模糊专家系统中知识表示和推理机制的提案”第 19 届仪器与控制工程师学会智能系统研讨会。

廣田 薫: "先端科学CAIシリーズ" コンピュータソフトウェア開発(株)(CD版), (1997)

广田薰：《高等科学CAI系列》计算机软件开发有限公司（CD版），（1997年）

M.Kure-matsu 他: "A Legal Ontology Refinement Support Environment Using a Machine-Readable Dictionary" Artificial Intelligence and Law. 5. 119-137 (1997)

M. Kure-matsu 等人：“使用机器可读词典的法律本体细化支持环境”《人工智能与法律》5. 119-137 (1997)。

K.Nitta,S.Wong,Y.Ohtake: "A Computational Model for Trial Reasoning" Proc.of 4th Internatinal Conference on AI and Law. 20-29 (1993)

K.Nitta,S.Wong,Y.Ohtake：“审判推理的计算模型”Proc.of 第四届人工智能与法律国际会议。