Abstract
Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical example of a conditional deduction rule, expresses a conditional relationship between an antecedent and a consequent. A generalisation of Modus Ponens to probabilities in the form of probabilistic conditional inference is also well known. This paper describes a method for conditional deduction with beliefs which is a generalisation of probabilistic conditional inference and Modus Ponens. Meaningful conditional deduction requires a degree of relevance between the antecedent and the consequent, and this relevance can be explicitly expressed and measured with our method. Our belief representation has the advantage that it is possible to represent partial ignorance regarding the truth of statements, and is therefore suitable to model typical real life situations. Conditional deduction with beliefs thereby allows partial ignorance to be included in the analysis and deduction of statements and hypothesis.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Amgoud, L., Cayrol, C., Lagasquie-Schieux, M.C.: On the bipolarity in argumentation frameworks. In: Proceedings of of NMR Workshop, Whistler, Canada (June 2004)
Calabrese, P.G.: Reasoning with Uncertainty using Conditional Logic and Probability. In: Ayyub, B.M. (ed.) Proceedings of the First International Symposium on Uncertainty Modelling and Analysis, pp. 682–688. IEEE Computer Society Press, Los Alamitos (1990)
Diaz, M.R.: Topics in the Logic of Relevance. Philosophia Verlag, München (1981)
Dubois, D., Kaci, S., Prade, H.: Bipolarity in reasoning and decision - An introduction. The case of the possibility theory framework. In: Proceedings of the International Conference on Information Processing and Management of Uncertainty (IPMU 2004), July 2004, Springer, Perugia (2004)
Dunn, J.K., Restall, G.: Relevance Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophicla Logic, 2nd edn., vol. 6, pp. 1–128. Kluwer, Dordrecht (2002)
Goodman, I.R., Nguyen, H.T., Mahler, R.: The Mathematics of Data Fusion. In: Theory and Decision Library, Series B, Mathematical and Statistical Methods, vol. 37. Kluwer Press, Amsterdam (1997)
Jøsang, A.: A Logic for Uncertain Probabilities. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 9(3), 279–311 (2001)
Jøsang, A., Grandison, T.: Conditional Inference in Subjective Logic. In: Wang, X. (ed.) Proceedings of the 6th International Conference on Information Fusion (2003)
Jøsang, A., McAnally, D., Pope, S.: Interpreting Bipolar Beliefs as Probability Density Functions Fuzzy Sets and Systems (2005) (Submitted to), Working paper at, http://security.dstc.edu.au/staff/ajosang/papers.html
Lewis, D.: Probabilities of Conditionals and Conditional Probabilities. The Philosophical Review 85(3) (1976)
McAnally, D., Jøsang, A.: Addition and Subtraction of Beliefs. In: Proceedings of Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2004), July 2004, Perugia (2004)
Ramsey, F.: The foundations of mathematics, and other logical essays. In: Braithwaite, R.B. (ed.), Paul, Trench and Trubner, Humanities Press, New York (1931); Reprinted 1950
Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)
Smets, P.: Belief Functions. In: Smets, P., et al. (eds.) Non-Standard Logics for Automated Reasoning, pp. 253–286. Academic Press, London (1988)
Stalnaker, R.: Probability and conditionals. In: Harper, W.L., Stalnaker, R., Pearce, G. (eds.) The University of Western Ontario Series in Philosophy of Science, pp. 107–128. D.Riedel Publishing Company, Dordrecht (1981)
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
Jøsang, A., Pope, S., Daniel, M. (2005). Conditional Deduction Under Uncertainty. In: Godo, L. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2005. Lecture Notes in Computer Science(), vol 3571. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11518655_69
Download citation
DOI: https://doi.org/10.1007/11518655_69
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27326-4
Online ISBN: 978-3-540-31888-0
eBook Packages: Computer ScienceComputer Science (R0)