Skip to main content
SpringerLink
Log in

Probabilistic Label Algebra for the Logic of Plausible Reasoning

  • Conference paper
Intelligent Information Systems 2002

Part of the book series: Advances in Soft Computing ((AINSC,volume 17))

Abstract

This paper presents plausible algebra for the logic of plausible reasoning (LPR), which is defined as a labeled deductive system. Labels representing uncertainty of knowledge are defined in terms of probability. Examples of applying proof rules conclude the work.

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. N. W. Alkharouf and R. S. Michalski. Multistrategy task-adaptive learning using dynamically interlaced hierarchies: A methodology and initial implementation of interlace. In Proceedings of the Third International Workshop on Multistrategy Learning, 1996.

    Google Scholar 

  2. D. Boehm-Davis, K. Dontas, and R. S. Michalski. A Validation and Exploration of the Collins-Michalski Theory of Plausible Reasoning. Reports of the Machine Learning and Inference Laboratory. George Mason University, 1990.

    Google Scholar 

  3. A. Collins and R. S. Michalski. The logic of plausible reasoning: A core theory. Cognitive Science, 13: 1–49, 1989.

    Article  Google Scholar 

  4. D. M. Gabbay. LDS - Labeled Deductive Systems. Oxford University Press, 1991.

    Google Scholar 

  5. J. Y. Halpern. An analisys of first-order logics of probability. Artificial Intelligence, 46: 311–350, 1990.

    Article  MathSciNet  MATH  Google Scholar 

  6. R. Jeffrey. The Logic of Decision. Unicersity of Chicago Press, second edition, 1983.

    Google Scholar 

  7. D. Koller and A. Pfeffer. Probabilistic frame-based systems. In AAAI/IAAI, pages 580–587, 1998.

    Google Scholar 

  8. J. Lukasiewicz. Many-valued systems of propositional logic. In S. McCall, editor, Polish logic. Oxford University Press, 1967.

    Google Scholar 

  9. Z. Pawlak. Rough sets. Int. J. Comp. Inf. Sci., 11: 344–356, 1982.

    MathSciNet  Google Scholar 

  10. J. Pearl. Fusion, propagation, and structuring in bayesian networks. Artificial Intelligence, 29: 241–288, 1986.

    Article  MathSciNet  MATH  Google Scholar 

  11. D. Pool. Probabilistic horn abduction and bayesian networks. Artificial Intelligence, 64: 81–129, 1993.

    Article  Google Scholar 

  12. G. Shafer. A Mathematical Theory of Evidence. Princeton University Press, 1976.

    Google Scholar 

  13. H. Shortliffe and B. G. Buchanan. A model of inexact reasoning in medicine. Mathematical Biosciences, 23: 351–379, 1975.

    Article  MathSciNet  Google Scholar 

  14. B. Snieynski. Verification of the logic of plausible reasoning. In M. Klopotek et al., editor, Intelligent Information Systems 2001, Advances in Soft Computing. Physica-Verlag, Springer, 2001.

    Google Scholar 

  15. L. A. Zadeh. Fuzzy sets. Information and Control, 8: 338–353, 1965.

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, University of Mining and Metallurgy, Kraków, Poland

    Bartłomiej Śnieżyński

Authors
  1. Bartłomiej Śnieżyński
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science, Polish Academy of Sciences, ul. Ordona 21, 01-237, Warsaw, Poland

    Mieczysław A. Kłopotek , Sławomir T. Wierzchoń  & Maciej Michalewicz ,  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Śnieżyński, B. (2002). Probabilistic Label Algebra for the Logic of Plausible Reasoning. In: Kłopotek, M.A., Wierzchoń, S.T., Michalewicz, M. (eds) Intelligent Information Systems 2002. Advances in Soft Computing, vol 17. Physica, Heidelberg. https://doi.org/10.1007/978-3-7908-1777-5_29

Download citation

  • DOI: https://doi.org/10.1007/978-3-7908-1777-5_29

  • Publisher Name: Physica, Heidelberg

  • Print ISBN: 978-3-7908-1509-2

  • Online ISBN: 978-3-7908-1777-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation