Abstract
This work is devoted to drawing conclusions based on a set of possibly inconsistent data. Particular attention is paid to distinguishing applications of inappropriate methods from inability to solve a problem combining several methods. Intermediate truth values are used to facilitate the process of comparing degrees of certainties among contexts. Three-level nested lattices are used to facilitate the process of distinguishing all possible outcomes of tests with pre-determined number of questions and pre-determined number of answer alternatives following each question.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bruns, G., Godefroid, P.: Model Checking Partial State Spaces with 3-Valued Temporal Logics. In: Halbwachs, N., Peled, D. (eds.) CAV 1999. LNCS, vol. 1633, pp. 274–287. Springer, Heidelberg (1999)
Davey, B.A., Priestley, H.A.: Introduction to lattices and order. Cambridge University Press, Cambridge (2005)
Ferreira, U.: Uncertainty and a 7-Valued Logic. In: Dey, P.P., Amin, M.N., Gatton, T.M. (eds.) The 2nd International Conference on Computer Science and its Applications, National University, San Diego, CA, pp. 170–173 (2004)
Fitting, M.: Kleene’s Logic. Generalized. J. Log. Comp. 1(6), 797–810 (1991)
Fitting, M.: Kleene’s three-valued logics and their children. Fundamenta Informaticae 20, 113–131 (1994)
Fitting, M.: Tableaus for many-valued modal logic. Studia Logica 55, 63–87 (1995)
Garcia, O.N., Moussavi, M.: A Six-Valued Logic for Representing Incomplete Knowledge. In: The 20th International Symposium on Multiple-Valued Logic, pp. 110–114. IEEE Computer Society Press, Charlotte (1990)
Garcia-Duque, J., Lopez-Nores, M., Pazos-Arias, J., Fernandez-Vilas, A., Diaz-Redondo, R., Gil-Solla, A., Blanco-Fernandez, Y., Ramos-Cabrer, M.: A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications. J. Log. Comp. 16(2), 227–255 (2006)
Hahnle, R., Werner Kernig, W.: Verification of Switch-level designs with many-valued logic. LNCS, vol. 698, pp. 158–169. Springer, Heidelberg (1993)
Apache HTTP Server Project, http://httpd.apache.org/
Python Programming Language, http://www.python.org/
SQLite, http://www.sqlite.org/
Immerman, N., Rabinovich, A., Reps, T., Sagiv, M., Yorsh, G.: The boundery between decidability and undecidability of transitive closure logics. In: CSL 2004 (2004)
Kim, M., Maida, A.S.: Reliability measure theory: a nonmonotonic semantics. IEEE Tr. on K. and D. Eng. 5(1), 41–51
Kleene, S.: Introduction to Metamathematics. D. Van Nostrand Co., Inc., New York (1952)
Lukasiewicz, J.: On Three-Valued Logic. Ruch Filozoficzny, 5 (1920). In: Borkowski, L. (ed.) 1970. Jan Lukasiewicz: Selected Works, North Holland, Amsterdam (1920)
Moussavi, M., Garcia, O.N.: A Six-Valued Logic and its application to artificial intelligence. In: The Fifth Southeastern Logic Symposium (1989)
Takashima, M., Mitsuhashi, T., Chiba, T., Yoshida, K.: Programs for Verifying Circuit Connectivity of MOS/LSI Mask Artwork. In: 19th Conference on Design Automation, pp. 544–550. IEEE Computer Society Press, Los Alamitos (1982)
Wille, R.: Concept lattices and conceptual knowledge systems. Comp. Math. Appl. 23(6-9), 493–515 (1992)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Encheva, S., Tumin, S. (2008). Inconsistency Management. In: Huang, DS., Wunsch, D.C., Levine, D.S., Jo, KH. (eds) Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques. ICIC 2008. Communications in Computer and Information Science, vol 15. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85930-7_36
Download citation
DOI: https://doi.org/10.1007/978-3-540-85930-7_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85929-1
Online ISBN: 978-3-540-85930-7
eBook Packages: Computer ScienceComputer Science (R0)