Title:	DYNAMIC EPISTEMIC REASONING SYSTEM WITH AWARENESS (DEMO+A) AND ITS LEGAL APPLICATION
Author(s):	Tetsuji Goto, Ryo Hatano and Satoshi Tojo
ISBN:	978-989-8533-80-7
Editors:	Ajith P. Abraham, Jörg Roth and Guo Chao Peng
Year:	2018
Edition:	Single
Keywords:	Dynamic Epistemic Logic, Action Model, Model Checking, Awareness, Legal Reasoning
Type:	Full Paper
First Page:	73
Last Page:	80
Language:	English
Cover:
Full Contents:	click to dowload
Paper Abstract:	For a software tool of legal reasoning, it is important to describe the prediction about the result of a criminal action, because a crime is often caused by the unpredictability about the result of the defendant. In the court, the judge needs to investigate the predictability and the intention of the agent. Previously, we have formalized the reasoning process of judgment by action model in dynamic epistemic logic (DEL) and have attempted to describe the precedents. However, the prediction in legal cases depends not only on the states of knowledge but also on the limited degree of attention by agents. In this paper, we employ DEL with awareness for multi-agent to represent the predictability and model the typical criminal precedents. We propose a revised semantics of action model with awareness which can define the concrete action models to simulate the agent’s considering process. We introduce an extension of model checking program DEMO to include the awareness (we call it DEMO+A). We also present a GUI in this extended program to calculate the updated epistemic model easily and to classify precedents according to degree of prediction. In the end, we simulate the typical cases of criminal law by this newly developed tool and estimated them.
	Go Back