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

法律知識ベースの構築

Research Project

Project/Area Number 05208105
Research Category

Grant-in-Aid for Scientific Research on Priority Areas

Allocation TypeSingle-year Grants
Research InstitutionMeiji Gakuin University

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) 山手 正史  立命館大学, 法学部, 教授 (70200764)
木村 弘之亮  慶応大学, 法学部, 教授 (60051885)
和田 悟  明治大学, 政治経済学部, 専任講師 (90258757)
曽野 和明 (曾野 和明)  帝塚山大学, 法政策学部, 教授 (40002258)
松本 恒雄  一橋大学, 法学部, 教授 (20127715)
田中 二郎  筑波大学, 電子情報工学系, 助教授 (20251043)
北原 宗律  広島修道大学, 商学部, 教授 (70234268)
櫻井 成一朗 (桜井 成一朗 / 櫻井 成一郎)  東京工業大学, 大学院・総合理工研究科, 助手 (20202088)
坂本 正光  明治学院大学, 法学部, 助教授 (60257136)
Project Period (FY) 1997
Project Status Completed (Fiscal Year 1997)
Budget Amount *help
¥64,400,000 (Direct Cost: ¥64,400,000)
Fiscal Year 1997: ¥12,800,000 (Direct Cost: ¥12,800,000)
Fiscal Year 1996: ¥12,300,000 (Direct Cost: ¥12,300,000)
Fiscal Year 1995: ¥11,000,000 (Direct Cost: ¥11,000,000)
Fiscal Year 1994: ¥12,200,000 (Direct Cost: ¥12,200,000)
Fiscal Year 1993: ¥16,100,000 (Direct Cost: ¥16,100,000)
Keywords知識ベース / 契約法 / 国連売買条約 / 論理法学 / 法的推論 / 法的知識 / エキスパートシステム / 論理 / 法律 / 推論 / 知識 / 人工知能 / 国際売買契約 / 流れ図 / 述語論理 / 知識表現 / 法律エキスパートシステム / 売買契約
Research Abstract

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

    (55 results)

All Other

