Belief Re-revision in Chivalry Case

Abstract

Chivalry case is presented as an example legal case representing the judges' belief changes in the actual courtst. Chivalry case relates to a self-defense causing from a misconception. To formalize the judges' belief changes in this case, we propose a dynamic logical analysis composing of two dynamic operators, i.e., a commitment operator com and a permission operator per. For the commitment operator, we use a notion of local announcement from our previous work [8] in order to formalize a process of removing the accessibility in worlds. The permission operator is introduced to formalize a process of restoring the accessibility. In addition, our formalization is implemented in a computer to show that it can be use in a practical way.JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Paper