A recent major approach to deal, formally and computationally, with knowledge and belief is the AGM. We will show the adequate representation of this paradigm using three-valued model frames. AGM expansion, contraction, and revision operations, with modal epistemic formulas of a priori knowledge, a posteriori knowledge, belief, and potential knowledge are introduced. Operativity of the mentioned proposal, in an automated deduction perspective but intuition preserving, is well suited using the (Three-Valued) analytic ableaux (AT) method. Treatment of the update theory of Katsuno and Mendelzon - the other major approach - inside our framework is outlined.
CitationAlvarado, G.; Núñez Esquer, Gustavo. "Change of belief in SKL model frames (automatization based on analytic tableaux)". 1996.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder. If you wish to make any use of the work not provided for in the law, please contact: email@example.com