JAIST Repository >
School of Information Science >
Articles >
Journal Articles >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/4583

Title: 法律知識の事象的/属性的読みを区別した推論システム
Authors: 兼岩, 憲
東条, 敏
Issue Date: 1999-07-15
Publisher: 情報処理学会
Magazine name: 情報処理学会論文誌
Volume: 40
Number: 7
Start page: 2892
End page: 2904
Abstract: 法的推論の研究では,法律知識を計算機上でどのように表現するかが問題となる.従来の法的推論システムは,知識の一回性/広域性や適用範囲の特性に十分対応しておらず,法令文などの記述がシステムに合わせて書き換えられ,本来持っている暗黙の意味や推論力を損なう場合がある.法律知識は事件の記述から形式的な法令文にわたっており,それぞれが意図する意味から適切に推論するためには,自然言語文に現れる事象と属性を区別しなければならない.本稿では,自然言語の解釈に注目し,法令文の事象的/属性的読みからもたらされる述語の上位導出や暗黙対象への量化の違いをサポートした推論システムを提案する.それにより,事象的読みと属性的読みとに依存した柔軟な推論メカニズムを使って法令文の適用が可能になる.さらに,述語のイベント/プロパティの識別,型表現,および型への量化の概念を導入して,読みの特性に基づいた型変換と引数の操作による単一化を備えた論理プログラミングを形式化する.最後に,推論システムを実装し,法律知識の例によって実行した結果を示す. : In legal reasoning, the knowledge representation is one of the toughest problems, and thus far many subtle representation of natural language have been lost when they have been formalized. In particular, when the legal knowledge is represented in the form of predicate logic, the distinction between one occurrence of an event and a universal property has been neglected and thus the implicit meaning of the original rules (and therefore the ability to make inferences from them) has been lost. In this paper, we distinguish events and properties in predicates, as the problem of quantification. We introduce a legal reasoning system based on order-sorted logic, where we hierarchically sort both of predicates and objects, and distinguish events from properties by superordinate-predicate derivation and quantification of implicit objects. As a result, we would be able to apply legal rules to flexible inference that operate on both properties and events. We implement a logic programming system with unification/resolution mechanisms, where the distinction is realized as the substitution of sort and the manipulation of arguments, and show the feasibility.
Rights: 社団法人 情報処理学会, 兼岩 憲, 東条 敏, 情報処理学会論文誌, 40(7), 1999, 2892-2904. ここに掲載した著作物の利用に関する注意: 本著作物の著作権は(社)情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。 Notice for the use of this material: The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan.
URI: http://hdl.handle.net/10119/4583
Material Type: publisher
Appears in Collections:b10-1. 雑誌掲載論文 (Journal Articles)

Files in This Item:

File Description SizeFormat
6322.pdf1545KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology