Skip to main content
SpringerLink
Log in
Book cover

International Conference on Conceptual Structures

ICCS 2002: Conceptual Structures: Integration and Interfaces pp 314–325Cite as

Modal Logic for Evaluating Formulas in Incomplete Contexts

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2393))

Abstract

Formal contexts are used to represent objects as attribute sets. Incomplete contexts may be used to describe situations when it is not known whether an object has a particular attribute. In this paper, the notion of validity of implications in incomplete contexts is discussed. It is then extended to the case of an arbitrary propositional formula describing a certain dependency between attributes. Existing approaches to evaluating such formulas in incomplete contexts prove to be inadequate. A new three-valued modal logic with the third value of nonsense is introduced. Applied to incomplete contexts, this logic appears suitable for evaluating formulas.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bochvar, D.A., Finn V.K.: On Many-Valued Logics That Allow the Formalization of Antinomy Analysis. Issledovaniya po matematicheskoi lingvistike, matematicheskoi logike i informatsionnym yazykam (Studies of Mathematical Linguistics, Mathematical Logic and Information Languages). Moscow (1972) 238–295

    Google Scholar 

  2. Burmeister, P., Holzer, R.: On the Treatment of Incomplete Knowledge in Formal Concept Analysis. Proc. 8th Int. Conf. on Conceptual Structures. Darmstadt (2000) 385–398

    Google Scholar 

  3. Ferré, S.: Complete and Incomplete Knowledge in Logical Information Systems. Proc. European Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (2001)

    Google Scholar 

  4. Finn, V.K., Grigolia, R.: Nonsense Logics and Their Algebraic Properties. Theoria, Vol. LIX. Parts 1-3 (1993) 207–273

    MathSciNet  Google Scholar 

  5. Fitting, M.C.: Many-Valued Modal Logics, I-II. Fundamenta Informaticae 15 (1991) 235–254; 17 (1992) 55-73

    MathSciNet  MATH  Google Scholar 

  6. Ganter, B., Kuznetsov, S.O.: Pattern Structures and Their Projections. Proc. 9th Int. Conf. on Conceptual Structures. Stanford (2001) 129–142

    Google Scholar 

  7. Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer-Verlag, Berlin Heidelberg New York (1999)

    MATH  Google Scholar 

  8. Guigues, J.-L., Duquenne, V.: Familles minimales d’implications informative résultant d’un tableau de donnée binaires. Math. Sci. Humaines. 95 (1986) 5–18

    MathSciNet  Google Scholar 

  9. Holzer, R.: Methoden der formalen Begriffsanalyse bei der Behandlung unvollständigen Wissens. Dissertation. Shaker-Verlag (2001)

    Google Scholar 

  10. Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Cresswell, Routledge (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Russian State University for the Humanities, Moscow, Russia

    Sergei Obiedkov

Authors
  1. Sergei Obiedkov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Library and Information Science, Indiana University, 1320 E 10th Street, Bloomington, IN, 47405-3907, USA

    Uta Priss

  2. School of Computer and Information Science, University of South Australia, Mawson Lakes, SA, Australia, 5095

    Dan Corbett

  3. Central Laboratory for Parallel Processing, Bulgarian Academy of Sciences, 25A Acad. G. Bonchev Street, 1113, Sofia, Bulgaria

    Galia Angelova

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Obiedkov, S. (2002). Modal Logic for Evaluating Formulas in Incomplete Contexts. In: Priss, U., Corbett, D., Angelova, G. (eds) Conceptual Structures: Integration and Interfaces. ICCS 2002. Lecture Notes in Computer Science(), vol 2393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45483-7_24

Download citation

  • DOI: https://doi.org/10.1007/3-540-45483-7_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43901-1

  • Online ISBN: 978-3-540-45483-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation