Skip to main content
SpringerLink
Log in

Inconsistency Management

  • Conference paper
Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques (ICIC 2008)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 15))

Included in the following conference series:

  • 1594 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Chapter  Google Scholar 

  2. Davey, B.A., Priestley, H.A.: Introduction to lattices and order. Cambridge University Press, Cambridge (2005)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. Fitting, M.: Kleene’s Logic. Generalized. J. Log. Comp. 1(6), 797–810 (1991)

    Article  MATH  MathSciNet  Google Scholar 

  5. Fitting, M.: Kleene’s three-valued logics and their children. Fundamenta Informaticae 20, 113–131 (1994)

    MATH  MathSciNet  Google Scholar 

  6. Fitting, M.: Tableaus for many-valued modal logic. Studia Logica 55, 63–87 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  7. 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)

    Google Scholar 

  8. 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)

    Article  MATH  MathSciNet  Google Scholar 

  9. Hahnle, R., Werner Kernig, W.: Verification of Switch-level designs with many-valued logic. LNCS, vol. 698, pp. 158–169. Springer, Heidelberg (1993)

    Google Scholar 

  10. Apache HTTP Server Project, http://httpd.apache.org/

  11. Python Programming Language, http://www.python.org/

  12. SQLite, http://www.sqlite.org/

  13. Immerman, N., Rabinovich, A., Reps, T., Sagiv, M., Yorsh, G.: The boundery between decidability and undecidability of transitive closure logics. In: CSL 2004 (2004)

    Google Scholar 

  14. Kim, M., Maida, A.S.: Reliability measure theory: a nonmonotonic semantics. IEEE Tr. on K. and D. Eng. 5(1), 41–51

    Google Scholar 

  15. Kleene, S.: Introduction to Metamathematics. D. Van Nostrand Co., Inc., New York (1952)

    MATH  Google Scholar 

  16. Lukasiewicz, J.: On Three-Valued Logic. Ruch Filozoficzny, 5 (1920). In: Borkowski, L. (ed.) 1970. Jan Lukasiewicz: Selected Works, North Holland, Amsterdam (1920)

    Google Scholar 

  17. Moussavi, M., Garcia, O.N.: A Six-Valued Logic and its application to artificial intelligence. In: The Fifth Southeastern Logic Symposium (1989)

    Google Scholar 

  18. 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)

    Google Scholar 

  19. Wille, R.: Concept lattices and conceptual knowledge systems. Comp. Math. Appl. 23(6-9), 493–515 (1992)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Stord/Haugesund University College, Bjørnsonsg. 45, 5528, Haugesund, Norway

    Sylvia Encheva

  2. IT-Dept., University of Bergen, P.O. Box 7800, 5020, Bergen, Norway

    Sharil Tumin

Authors
  1. Sylvia Encheva
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sharil Tumin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

De-Shuang Huang Donald C. Wunsch II Daniel S. Levine Kang-Hyun Jo

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation