Topic: PARACONSISTENCY
What does Paraconsistency do?
The case of belief revision
by Koji Tanaka
In this talk, I apply a paraconsistent logic to the Grove's sphere semantics, that is a model for the AGM theory of belief revision. Firstly, I examine the soundness of the paraconsistent sphere semantics with respect to the AGM postulates. Secondly, I discuss some differences between classical (AGM) and a paraconsistent approach. I then argue that the theory of belief revision that is based on paraconsistent logic is simple and elegant, and of universal use.
Download link
Posted by Tony Marmo
at 06:44 BST
Updated: Saturday, 14 August 2004 06:50 BST