All Publications (55 results)

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

    • Related Report
      1997 Annual Research Report
  • [Publications] Yoshino. H.: "The Logical Structure of Argumentation in Juridical Decisions" 法学研究 法学部創立三十周年記念論文集. 590号. 1-26 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] M.Qing XU: "“A Fuzzy Theoretical Approach to Representation and Inference of Cases in CISG"" Artificial Intelligence and Law. (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 松本恒雄: "高度情報通信社会の契約法" 新版注釈民法13巻. 13巻. 250-272 (1996)

    • Related Report
      1997 Annual Research Report
  • [Publications] 松本恒雄: "コンピュータ化による取引法の変化" 京都司法書士会会報. 65巻. 49-72 (1997)

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

    • Related Report
      1997 Annual Research Report
  • [Publications] 曽野和明: "国際契約の成立" ジュリスト増刊『国際私法の争点(新版)』. (1996)

    • Related Report
      1997 Annual Research Report
  • [Publications] 曽野和明: "国際契約" ジュリスト(民法百年特集). 1126号. (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] 和田悟: "メタルールに関する一考察" 青森中央短期大学研究紀要. Vol.15. 107-116 (1997)

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

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

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

    • Related Report
      1997 Annual Research Report
  • [Publications] 山手正史: "ウィーン売買条約の展開--適用可能性の拡張--" 東北学院大学論集・法律学. 48号. (1996)

    • Related Report
      1997 Annual Research Report
  • [Publications] 山手正史: "1980年国連国際物品売買条約--解釈上の諸傾向を中心として--" 国際経済法. 5号. (1996)

    • Related Report
      1997 Annual Research Report
  • [Publications] 木村弘之亮: "相続税の客体としての家族財団:ドイツ相続税法一条一項四号の解釈をめぐって" 法学研究. 71巻1号. 53-60 (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] 木村弘之亮: "国際税法の起源(一)" 法学研究. 70巻7号. 1-30 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 北原宗律: "「法律エキスパートシステムの基礎的研究」" 修道商学. 37巻1号. (1996)

    • Related Report
      1997 Annual Research Report
  • [Publications] 北原宗律: "「インターネットにおける情報事故と情報通信倫理」" 電子情報通信学会・ソサイエティ大会講演論文集. (1996)

    • Related Report
      1997 Annual Research Report
  • [Publications] 平田勇人: "「ウィーン売買条約における信義則」" 高松大学紀要. 5号. (1996)

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

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

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

    • Related Report
      1997 Annual Research Report
  • [Publications] 松本宏之: "海上衝突予防法第一五条の論理構造分析" 海上保安大学校研究報告法文学. 43巻1号. (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] H.MATSUMOTO: "Towards the Systematization of the Japanese Maritime Traffic Law" J.of Advanced Computational Intelligence. Vol.1 No2. 130-136 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 吉野 一: "Fundamental Approaches to Legal Logic" 法学研究(明治学院論叢). 62(000号). 1-11 (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 吉野 一: "The Logical Structure of Argumentation in juridical Decisions" 法学研究(明治学院論叢). 63(590号). 1-26 (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 吉野 一: "国際売買契約法の知識構造-論理法学の視点から-" 法社会学年報. 49号. 173-177 (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 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)

    • Related Report
      1996 Annual Research Report
  • [Publications] 曽野 和明: "「国際契約の成立」および「多国籍企業」" 「国際私法の争点(新版)」(ジュリスト増刊). (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 北原 宗律: "法律エキスパートシステムの基礎的研究" 修道商学. 37巻第1号. 251-279 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 木村 弘之亮: "無制限納税義務と制限納税義務とのあいだの異動" 法学研究(慶応義塾大学). 69巻5号. (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 和田 悟: "法的メタルールに関する一考察" 青森中央短期大学研究紀要. 第15号(刊行予定). (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 吉野 一: "The Logical Structure of Legal Meta-inference" “Challenges to Law at the End of the 20th Century", Proceedings of 17th IVR World Congress. (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 吉野 一(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)

    • Related Report
      1995 Annual Research Report
  • [Publications] 吉野 一: "法的知識の構造解明の基礎理論としての論理法学" 法律エキスパートシステムの開発研究-法的知識構造の解明と法的推論の実現-. 82-93 (1996)

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

    • Related Report
      1995 Annual Research Report
  • [Publications] 和田 悟・吉野 一: "国連売買条約(CISG)の法律知識ベースの構築" 法律エキスパートシステムの開発研究-法的知識構造の解明と法的推論の実現-. 106-156 (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 松本 恒雄: "CISGエキスパートシステム開発研究実験用設例について-その2" 法律エキスパートシステムの開発研究-法的知識構造の解明と法的推論の実現-. 157-165 (1996)

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

    • Related Report
      1995 Annual Research Report
  • [Publications] 曽野 和明: "国際契約の成立" ジュリスト別冊・国際私法の争点. (近刊). (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 坂本 正光: "Contract Formation of JCC as compared with CISG(2)" 法律科学研究所年報. 68-74 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 北原 宗律: "法律エキスパートシステムにおけるクリアケースとハードケース" 法律エキスパートシステムの開発研究-法的知識構造の解明と法的推論の実現-. 173-175 (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] 桜井 成一朗: "CPFとOSLの実行系について" 法律エキスパートシステムの開発研究-法的知識構造の解明と法的推論の実現-. 186-190 (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] Yoshino,Hajime: "Representation of Legal Knowledge by Logic Flowchart and CPF" ICOT TECHNICAL MEMORANDUM. TM-1298. 143-157 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Yoshino,Hajime: "Representation of Legal Knowledge by Compound Predicate Formula" Proc.Workshop on Legal Application of Logic Programming. 128-137 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] 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)

    • Related Report
      1994 Annual Research Report
  • [Publications] 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)

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

    • Related Report
      1994 Annual Research Report
  • [Publications] 北原宗律: "法律エキスパートシステムとケース・ライブラリ" 研究成果報告書「法律エキスパートシステムの開発研究」. (1994年度版). 94-97 (1995)

    • Related Report
      1994 Annual Research Report
  • [Publications] 吉野 一: "法的知識の表現方法一論理流れ図および複合的述語論理による法的知識の表現" 法律エキスパートシステムの開発研究-法的知識の解明と法的推論の実現-. 124-138 (1994)

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

    • Related Report
      1993 Annual Research Report
  • [Publications] 松本 恒雄: "法的推論実験のための設例とその解法" 法律エキスパートシステムの開発研究-法的知識の解明と法的推論の実現-. 115-122 (1994)

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

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

    • Related Report
      1993 Annual Research Report
  • [Publications] 桜井 成一朗: "国際統一売買法の知識ベース化の技術的論点" 法律エキスパートシステムの開発研究-法的知識の解明と法的推論の実現-. 181-185 (1994)

    • Related Report
      1993 Annual Research Report

URL: 

Published: 1993-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi