|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/10931
|
| タイトル: | An Intuitionistic Investigation of Prerequisite-Effect Structure |
| 著者: | Sano, Katsuhiko
Hagiwara, Shingo
Tojo, Satoshi |
| キーワード: | Kripke semantics
Legal reasoning
logic |
| 発行日: | 2012 |
| 出版者: | Springer |
| 誌名: | Lecture Notes in Computer Science |
| 巻: | 7258 |
| 開始ページ: | 170 |
| 終了ページ: | 183 |
| DOI: | 10.1007/978-3-642-32090-3_15 |
| 抄録: | Although the formalization of legal documents is quite useful, they contain various kinds of if-then relations. In this paper, we aim at formalizing the prerequisite-effect structure in temporal/causal settings. We regard the progress of time as hereditary accessibility in temporal states, and thus we introduce Kripke semantics. Our ultimate objective is to construct a legal reasoning system, however, since those various kinds of logical relations may complicate the reasoning system we avoid to introduce multiple modal operators. We stay in simple intuitionistic logic, and we will extend it to include the prerequisite-effect structure. Then, the structure is defined in the augmentation of known facts, that is, the effect is immediately follows after the prerequisite is satisfied. |
| Rights: | This is the author-created version of Springer, Katsuhiko Sano, Shingo Hagiwara, and Satoshi Tojo, Lecture Notes in Computer Science, 7258, 2012, 170-183. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-642-32090-3_15 |
| URI: | http://hdl.handle.net/10119/10931 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 18141.pdf | | 101Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
