Skip to main content

Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data

  • Conference paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009)

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

  • 1300 Accesses

Abstract

We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information. This framework is composed of non-deterministic semantic structures and distance-based considerations. The combination of these two principles leads to a variety of entailment relations that can be used for reasoning about non-deterministic phenomena and are inconsistency-tolerant. We investigate the basic properties of these entailments and demonstrate their usefulness in the context of model-based diagnostic systems.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Arieli, O.: Distance-based paraconsistent logics. International Journal of Approximate Reasoning 48(3), 766–783 (2008)

    Article  MATH  Google Scholar 

  2. Arieli, O., Zamansky, A.: Reasoning with uncertainty by Nmatrix–Metric semantics. In: Hodges, W., de Queiroz, R. (eds.) Logic, Language, Information and Computation. LNCS, vol. 5110, pp. 69–82. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  3. Arieli, O., Zamansky, A.: Some simplified forms of reasoning with distance-based entailments. In: Bergler, S. (ed.) Canadian AI. LNCS (LNAI), vol. 5032, pp. 36–47. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  4. Avron, A.: Non-deterministic semantics for familes of paraconsistent logics. In: Beziau, J.-Y., Carnielli, W., Gabbay, D.M. (eds.) Handbook of Paraconsistency. Studies in Logic, vol. 9, pp. 285–320. College Publications (2007)

    Google Scholar 

  5. Avron, A., Konikowska, B.: Multi-valued calculi for logics based on non-determinism. Logic Journal of the IGPL 13(4), 365–387 (2005)

    Article  MATH  Google Scholar 

  6. Avron, A., Lev, I.: Non-deterministic multi-valued structures. Journal of Logic and Computation 15, 241–261 (2005)

    Article  MATH  Google Scholar 

  7. Gabbay, D.: Theoretical foundation for non-monotonic reasoning, Part II: Structured non-monotonic theories. In: Proc. SCAI 1991. IOS Press, Amsterdam (1991)

    Google Scholar 

  8. Konieczny, S., Pino Pérez, R.: Merging information under constraints: a logical framework. Journal of Logic and Computation 12(5), 773–808 (2002)

    Article  MATH  Google Scholar 

  9. Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44(1-2), 167–207 (1990)

    Article  MATH  Google Scholar 

  10. Lin, J., Mendelzon, A.O.: Knowledge base merging by majority. In: Dynamic Worlds: From the Frame Problem to Knowledge Management. Kluwer, Dordrecht (1999)

    Google Scholar 

  11. Ravesz, P.: On the semantics of theory change: arbitration between old and new information. In: Proc. PODS 1993, pp. 71–92. ACM Press, New York (1993)

    Google Scholar 

  12. Rosser, J., Turquette, A.R.: Many-Valued Logics. North-Holland, Amsterdam (1952)

    MATH  Google Scholar 

  13. Shoham, Y.: Reasoning about Change. MIT Press, Cambridge (1988)

    MATH  Google Scholar 

  14. Urquhart, A.: Many-valued logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 249–295. Kluwer, Dordrecht (2001)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Arieli, O., Zamansky, A. (2009). Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data. In: Sossai, C., Chemello, G. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2009. Lecture Notes in Computer Science(), vol 5590. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02906-6_68

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02906-6_68

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02905-9

  • Online ISBN: 978-3-642-02906-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics