Change of Belief in SKL Model Frames (Automatization Based on Analytic Tableaux)

. Recent major approach to deal, formal and computationally with knowledge and belief, is the AGM [1]. We will show the adequate representation of this paradigm using three-valued model frames [9]. 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 mentioned proposal, in an automated deduction perspective but intuition preserving, is well suited using the (Three-Valued) Analytic Tableaux (AT) method. Treatment of the Update Theory of Katsuno and Mendelzon [14] --the other major approach-- inside our framework is outlined. 1 Antecedents Recent major approaches to deal formally with knowledge and belief, are the Alchourron, Gardenfors and Makinson (AGM) [1] and the Update Theory of Katsuno and Mendelzon [14]. Both proposals, known as change of belief, have becomed classical in epistemic logics and in database updating areas. The issue is the adequa..