Nothing Special   »   [go: up one dir, main page]

Skip to main content

A Maple Package for Conditional Event Algebras

  • Conference paper
Conditionals, Information, and Inference (WCII 2002)

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

Included in the following conference series:

Abstract

We present a Maple package for experimenting with conditional event algebras of Schay, Adams-Calabrese, Goodman-Nguyen-Walker and Product Space of Goodman and Nguyen.

It includes the implementation of the first polynomial time algorithm for calculating probabilities in the product space conditional event algebra.

Supported by the Australian Research Council ARC grant A 49800112 (1998–2000) (P.Ch.-W. and J.Ty.) and by the Polish Research Council KBN grant 7 T11C 027 20 (J.Ty.).

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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.

Similar content being viewed by others

References

  1. Adams, E.W.: Probability and the logic of conditionals. In: Suppes, P., Hintikka, J. (eds.) Aspects of inductive logic, pp. 265–316. North-Holland, Amsterdam (1966)

    Chapter  Google Scholar 

  2. Calabrese, P.G.: An algebraic synthesis of the foundations of logic and probability. Inform. Sci. 42(3), 187–237 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  3. Calabrese, P.G.: Reasoning with uncertainity using conditional logic and probability. In: Proc. First International Symposium on Uncertainity Modeling and Analysis by IEEE Computer Society, pp. 682–688. IEEE, Los Alamitos (1990)

    Google Scholar 

  4. Chrza̧stowski-Wachtel, P., Tyszkiewicz, J., Ramer, A., Hoffmann, A.: Mutual definability of connectives in conditional event algebras of Schay-Adams-Calabrese and Goodman-Nguyen-Walker. Information Processing Letters 79(4), 155–160 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  5. Goodman, I.R.: Toward a comprehensive theory of linguistic and probabilistic evidence: two new approaches to conditional event algebra. IEEE Trans. Systems Man Cybernet. 24(12), 1685–1698(1994); Special issue on conditional event algebra, San Diego, CA (1992)

    Google Scholar 

  6. Goodman, I.R., Nguyen, H.T.: Mathematical foundations of conditionals and their probabilistic assignments. Internat. J. Uncertain. Fuzziness Knowledge-Based Systems 3(3), 247–339 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  7. Goodman, I.R., Nguyen, H.T., Walker, E.A.: Conditional inference and logic for intelligent systems. North-Holland Publishing Co., Amsterdam (1991); A theory of measure-free conditioning

    Google Scholar 

  8. Goodman, I.R.: A measure-free approach to conditioning. In: Proc. Third AAAI Workshop on Uncert. in AI, pp. 270–277. University of Washington, Seattle (1987)

    Google Scholar 

  9. Grabmeier, J., Kaltofen, E., Weispfenning, V. (eds.): Computer algebra handbook. Springer, Heidelberg (2003)

    MATH  Google Scholar 

  10. Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete mathematics, 2nd edn. Addison- Wesley Publishing Company, Reading (1994); A foundation for computer science

    Google Scholar 

  11. Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages, and computation. Addison-Wesley Publishing Co, Reading (1979); Series in Computer Science

    Google Scholar 

  12. Iosifescu, M.: Finite Markov processes and their applications. John Wiley & Sons Ltd, Chichester (1980); Wiley Series in Probability and Mathematical Statistics

    Google Scholar 

  13. Kemeny, J.G., Snell, J.L.: Finite Markov chains. Springer, New York (1976); Reprinting of the 1960 original, Undergraduate Texts in Mathematics

    MATH  Google Scholar 

  14. Pitowsky, I.: Quantum probability—quantum logic. Lecture Notes in Physics, vol. 321. Springer, Berlin (1989)

    MATH  Google Scholar 

  15. Schay, G.: An algebra of conditional events. J. Math. Anal. Appl. 24, 334–344 (1968)

    Article  MathSciNet  MATH  Google Scholar 

  16. Tyszkiewicz, J., Chrza̧stowski-Wachtel, P., Ramer, A., Hoffman, A.: The theory of temporal conditionals (in perparation)

    Google Scholar 

  17. Tyszkiewicz, J., Hoffmann, A., Ramer, A.: Embedding conditional event algebras into temporal calculus of conditionals. arXiv:cs.AI/0110004 (2001)

    Google Scholar 

  18. Tyszkiewicz, J., Ramer, A., Hoffmann, A.: Temporal calculus of conditional objects and conditional events. arXiv:cs.AI/0110003 (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chrzastowski-Wachtel, P., Tyszkiewicz, J. (2005). A Maple Package for Conditional Event Algebras. In: Kern-Isberner, G., Rödder, W., Kulmann, F. (eds) Conditionals, Information, and Inference. WCII 2002. Lecture Notes in Computer Science(), vol 3301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11408017_8

Download citation

  • DOI: https://doi.org/10.1007/11408017_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25332-7

  • Online ISBN: 978-3-540-32235-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics