Abstract
Three-Valued Strong Kleene Logic [16], provides an adequate framework to deal with belief increasing. In this paper, undefined truthvalue is used to denote opinionless information. Through an informative refinement, such information could become to be true or false in a step by step way. Our approach is based upon model frames [9], that are sets of informatively ordered three-valued interpretations. A relation of compatibility among frames, being a partial informative order, is defined. Belief increasing is accomplished by using the compatibility relation that is based on concatenation operation over model frames. A correspondence between model frames and analytic tableaux is outlined. It provides to deal with model frames by using that powerful proof method [11].
Preview
Unable to display preview. Download preview PDF.
References
C. Alchourron, P. Gärdenfors and D. Makinson: On the Logic of Theory Change: Partial Meet Contraction and Revision Function. Journal of Symbolic Logic. Vol. 50 (1985) 510–530.
M. Alvarado: A Posteriori Knowledge: from Ambiguous Knowledge and Undefined Information to Knowledge. In Ptocc. of ECSQARU '95 Lecture Notes in Artificial Intelligence 946. Fribourg, Switzerland (1995).
A. Avron: Natural 3-Valud Logics Characterization and Proof Systems. Journal of Symbolic Logic Vol. 56 No. 1, March 1991.
N. Belnap: A useful four-valued logic In Dunn and Epstein (Eds.) Modern Uses of Logic. Reidel Publishing Co, 1976.
Beckert: 3TAP Tableau-Based Theorem Prover. Karlsruhe University, Germany (1994)
G. Brewka and J. Hertzberg: How to do thing with worlds. Journal of Logic and Computation Vol No. (1993).
A. Del Val and Y. Shoham: A unified view of Belief Revision and Update. Journal of Logic and Computation Vol. 4 No. 5 pp 797–810 (1994)
S. Demri: Uniform and Non uniform Strategies for Tableaux Calculi for Modal Logic. In Procc. of Workshop on Logics in Artificial Intelligence JELIA'94, LNAI 738, Springer Verlag (1994)
P. Doherty, W. Lukasciewicz: NML3. A Non-Monotonic Logic with Explicit Defaults. Journal of Applied Non-Classical Logic Vol. 2 No. 1 (1992)
C. Geisler and K. Konolige: A resolution method for quantified modal logics of knowledfge and belief. In Procc of Reasoning About Knowledge Conference, (1986).
M. Fitting: First-Order Modal Tableaux. Journal of Automated Reasoning 4 (1988) pp. 191–213.
P. Gärdenfors: Knowledge in Flux. The MIT Press (1988).
M. Ginsberg: Bilattices and Modal Operators.
J. Hintikka: Knowledge and Belief (Cornell University Press 1962).
H. Katsuno and A. Mendelzon Propositional knowledge base revision and minimal change. Artificial Intelligence 52 (1991) 263–294.
S. Kleene: Introduction to Metamathematical. North Holland Ed. (1952)
K. Konolige: A Deduction Model of Belief and its Logics (Morgan Kaufmann, 1986).
S. Kripke: A completness theorem in modal logic. The Journal of Symbolic Logic. 24-1 (1959) pp. 1–14.
G. Núñez, M. Alvarado: An Approache to Belief in Strong Kleene Logic. Report de Recerca LSI-95-27, Technical University of Catalonia (1995)
N. Zabel: Nouvelles Techniques de Deduction Automatique en Logiques Polyvalentes Finies et Infinies du Premier Ordre, PhD Thesis. Institut National Polytechnique de Grenoble (1993)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alvarado, M., Núñez, G. (1995). Belief increasing in SKL model frames. In: Wainer, J., Carvalho, A. (eds) Advances in Artificial Intelligence. SBIA 1995. Lecture Notes in Computer Science, vol 991. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0034796
Download citation
DOI: https://doi.org/10.1007/BFb0034796
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60436-5
Online ISBN: 978-3-540-47467-8
eBook Packages: Springer Book Archive