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.).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
Calabrese, P.G.: An algebraic synthesis of the foundations of logic and probability. Inform. Sci. 42(3), 187–237 (1987)
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)
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)
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)
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)
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
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)
Grabmeier, J., Kaltofen, E., Weispfenning, V. (eds.): Computer algebra handbook. Springer, Heidelberg (2003)
Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete mathematics, 2nd edn. Addison- Wesley Publishing Company, Reading (1994); A foundation for computer science
Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages, and computation. Addison-Wesley Publishing Co, Reading (1979); Series in Computer Science
Iosifescu, M.: Finite Markov processes and their applications. John Wiley & Sons Ltd, Chichester (1980); Wiley Series in Probability and Mathematical Statistics
Kemeny, J.G., Snell, J.L.: Finite Markov chains. Springer, New York (1976); Reprinting of the 1960 original, Undergraduate Texts in Mathematics
Pitowsky, I.: Quantum probability—quantum logic. Lecture Notes in Physics, vol. 321. Springer, Berlin (1989)
Schay, G.: An algebra of conditional events. J. Math. Anal. Appl. 24, 334–344 (1968)
Tyszkiewicz, J., Chrza̧stowski-Wachtel, P., Ramer, A., Hoffman, A.: The theory of temporal conditionals (in perparation)
Tyszkiewicz, J., Hoffmann, A., Ramer, A.: Embedding conditional event algebras into temporal calculus of conditionals. arXiv:cs.AI/0110004 (2001)
Tyszkiewicz, J., Ramer, A., Hoffmann, A.: Temporal calculus of conditional objects and conditional events. arXiv:cs.AI/0110003 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)