Modeling Predictability of Agent in Legal Cases

A crime is often caused by the limited predictability of the accused. In the court, the judge needs to investigate the predictability and the intention of the agent. Thus far, we have formalized the reasoning process of judgement by Action Model in Dynamic Epistemic Logic (DEL), but simple DEL cannot handle the predictability well because 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 use DEL with Awareness for multi-agent to represent the predictability in legal cases and model the typical criminal precedents. Furthermore, we implement an extended DEMO (Dynamic Epistemic MOdeling) program including the awareness and observe the relation between the epistemic states or awareness states.