|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/14218
|
| タイトル: | Classification of Precedents by Modeling Tool for Action and Epistemic State: DEMO |
| 著者: | Goto, Tetsuji
Tojo, Satoshi |
| キーワード: | Dynamic Epistemic Logic
Action Model
Model Checking
Penal Code |
| 発行日: | 2015-08-25 |
| 出版者: | Springer |
| 誌名: | Lecture Notes in Computer Science |
| 巻: | 9067 |
| 開始ページ: | 227 |
| 終了ページ: | 243 |
| DOI: | 10.1007/978-3-662-48119-6_17 |
| 抄録: | To determine whether the crime is really caused by the defendant, the judge examines the causal relation of each action in the case to an external factorin the Penal Code. In this process, the judgement is greatly influenced by the predictability of results and the awareness about actions. In this paper, we model these predictability or awareness by Dynamic Epistemic Logic (DEL), and thereafter we describe the change of knowledge of the judge by Action Model. For this purpose, we pick up several typical precedents, and classify them from the viewpoints of predictability and awareness. We implement the process of these precedents in the trial on DEMO (Dynamic Epistemic MOdeling) which can specify epistemic models and action models, and we observe the change of the judge’s epistemic states during the trial. Based on this observation, we categorize the outputs of DEMO into several patterns. |
| Rights: | This is the author-created version of Springer, Tetsuji Goto, Satoshi Tojo, Lecture Notes in Computer Science, 9067, 2015, 227-243. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-662-48119-6_17 |
| URI: | http://hdl.handle.net/10119/14218 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 22000.pdf | | 762Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
