本研究は、実定法の言語分析を通じて法的知識の論理構造を明らかにするとともに、それに基づいて、実際に即して法的正当化の推論を行なう法律エキスパートシステムの基礎を確立することを目的とする。原理と方法の解明と実証を行なうために、AIワークステーション上に知識ベースと推論機構ならびに最小限のインターフェースからなる実験用のプロトタイプを作成する。三年間の研究において上記の研究目的はほぼ達成された。すなわ、(1)法的知識の構造については、ウィーン売買条件(一部)および民法(一部)の条文を法規範文単位に要件・効果の内的構造において解明するとともに、諸法規範文間の論理的結合関係を明かした。その際とくに法の適用を制御する推論の知識構造を法規範文とその効力を規定しているメタ法規範文の関係として解明した。(2)法律知識ベースとしては、上記分野において、上記原理に基づいて、法規範文とメタ法規範文を複合的述語論理式で表現し、サンプルシステムをAIワークステーションPSI-II上に作成した。(3)法的推論機構としては、a)適用すべき法規範文を決定する推論を、上記法的メタ法規範文を適用した演繹的正当化の推論として構成し、そのための法的メタ推論機構を完成した。また、b)この推論過程を理解・説明するためのユーザフレンドリーな説明機構を作成した。さらに、c)有限なルールを用いて多様な事件に対して法的解決を与えるための拡大解釈や類推適用の工学的モデルを、法的シソ-ラスの構造にしたがった仮説生成の推論として計算機上実装し、その有効性および問題点を検討した。また法的概念辞書の基礎を明らかにした。上記の研究に関連する論理学的、法哲学定、法社会学的、民法学的および情報・知識工学的的基礎付けを行った。本研究によって本格的な法律エキスパートシステムの開発研究の基礎が提供されたと言える。
2 0 0 0 アナロジカルアブダクションにおける仮説の選択について
- 著者
- 古川 康一 原口 誠 升田 俊樹
- 出版者
- 人工知能学会
- 雑誌
- 人工知能学会全国大会論文集 (ISSN:13479881)
- 巻号頁・発行日
- vol.29, pp.1-3, 2015
1 0 0 0 OA 類推の定式化とその実現
- 著者
- 原口 誠 有川 節夫
- 出版者
- 一般社団法人 人工知能学会
- 雑誌
- 人工知能 (ISSN:21882266)
- 巻号頁・発行日
- vol.1, no.1, pp.132-139, 1986-09-01 (Released:2020-09-29)
- 被引用文献数
- 2
We present in this paper a formal theory of analogical reasoning. We are mainly concerned with three subjects, a formal definition of analogy, a formalization of the reasoning in terms of deduction, and a method for realizing the reasoning in a logic programming system. First we assume that each domain for the reasoning is represented by a set of definite clauses, and hence it is the least model for the set. Then we consider an analogy as a partial identity between the models. Secondly we introduce a notion of rule transformation to transform rules in one domain into those in the other. Then we can formalize the reasoning as a system with three inference rules, instantiation of rules, modus ponens, and the rule transformation. Finally, based on this formalization, we present an extended pure-Prolog interpreter which performs the detection of analogy and reasoning by the analogy at the same time.
1 0 0 0 成文法と判例法を融合した法律人工知能システムの国際共同研究
- 著者
- 吉野 一 KOWALSKI Rob BRANTING Kar RUESSMANN He HERBERGER Ma ASHLEY Kevin BERMAN Donal HAFNER Carol 桜井 成一朗 北原 宗律 原口 誠 加賀山 茂 松村 良之 HELMUT Ruess ROBERT Kowal MAXIMILIAN H KEVIN D Ashe DONALD H Ber CAROLE D Haf RUESSMAN Hel
- 出版者
- 明治学院大学
- 雑誌
- 国際学術研究
- 巻号頁・発行日
- 1991
本研究は、国際統一売買法を対象領域として、成文法国である日本および西ドイツと判例法国であるアメリカ合衆国の研究者が、それぞれの法体系の特徴である「ルールに基づいた推論」と「事例に基づいた推論」の論理分析を行ない、それぞれの推論のシステム化の研究成果を交換するとともに、共同でルールの解釈と類推適用のメカニズムを解明し、それに基づいて、ルール型の推論システムと事例型推論システムとを融合させることを目的とした。平成5年度において次の点が達成された。(1)本国際共同研究によって、大陸法系の「ルールに基づいた推論」と英米法系の「事例に基づいた推論」の論理構造がそれぞれおおよそ明らにされた。(2)「ルールに基づいた推論」と「事例に基づいた推論」の相互関係、両者を融合させる道が明らかとなった。すなわち、法ルールの解釈において事例に基づく推論を利用する方法が明らにされた。(3)法的知識の表現方法として、論理流れ図の方法と複合的述語論理式(CPF)による方法とが確立された。(4)CISG(国連売買条約)の第2部契約成立の部分の論理構造が解明された。そしてそれが、開発された知識表現方法である(日本語と英語版の)論理流れ図およびCPFによって、コンピュータ上に表現された。この表現形式を共通の表現形式として用いることに日米の研究者の合意が形成された。(5)CISGの論理流れ図表現を対象に日・米の研究者が議論したが、これは異なる言語、異なる法文化を持つ日米の両国の法律家の間によいコミュニケーションを実現する方法であることが判明した。(6)CISGの法解釈学的諸論点が明らかとなった。また解釈の違いと背景となる法文化の関係が明らかになった。(7)ドイツ側の研究者は、英語、ドイツ語およびフランス語のマルチ言語のCISGのハイパーカードシステムを完成した。またCISGのドイツ語テキスト文からそれに対応する述語論理式を半自動生成する知識獲得支援実験システムを作成した。次の点で成果はあげつつも、当初計画をそのままの形で実現することはできなかった。(1)ルール型推論システムおよびルールからの類推実験システムを作成した。しかし、ルール型推論システムをアッシュレ-などの事例型推論システムと結合させるまでには至らなかった。従ってまた、ルールに基づいた推論と事例に基づいた推論を融合するシステムの実装も実現できなかった。(2)述語論理式から日本語文および英語文を生成する試験システムを作成したが、日本語と英語の法律知識ベースを融合するためのインターフェースを作成するまでには至らなかった。(3)研究のまとめ方と研究成果の執筆分担の取り決めがなされたが、年度内に本国際学術共同研究の成果報告書を作成することができなかった。これらは研究を進めるに従って問題の深さが明らかになり、安易にシステムの実装を急ぐより、研究の基礎を固めることにより努力した結果でもある。とはいえ、本国際学術共同研究によって、複数の言語で表現され、しかし条約として合意されたことによって一つの内容を持つCISG(国連売買条約)を対象にし、また大陸法系の成文法主義(ルール主義)の法的推論と英米法系の事例主義の法的推論を比較検討し、それを両者を融合させる方向で人工知能システムとして実現しようと努力したことによって、一方において、同法の諸論点が明らかになったとともに、異なる言語および法文化に属する法律家間のコミュニケーションの方法が提供された。本研究は比較法の新たなメソッドを提供した。他方において、人工知能研究にとっても、事例にもとづく推論で法ルールの解釈を支援するシステムの実現方法が確立された点で、有意義な成果を挙げたといえる。
- 著者
- 吉岡 真治 原口 誠 大久保 好章
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理学会研究報告データベースシステム(DBS) (ISSN:09196072)
- 巻号頁・発行日
- vol.2002, no.41, pp.151-158, 2002-05-21
情報検索システムを利用する検索者にとって、適切なキーワードを選択することは必ずしも容易なことではない。この問題に対し、検索者の検索意図を推定し、検索者の補完を行う検索システムが提案されている。しかし、補完した結果は複雑であることが多く、検索者が補完結果自体を評価することが困難である。本研究では、検索者にも理解しやすい概念階層の汎化という考え方を利用して、ユーザの検索意図を明示化すると共に、精度落ちを抑えた情報検索システムを提案する。本報では、概念階層の汎化のレベルを決定するために、検索者により入力された検索語が持つ適合性判定への寄与度を考える。また、本システムの性能を向上させるためには、概念階層自体が目的に応じて再構成されることが必要であることについて述べ、目的指向の概念階層の修正の方法を提案する。It is not easy for a user of Information Retrieval (IR) system to select appropriate keywords. Therefore, many IR systems have capability to modify keywords by estimating user's intent. However, since modified keywords are usually represented as complicated form, it is difficult to judge the appropriateness of them. In this research, we proposed a new IR system that uses adaptive generalization of keywords. When the system can selects appropriate generalization by estimating user's intent, the system can generate good keywords that have high readability and good retrieval performance. In this report, we proposed to use the contribution value of each keyword for relevance judgement to select appropriate generalization. In addition, we confirm general concept structure stored in a thesaurus is not sufficient for representing particular user's intent. Therefore, we proposed a purpose oriented method to modify concept structure.
1 0 0 0 インフルエンザウイルスの進化における共変異の変化の解析
- 著者
- 谷口 剛 伊藤公人 五十嵐 学 村上 悌治 高田 礼人 原口 誠
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理学会研究報告数理モデル化と問題解決(MPS) (ISSN:09196072)
- 巻号頁・発行日
- vol.2006, no.135, pp.185-192, 2006-12-22
インフルエンザウイルスにおける抗原変異の規則性を発見するために,アミノ酸残基の共変異を解析する共変異とは,タンパク質を構成するアミノ酸残基のうち〆複数の位置のアミノ酸が共に置換する現象である.従来からアミノ酸残基の共変異を解析する手法がいくつか提案されていたが,それらの手法では進化の過程における分岐や時間的関係が考慮されていなかったそこで,これらの問題を解決するために,進化系統解析によって得られる系統樹を利用する手法を提案する.過去40年間のH3N2亜型インフルエンザウイルスのHAタンパク質を対象とし,共変異の検出を行い,その結果を示す,また,共変異は時代と共に変化するため,共変異の変化を検出するための手法を提案する.The influenza viruses undergo antigenic drift to escape from antibody-mediated immune pressure. In order to predict possible structural changes of their molecules in future, it is important to analyze the patterns of amino acid substitutions in the past. In this paper, we present a new method to extract the sets of residue positions which were involved in correlated mutations. We also discuss a method to detect changes of correlation among co-evolving residues.
- 著者
- 谷口 剛 原口 誠 伊藤公人
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理学会研究報告数理モデル化と問題解決(MPS) (ISSN:09196072)
- 巻号頁・発行日
- vol.2007, no.128, pp.251-258, 2007-12-21
インフルエンザウイルスの遺伝子は突然変異を起こしやすい.抗体による免疫圧力によって,抗原性が変化したウイルスのみが生き残り,次の流行を引き起こす.ウイルスの進化の詳細を理解するために,本論文では,インフルエンザウイルスの進化において,アミノ酸置換の起こる残基位置が時代と共に変化するか否かを明らかにすることを目的とする.コントラストセットマイニングの枠組みを用いて,隣接するグループ列間の特徴的違いを発見するアルゴリズムを提案し,進化系統解析と提案手法を組み合わせることによって,アミノ酸置換の起こる残基位置の時代的変化を解析する.The influenza viruses undergo antigenic drift to escape from antibody-mediated immune pressure. In order to predict possible structural changes of their molecules in future, it is important to analyze the patterns of ammo acid substitutions in the past. In this paper, we present a method to extract segment of ordered groups in a phylogenic tree constructed from influenza virus gene sequences. We develop an algorithm for segmentation of ordered groups based on a contrast set, which identifies differences between two groups. We apply our algorithm to given ordered groups obtained from the phylogenic tree.
- 著者
- 谷口 剛 原口 誠 伊藤公人
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理学会研究報告バイオ情報学(BIO) (ISSN:09196072)
- 巻号頁・発行日
- vol.2007, no.128, pp.251-258, 2007-12-21
インフルエンザウイルスの遺伝子は突然変異を起こしやすい.抗体による免疫圧力によって,抗原性が変化したウイルスのみが生き残り,次の流行を引き起こす.ウイルスの進化の詳細を理解するために,本論文では,インフルエンザウイルスの進化において,アミノ酸置換の起こる残基位置が時代と共に変化するか否かを明らかにすることを目的とする.コントラストセットマイニングの枠組みを用いて,隣接するグループ列間の特徴的違いを発見するアルゴリズムを提案し,進化系統解析と提案手法を組み合わせることによって,アミノ酸置換の起こる残基位置の時代的変化を解析する.The influenza viruses undergo antigenic drift to escape from antibody-mediated immune pressure. In order to predict possible structural changes of their molecules in future, it is important to analyze the patterns of ammo acid substitutions in the past. In this paper, we present a method to extract segment of ordered groups in a phylogenic tree constructed from influenza virus gene sequences. We develop an algorithm for segmentation of ordered groups based on a contrast set, which identifies differences between two groups. We apply our algorithm to given ordered groups obtained from the phylogenic tree.