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/7780

Title: 法的推論のための論理型イベント言語
Authors: 兼岩, 憲
東条, 敏
Issue Date: 2007-12-15
Publisher: 情報処理学会
Magazine name: 情報処理学会論文誌
Volume: 48
Number: 12
Start page: 3996
End page: 4011
Abstract: 法的推論システムの実現には,法令文のルール知識に加えて判例を描写するイベント(一回性の事象)のための表現手段が必要である.特に,判例の中身は複数のイベントによって展開されており,動的な知識表現とその論理的な推論を法的推論システムに取り込まなければならない.イベントは一回性・一時性を持った動作あるいはアクションであり,静的なプロパティと対比される概念である.これまでイベントの概念は,オントロジ,論理学,言語学,人工知能,演繹データベースなど様々な研究分野で扱われてきているが,各アプローチとも法的推論でのイベント記述の多様な側面を同時にとらえるには不十分であった.本論文では,法的推論で現れる語彙や記述を例に用い,イベントの量化,ソート階層およびイベント間の合成と排他性を導入した知識表現とその論理型言語(イベント論理と呼ぶ)を提案する.この言語は,順序ソート付き二階述語論理に準じた論理的な表現によってイベントを定数,ソート,述語および変数と見なし,イベント言明のための知識表現と推論を可能にする.さらに,法的推論システムを実現する推論メカニズムの基盤を与えるために,イベント論理に対するソート付きのタブロー計算を設計して,その反駁推論による質問応答システムを構築する. : In order to implement a legal reasoning system, we have to provide a method that represents the suitable descriptions of events in addition to legal concepts and rules. An event, as opposed to an atemporal property, has its own time and location, and happens once and for all. Although the notion of events has been found in the researches of ontology, logic, linguistics, artificial intelligence and deductive databases, each approach does not seem to capture the various aspects of events represented in legal reasoning. In this paper, we propose an event logic with such expressions as quantification over events, event sort-hierarchy and composition and disjointness of events, based on some examples on event descriptions in legal knowledge. This logic is a variant of order-sorted second-order logic formalized by regarding events as constants, sorts, predicates and variables, which provides knowledge representation and reasoning for event assertions. In order to obtain a query-answering system, we present a sorted tableau calculus for refutation of event formulas in the logic.
Rights: 社団法人 情報処理学会, 兼岩憲/東条敏, 情報処理学会論文誌, 48(12), 2007, 3996-4011. ここに掲載した著作物の利用に関する注意: 本著作物の著作権は(社)情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。 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/7780
Material Type: publisher
Appears in Collections:b10-1. 雑誌掲載論文 (Journal Articles)

Files in This Item:

File Description SizeFormat
A11357.pdf264KbAdobe 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