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

法律知識ベースの構築

研究課題

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

重点領域研究

配分区分補助金
研究機関明治学院大学

研究代表者

吉野 一  明治学院大学, 法学部, 教授 (50062162)

研究分担者 山手 正史  立命館大学, 法学部, 教授 (70200764)
木村 弘之亮  慶応大学, 法学部, 教授 (60051885)
和田 悟  明治大学, 政治経済学部, 専任講師 (90258757)
曽野 和明 (曾野 和明)  帝塚山大学, 法政策学部, 教授 (40002258)
松本 恒雄  一橋大学, 法学部, 教授 (20127715)
田中 二郎  筑波大学, 電子情報工学系, 助教授 (20251043)
北原 宗律  広島修道大学, 商学部, 教授 (70234268)
櫻井 成一朗 (桜井 成一朗 / 櫻井 成一郎)  東京工業大学, 大学院・総合理工研究科, 助手 (20202088)
坂本 正光  明治学院大学, 法学部, 助教授 (60257136)
研究期間 (年度) 1997
研究課題ステータス 完了 (1997年度)
配分額 *注記
64,400千円 (直接経費: 64,400千円)
1997年度: 12,800千円 (直接経費: 12,800千円)
1996年度: 12,300千円 (直接経費: 12,300千円)
1995年度: 11,000千円 (直接経費: 11,000千円)
1994年度: 12,200千円 (直接経費: 12,200千円)
1993年度: 16,100千円 (直接経費: 16,100千円)
キーワード知識ベース / 契約法 / 国連売買条約 / 論理法学 / 法的推論 / 法的知識 / エキスパートシステム / 論理 / 法律 / 推論 / 知識 / 人工知能 / 国際売買契約 / 流れ図 / 述語論理 / 知識表現 / 法律エキスパートシステム / 売買契約
研究概要

本研究では、国際売買法(国連売買条約(CISG))の法律知識べ一スが構築された。この知識べ一スは、申込と承諾による契約成立とそれに基づく法律関係の発生から、義務の履行による債権債務の消滅、不履行による損害賠償、修理、代替品請求権など新たな権利義務関係の発生、さらにその不履行よる解除権などの発生、解除権の行使による契約関係の消滅と現状回復義務の発生、最後にそれらの義務の履行による法律関係の消滅に至る法律関係の全変動過程を推論し、出来事の進展のどの時点をとってもその法律関係の状況を判断することができるものである。知識べ一ス構築に際しては、法的知識構造の解明と法律知識べ一ス構築のための基礎理論である論理法学を提供された。国連売買条約およびその基礎にある契約法一般の法的知識の論理構造が解明された。そして契約に基づく全法律関係の変動を推論する契約法の演繹体系が解明された(吉野)。法的知識は、まず論理流れ図の形で表現され、さらに体系表の形でも整理された。論理流れ図で表現された法的知識は、開発された法的知識表現言語CPFの形式で知識べ一スに搭載された。法律概念電子化辞書が作成された(吉野、和田)。モンタギュ文法に基づく知識表現も検討された(岡田)。国際取引に関する設例が作成され、その解法が示めされた(松本恒雄)。同法に関連する判例、学説が整理・分析された(曾野、山手、北原、坂本)。また私法分野である(国際売買)契約法に関する知識構造解明と知識べ一ス構築の成果が、公法である税法(木村)と海上交通法(松本宏之)に応用された。CISGの拡張解釈や類推適用の際の法的発見の推論の知識構造が分析され、その形式化がなされた(吉野)。

報告書

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

    (55件)

すべて その他

すべて 文献書誌 (55件)

  • [文献書誌] Yoshino. H.,: "Fundamental Approaches to Legal Logic" 法学研究 故酒田正敏教授追悼号 (62 明治学院論叢587号). 587号. 1-11 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] Yoshino. H.: "The Logical Structure of Argumentation in Juridical Decisions" 法学研究 法学部創立三十周年記念論文集. 590号. 1-26 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] M.Qing XU: "“A Fuzzy Theoretical Approach to Representation and Inference of Cases in CISG"" Artificial Intelligence and Law. (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 松本恒雄: "高度情報通信社会の契約法" 新版注釈民法13巻. 13巻. 250-272 (1996)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 松本恒雄: "コンピュータ化による取引法の変化" 京都司法書士会会報. 65巻. 49-72 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 松本恒雄: "消費者取引における不公正な契約条項の規制" 伊藤進教授還暦記念論文集『民法における「責任」の横断的考察』. 37-58 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 曽野和明: "国際契約の成立" ジュリスト増刊『国際私法の争点(新版)』. (1996)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 曽野和明: "国際契約" ジュリスト(民法百年特集). 1126号. (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 和田悟: "メタルールに関する一考察" 青森中央短期大学研究紀要. Vol.15. 107-116 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 和田悟・吉野一: "国連売買条約(CISG)の法律知識べ-スの構築" 平成7年度科学研究費補助金重点領域研究成果報告書. 106-156 (1996)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 和田悟・吉野一: "国際売買条約(CISG)の法律知識べ一スの構築(2)-変更を加えた承諾をめぐって" 平成8年度科学研究費補助金重点領域研究成果報告書. 114-117 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 和田悟・吉野一: "CISGにおける契約成立の推論過程 契約の成立方法と成立時期をめぐって" 平成9年度科学研究費補助金重点領域研究成果報告書. 114-121 (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 山手正史: "ウィーン売買条約の展開--適用可能性の拡張--" 東北学院大学論集・法律学. 48号. (1996)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 山手正史: "1980年国連国際物品売買条約--解釈上の諸傾向を中心として--" 国際経済法. 5号. (1996)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 木村弘之亮: "相続税の客体としての家族財団:ドイツ相続税法一条一項四号の解釈をめぐって" 法学研究. 71巻1号. 53-60 (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 木村弘之亮: "国際税法の起源(一)" 法学研究. 70巻7号. 1-30 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 北原宗律: "「法律エキスパートシステムの基礎的研究」" 修道商学. 37巻1号. (1996)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 北原宗律: "「インターネットにおける情報事故と情報通信倫理」" 電子情報通信学会・ソサイエティ大会講演論文集. (1996)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 平田勇人: "「ウィーン売買条約における信義則」" 高松大学紀要. 5号. (1996)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 坂本 正光: "「書式の争い(“Battle of the Forms")の申込みに変更を加えた承諾の解釈について:民法528条はどのようにして廃棄すべきか」" 『高田章教授退官記念論文集』. (1996)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 久田なつみ: "履歴情報を利用したユーザエージェントの構成とそのブラウザヘの適用" 情報処理学会第56回全国大会講演論文集. 4J-01. (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 岡田光弘: "論理的意味論に基づく法律文書の論理的知識表現論および論理的分析システム研究報告" 平成9年度科学研究費補助金重点領域研究成果報告書.

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 松本宏之: "海上衝突予防法第一五条の論理構造分析" 海上保安大学校研究報告法文学. 43巻1号. (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] H.MATSUMOTO: "Towards the Systematization of the Japanese Maritime Traffic Law" J.of Advanced Computational Intelligence. Vol.1 No2. 130-136 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 吉野 一: "Fundamental Approaches to Legal Logic" 法学研究(明治学院論叢). 62(000号). 1-11 (1997)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 吉野 一: "The Logical Structure of Argumentation in juridical Decisions" 法学研究(明治学院論叢). 63(590号). 1-26 (1997)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 吉野 一: "国際売買契約法の知識構造-論理法学の視点から-" 法社会学年報. 49号. 173-177 (1997)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] S.Nakashima,J.Ali and J.Tanaka: "Applying Graph Drawing Algorithm to OMT Diagram" Proc.of the International Symposium on Future of Software Technology (ISFST-96),Xi'an China. 18-25 (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 曽野 和明: "「国際契約の成立」および「多国籍企業」" 「国際私法の争点(新版)」(ジュリスト増刊). (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 北原 宗律: "法律エキスパートシステムの基礎的研究" 修道商学. 37巻第1号. 251-279 (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 木村 弘之亮: "無制限納税義務と制限納税義務とのあいだの異動" 法学研究(慶応義塾大学). 69巻5号. (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 和田 悟: "法的メタルールに関する一考察" 青森中央短期大学研究紀要. 第15号(刊行予定). (1997)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 吉野 一: "The Logical Structure of Legal Meta-inference" “Challenges to Law at the End of the 20th Century", Proceedings of 17th IVR World Congress. (1995)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 吉野 一(Lluis Vila 共著): "Temporal Rpresentation for Legal Reasoning" Proc. of the Workshop on the 3rd International Workshop on a Legal Expert System for CISG. 41-51 (1995)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 吉野 一: "法的知識の構造解明の基礎理論としての論理法学" 法律エキスパートシステムの開発研究-法的知識構造の解明と法的推論の実現-. 82-93 (1996)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 吉野 一: "国連売買条約における法律関係の変動の構造-設例7bを例として-" 法律エキスパートシステムの開発研究-法的知識構造の解明と法的推論の実現-. 94-105 (1996)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 和田 悟・吉野 一: "国連売買条約(CISG)の法律知識ベースの構築" 法律エキスパートシステムの開発研究-法的知識構造の解明と法的推論の実現-. 106-156 (1996)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 松本 恒雄: "CISGエキスパートシステム開発研究実験用設例について-その2" 法律エキスパートシステムの開発研究-法的知識構造の解明と法的推論の実現-. 157-165 (1996)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 曽野 和明: "国連売買条約における演繹基盤の弾力性-論理と説得の葛藤-" 法律エキスパートシステムの開発研究-法的知識構造の解明と法的推論の実現-. 166-172 (1996)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 曽野 和明: "国際契約の成立" ジュリスト別冊・国際私法の争点. (近刊). (1996)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 坂本 正光: "Contract Formation of JCC as compared with CISG(2)" 法律科学研究所年報. 68-74 (1995)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 北原 宗律: "法律エキスパートシステムにおけるクリアケースとハードケース" 法律エキスパートシステムの開発研究-法的知識構造の解明と法的推論の実現-. 173-175 (1996)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 桜井 成一朗: "CPFとOSLの実行系について" 法律エキスパートシステムの開発研究-法的知識構造の解明と法的推論の実現-. 186-190 (1996)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] Yoshino,Hajime: "Representation of Legal Knowledge by Logic Flowchart and CPF" ICOT TECHNICAL MEMORANDUM. TM-1298. 143-157 (1994)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] Yoshino,Hajime: "Representation of Legal Knowledge by Compound Predicate Formula" Proc.Workshop on Legal Application of Logic Programming. 128-137 (1994)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] Yoshino,Hajime: "The Knowldge Structure of Legal Meta-interference and its Systematization" Proc.Workshop on Application of Logic Programming to Legal Reasoning. 81-91 (1994)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] Yoshino,Hajime: "The Construction of Legal Knowledge base in terms of Legal Meta-interefence" Proc.International Symposium on Development of Legal Expert System'94. 48-64 (1994)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] 吉野一: "国連売買条約の知識構造とその形式化" 研究成果報告書「法律エキスパートシステムの開発研究-. (1994年度版). 98-112 (1995)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] 北原宗律: "法律エキスパートシステムとケース・ライブラリ" 研究成果報告書「法律エキスパートシステムの開発研究」. (1994年度版). 94-97 (1995)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] 吉野 一: "法的知識の表現方法一論理流れ図および複合的述語論理による法的知識の表現" 法律エキスパートシステムの開発研究-法的知識の解明と法的推論の実現-. 124-138 (1994)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 吉野 一: "国連売買条約の論理流れ図-第2部「契約成立」" 法律エキスパートシステムの開発研究-法的知識の解明と法的推論の実現-. 139-156 (1994)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 松本 恒雄: "法的推論実験のための設例とその解法" 法律エキスパートシステムの開発研究-法的知識の解明と法的推論の実現-. 115-122 (1994)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 北原 宗律: "国連売買条約に関する論理流れ図-売主の義務に関する第30条〜第40条を中心に-" 法律エキスパートシステムの開発研究-法的知識の解明と法的推論の実現-. 157-164 (1994)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 吉野 一・和田 悟: "国連売買条約の複合的述語論理式による表現-第2部「契約成立」について-" 法律エキスパートシステムの開発研究-法的知識の解明と法的推論の実現-. 165-180 (1994)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 桜井 成一朗: "国際統一売買法の知識ベース化の技術的論点" 法律エキスパートシステムの開発研究-法的知識の解明と法的推論の実現-. 181-185 (1994)

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

URL: 

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

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

Powered by NII kakenhi