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

Title: Classification of Precedents by Modeling Tool for Action and Epistemic State: DEMO
Authors: Goto, Tetsuji
Tojo, Satoshi
Keywords: Dynamic Epistemic Logic
Action Model
Model Checking
Penal Code
Issue Date: 2015-08-25
Publisher: Springer
Magazine name: Lecture Notes in Computer Science
Volume: 9067
Start page: 227
End page: 243
DOI: 10.1007/978-3-662-48119-6_17
Abstract: 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
Material Type: author
Appears in Collections:b10-1. 雑誌掲載論文 (Journal Articles)

Files in This Item:

File Description SizeFormat
22000.pdf762KbAdobe 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