• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

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

研究課題

研究課題/領域番号 05208102
研究種目

重点領域研究

配分区分補助金
研究機関東京工業大学 (1993-1994, 1996-1997)
北海道大学 (1995)

研究代表者

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

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

研究分担者 國藤 進  北陸先端科学技術大学院大学, 情報科学研究科, 教授 (50242566)
櫻井 成一朗  東京工業大学, 大学院・総合理工学研究科, 助教授 (20202088)
新田 克己  東京工業大学, 大学院・総合理工学研究科, 教授 (60293073)
田中 二郎  筑波大学, 電子情報工学係, 助教授 (20251043)
佐藤 健  北海道大学, 大学院・工学研究科, 助教授 (00271635)
山口 高平  静岡大学, 情報学部, 助教授 (20174617)
野村 浩郷  九州工業大学, 情報工学部, 教授 (30208392)
廣田 薫  東京工業大学, 大学院・総合理工学研究科, 教授 (50130943)
研究期間 (年度) 1993 – 1997
研究課題ステータス 完了 (1997年度)
配分額 *注記
64,500千円 (直接経費: 64,500千円)
1997年度: 14,000千円 (直接経費: 14,000千円)
1996年度: 11,500千円 (直接経費: 11,500千円)
1995年度: 8,000千円 (直接経費: 8,000千円)
1994年度: 7,200千円 (直接経費: 7,200千円)
1993年度: 23,800千円 (直接経費: 23,800千円)
キーワードファジィ推論 / 事例ベース推論 / 流れ図エディタ / 論争支援 / 知識獲得 / アブダクション / 法律オントロジー / 法律文生成処理 / エキスパートシステム / 国際統一売買法 / 自然言語 / オントロジー / 推論エンジン / 法的推論 / 知識表現 / 法的オントロジー / 法律エキスパートシステム / ソート論理 / シソーラス / 概念辞書 / 素性論理構造
研究概要

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

報告書

(5件)
  • 1997 実績報告書
  • 1996 実績報告書
  • 1995 実績報告書
  • 1994 実績報告書
  • 1993 実績報告書
  • 研究成果

    (42件)

すべて その他

すべて 文献書誌 (42件)

  • [文献書誌] 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)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 廣田 薫: "法律エキスパートシステム開発研究" JASA Techno Board. 37. 24-30 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 佐藤 健 他: "事例の相対距離による類似度学習とその検索誤り率について" 人口知能学会誌. 12・6. 901-910 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] Ken Satoh: "Statutory Interpretation by Case-based Reasoning through Abductive Logic programming" Journal of Advanced Computational Intelligence. 1・2. 94-103 (1997)

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

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] Toshiko Wakaki: "Reasoning about Dynamic Preferences in Circumscriptive Theory by Logic Programming" Journal of Advanced Computational Intelligence. 1・2(to appear). (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] Masato Shibazaki: "A Framework for Nonmonotomic Reasoning with Rule Priorities" Journal of Advanced Computational Intelligence. 2(to appear)1. (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] T.Kanai 他: "Legal Reasoning Using Abductive Logic Programming" Journal of Advanced Computational Intelligence. to appear (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] T.Kanai 他: "Extending Inductive Generalizations with Abduction" Prog.of IJCAI'97 Workshop on Abduction and Induction. 25-30 (1997)

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

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Kure-matsu 他: "A Legal Ontology Refinement Support Environment Using a Machine-Readable Dictionary" Artificial Intelligence and Law. 5. 119-137 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 山口 高平 他: "法律オントロジー" 人工知能学会誌. 13・2(印刷中). (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 今 一修 他: "文法的不適格文処理のための統合的枠組み" 人口知能学会誌. 12・3. 404-411 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 宮田 高志 他: "Baysian Networkによる下位範疇化の確率モデルおよびその学習" 情報処理学会研究報告. 97-NL-119. 77-84 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 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)

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

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 廣田 薫: "先端科学CAIシリーズ" コンピュータソフトウェア開発(株)(CD版), (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 平松寛司他: "要件効果構造に基づく法律文制限言語モデルと法律文解析" 情報処理学会研究報告. Vol.96 No.87. 21-27 (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 新田克己: "論争支援のマルチモダル実験システム、Mr.Bengo" つくばソフトウェアシンポジウム'96. 13-32 (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] C.AOKJ他: "A Legal Ontology Development Enriroment,Proc" The Pacific Knowledge Acquisition Worksliop.96. 109-209 (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 廣田薫: "知能工学概論" 株式会社昭晃堂, 180 (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] K.Sadohara,M.Haraguchi: "Analogical Logic Program Synthesis from Examples" Springer LNAI. 914. 232-244 (1995)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] K.Sadohara,M.Haraguchi: "Analogical Logic Program Synthesis that can refute mappropriate cimilarities" Springer LNAI. 997. 266-281 (1995)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] Y.Okubo,M.Haraguchi: "Using Abstraction to Multiple Generalization Problem" Proc,Symposium on Abstraction,Reformalation and Approximation. 100-106 (1995)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 原口 誠: "法的推論" 情報処理. 37(採録決定). (1996)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] M.Haraguchi: "A Reasoning System for Legal Analogy" Machine Intelligence. 14(印刷中). (1996)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 山口 高平: "知識表現の変換と構成的帰納学習" システム制御情報学会誌. 2. 167-172 (1995)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] Y.Okubo,M.Haraguchi: "Plannning with abstraction based on partial predicate mappings" New Generation Computing. 12(4). 409-437 (1994)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] Y.Okubo,M.Haraguchi: "Construction of Predicate Mappings for Goal-Dependent Abstraction" Algorithmic Learning Theory '94,Springer LNAI. 872. 516-531 (1994)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] Sadohara,K & Haraguchi,M.: "Analogical Logic Program Synthesis from Examples" Machine Learning:ECML-95,Springer LNAI. 914. 232-244 (1995)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] K.HIROTA and W.Pedrycz: "OR/AND neuron in modelling fuzzy set connectives" IEEE Trans.on Fuzzy Systems. 2(2). 151-161 (1994)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] 原口誠(分担執筆): "「ニューロ・ファジイ・AIハンドブック」(第5編「人工知能と知識工学」第4章「高次推論」を担当)" オーム社, (1994)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 有馬、高橋、原口: "アナロジーの数理的研究" 情報処理. 34. 547-557 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] K.Nitta,S.Wong,Y.Ohtake: "A Computational Model for Trial Reasoning" Proc.of 4th Internatinal Conference on AI and Law. 20-29 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 廣田、吉野、今村、栗栖: "法律ファジィエキスパートシステムにおける知識表現と推論機構の一提案" 計測自動制御学会第19回知能システムシンポジウム.

    • 関連する報告書
      1993 実績報告書

URL: 

公開日: 1993-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi