著者

兼 岩憲 東条 敏

出版者

情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.48, no.12, pp.3996-4011, 2007-12-15

参考文献数

23

被引用文献数

1

---

法的推論システムの実現には,法令文のルール知識に加えて判例を描写するイベント(一回性の事象)のための表現手段が必要である.特に,判例の中身は複数のイベントによって展開されており,動的な知識表現とその論理的な推論を法的推論システムに取り込まなければならない.イベントは一回性・一時性を持った動作あるいはアクションであり,静的なプロパティと対比される概念である.これまでイベントの概念は,オントロジ,論理学,言語学,人工知能,演繹データベースなど様々な研究分野で扱われてきているが,各アプローチとも法的推論でのイベント記述の多様な側面を同時にとらえるには不十分であった.本論文では,法的推論で現れる語彙や記述を例に用い,イベントの量化,ソート階層およびイベント間の合成と排他性を導入した知識表現とその論理型言語(イベント論理と呼ぶ)を提案する.この言語は,順序ソート付き二階述語論理に準じた論理的な表現によってイベントを定数,ソート,述語および変数と見なし,イベント言明のための知識表現と推論を可能にする.さらに,法的推論システムを実現する推論メカニズムの基盤を与えるために,イベント論理に対するソート付きのタブロー計算を設計して,その反駁推論による質問応答システムを構築する.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.