• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 05208102
Research Category

Grant-in-Aid for Scientific Research on Priority Areas

Allocation TypeSingle-year Grants
Research InstitutionTokyo Institute of Technology (1993-1994, 1996-1997)
Hokkaido University (1995)

Principal Investigator

廣田 薫 (1996-1997)  東京工業大学, 大学院・総合理工学研究科, 教授 (50130943)

原口 誠 (1993-1995)  北海道大学, 工学部, 教授 (40128450)

Co-Investigator(Kenkyū-buntansha) 國藤 進  北陸先端科学技術大学院大学, 情報科学研究科, 教授 (50242566)
櫻井 成一朗  東京工業大学, 大学院・総合理工学研究科, 助教授 (20202088)
新田 克己  東京工業大学, 大学院・総合理工学研究科, 教授 (60293073)
田中 二郎  筑波大学, 電子情報工学係, 助教授 (20251043)
佐藤 健  北海道大学, 大学院・工学研究科, 助教授 (00271635)
山口 高平  静岡大学, 情報学部, 助教授 (20174617)
野村 浩郷  九州工業大学, 情報工学部, 教授 (30208392)
廣田 薫  東京工業大学, 大学院・総合理工学研究科, 教授 (50130943)
Project Period (FY) 1993 – 1997
Project Status Completed (Fiscal Year 1997)
Budget Amount *help
¥64,500,000 (Direct Cost: ¥64,500,000)
Fiscal Year 1997: ¥14,000,000 (Direct Cost: ¥14,000,000)
Fiscal Year 1996: ¥11,500,000 (Direct Cost: ¥11,500,000)
Fiscal Year 1995: ¥8,000,000 (Direct Cost: ¥8,000,000)
Fiscal Year 1994: ¥7,200,000 (Direct Cost: ¥7,200,000)
Fiscal Year 1993: ¥23,800,000 (Direct Cost: ¥23,800,000)
Keywordsファジィ推論 / 事例ベース推論 / 流れ図エディタ / 論争支援 / 知識獲得 / アブダクション / 法律オントロジー / 法律文生成処理 / エキスパートシステム / 国際統一売買法 / 自然言語 / オントロジー / 推論エンジン / 法的推論 / 知識表現 / 法的オントロジー / 法律エキスパートシステム / ソート論理 / シソーラス / 概念辞書 / 素性論理構造
Research Abstract

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

Report

(5 results)
  • 1997 Annual Research Report
  • 1996 Annual Research Report
  • 1995 Annual Research Report
  • 1994 Annual Research Report
  • 1993 Annual Research Report

Research Products

(42 results)

All Other

All Publications (42 results)

  • [Publications] Kaoru Hirota: "An Application of Fuzzy Theory to the Case-Based Reasoning of the CISG" Int.J.of Advanced Computational Intelligence. 1・2. 86-93 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Hajime Yochino 他: "Representation and Interence of Caces with Fuzziness in CISG" Proceedings of the 4-th Workshop on Legal Expert System for the CISG. 5-9 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 廣田 薫: "法律エキスパートシステム開発研究" JASA Techno Board. 37. 24-30 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 佐藤 健 他: "事例の相対距離による類似度学習とその検索誤り率について" 人口知能学会誌. 12・6. 901-910 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Ken Satoh: "Statutory Interpretation by Case-based Reasoning through Abductive Logic programming" Journal of Advanced Computational Intelligence. 1・2. 94-103 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 宮城 幸司 他: "法律条文の論理流れ図エディタにおけるグラフレイアウトと多視点遠近画法" 日本ソフトウェア科学会第14回大会論文集. 257-260 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Toshiko Wakaki: "Reasoning about Dynamic Preferences in Circumscriptive Theory by Logic Programming" Journal of Advanced Computational Intelligence. 1・2(to appear). (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Masato Shibazaki: "A Framework for Nonmonotomic Reasoning with Rule Priorities" Journal of Advanced Computational Intelligence. 2(to appear)1. (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] T.Kanai 他: "Legal Reasoning Using Abductive Logic Programming" Journal of Advanced Computational Intelligence. to appear (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] T.Kanai 他: "Extending Inductive Generalizations with Abduction" Prog.of IJCAI'97 Workshop on Abduction and Induction. 25-30 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 森沢 浩造 他: "ALPに基づき不完全知識下での類推解釈を実現する法的推論機構" 人工知能学会 第31回人口知能基礎論研究会 資料. SZG-J-9701. 65-70 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] M.Kure-matsu 他: "A Legal Ontology Refinement Support Environment Using a Machine-Readable Dictionary" Artificial Intelligence and Law. 5. 119-137 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 山口 高平 他: "法律オントロジー" 人工知能学会誌. 13・2(印刷中). (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] 今 一修 他: "文法的不適格文処理のための統合的枠組み" 人口知能学会誌. 12・3. 404-411 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 宮田 高志 他: "Baysian Networkによる下位範疇化の確率モデルおよびその学習" 情報処理学会研究報告. 97-NL-119. 77-84 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Takashi Miyata 他: "Baysian Network Models of Subcategorization and Their MDL-Based Learning from Corpus" Proceedings of the 4th Natural Language Processing Pacific Rim Symposium. 321-326 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 高尾 宣之 他: "要件効果構造に基づく制限言語モデルを用いた法律文解析" 情報処理学会研究報告. 98-NL-124(印刷中). (1998)

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

    • Related Report
      1997 Annual Research Report
  • [Publications] KAORU HIROTA他: "A PRECEDENT-BASED LEGAL JUDGEMENT SYSTEM USING FUZZY DATABASE" International Journal of Uncertaintty,Fuzziness and Knowledge-Based Systems.Vol.4.No.6. 573-580 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 平松寛司他: "要件効果構造に基づく法律文制限言語モデルと法律文解析" 情報処理学会研究報告. Vol.96 No.87. 21-27 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 新田克己: "論争支援のマルチモダル実験システム、Mr.Bengo" つくばソフトウェアシンポジウム'96. 13-32 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] C.AOKJ他: "A Legal Ontology Development Enriroment,Proc" The Pacific Knowledge Acquisition Worksliop.96. 109-209 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 廣田薫: "知能工学概論" 株式会社昭晃堂, 180 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] K.Sadohara,M.Haraguchi: "Analogical Logic Program Synthesis from Examples" Springer LNAI. 914. 232-244 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] K.Sadohara,M.Haraguchi: "Analogical Logic Program Synthesis that can refute mappropriate cimilarities" Springer LNAI. 997. 266-281 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Y.Okubo,M.Haraguchi: "Using Abstraction to Multiple Generalization Problem" Proc,Symposium on Abstraction,Reformalation and Approximation. 100-106 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 原口 誠: "法的推論" 情報処理. 37(採録決定). (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] M.Haraguchi: "A Reasoning System for Legal Analogy" Machine Intelligence. 14(印刷中). (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 山口 高平: "知識表現の変換と構成的帰納学習" システム制御情報学会誌. 2. 167-172 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Y.Okubo,M.Haraguchi: "Plannning with abstraction based on partial predicate mappings" New Generation Computing. 12(4). 409-437 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Y.Okubo,M.Haraguchi: "Construction of Predicate Mappings for Goal-Dependent Abstraction" Algorithmic Learning Theory '94,Springer LNAI. 872. 516-531 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Sadohara,K & Haraguchi,M.: "Analogical Logic Program Synthesis from Examples" Machine Learning:ECML-95,Springer LNAI. 914. 232-244 (1995)

    • Related Report
      1994 Annual Research Report
  • [Publications] K.HIROTA and W.Pedrycz: "OR/AND neuron in modelling fuzzy set connectives" IEEE Trans.on Fuzzy Systems. 2(2). 151-161 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Nomura,H.: "A controlled linguistic model and a representative framework for legal phrase analysis" Proc.Workshop on Application of Logic Programming to Legal Reasoning. 45-52 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Kurematsu,M.Tada,M.,Yamaguti,K.: "Constructing a legal ontology from a general ontology" Proc.Workshop on Application of Logic Programming to Legal Reasoning. 73-80 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] 原口誠(分担執筆): "「ニューロ・ファジイ・AIハンドブック」(第5編「人工知能と知識工学」第4章「高次推論」を担当)" オーム社, (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] H.Yoshino,M.Haraguchi,S.Sakurai,S.Kagayama: "Towards a Legal Analogical Reasoning System" Proc.4th Internatinal Conference on AI and Law. 110-116 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] 有馬、高橋、原口: "アナロジーの数理的研究" 情報処理. 34. 547-557 (1993)

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

    • Related Report
      1993 Annual Research Report
  • [Publications] K.Nitta,Y.Ohtake,S.Maeda,M.Ono,H.Ohsaki,K.Sakane: "HELIC-II:Legal Reasoning System on the Parallel Inference Machine" New Generation Computing. 11. 423-448 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] T.Yamaguchi,M.Kurematsu: "Legal Knowledge Acquisition Using Case-Based Reasoning and Model Inference" Proc.of 4th Internatinal Conference on AI and Law. 212-217 (1993)

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

    • Related Report
      1993 Annual Research Report

URL: 

Published: 1993-03-31   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi