13,094
edits
Changes
From Nordan Symposia
Jump to navigationJump to search
mLine 1:
Line 1: − + Line 8:
Line 8: − Line 109:
Line 108: − + Line 140:
Line 139: − − [[Fuzzy logic]] - (to be written) − Line 183:
Line 179: − + − +
Text replacement - "http://" to "https://"
[[Image:lighterstill.jpg]][[Image:Inference_ladder.jpg|right|frame]]
[[Image:lighterstill.jpg]][[Image:Face_off_2small.jpg|right|frame]]
'''Inference''' is the act or process of deriving a [[conclusion]] based solely on what one already knows.
'''Inference''' is the act or process of deriving a [[conclusion]] based solely on what one already knows.
* [[Statistics|Statisticians]] have developed formal rules for inference from quantitative data.
* [[Statistics|Statisticians]] have developed formal rules for inference from quantitative data.
* [[Artificial intelligence]] researchers develop automated inference systems.
* [[Artificial intelligence]] researchers develop automated inference systems.
==Inference and uncertainty==
==Inference and uncertainty==
[[Image:Inference_model.jpg|right|frame]]
Traditional logic is only concerned with [[certainty]] - one progresses from certain [[Premise_%28argument%29|premises]] to certain conclusions. There are several motivations for extending logic to deal with uncertain propositions and weaker modes of reasoning.
Traditional logic is only concerned with [[certainty]] - one progresses from certain [[Premise_%28argument%29|premises]] to certain conclusions. There are several motivations for extending logic to deal with uncertain propositions and weaker modes of reasoning.
==Frequentist statistical inference==
==Frequentist statistical inference==
=== Nonmonotonic logic ===
=== Nonmonotonic logic ===
* Ian Hacking. ''An Introduction to Probability and Inductive Logic''. Cambridge University Press, (2000).
* Ian Hacking. ''An Introduction to Probability and Inductive Logic''. Cambridge University Press, (2000).
* Edwin Thompson Jaynes. [http://titles.cambridge.org/catalogue.asp?isbn=0521592712 ''Probability Theory: The Logic of Science''.] Cambridge University Press, (2003). ISBN 0-521-59271-2.
* Edwin Thompson Jaynes. [https://titles.cambridge.org/catalogue.asp?isbn=0521592712 ''Probability Theory: The Logic of Science''.] Cambridge University Press, (2003). ISBN 0-521-59271-2.
* David J.C. McKay. ''Information Theory, Inference, and Learning Algorithms''. Cambridge University Press, (2003).
* David J.C. McKay. ''Information Theory, Inference, and Learning Algorithms''. Cambridge University Press, (2003).
* Stuart Russell, Peter Norvig. ''Artificial Intelligence: A Modern Approach''. Prentice Hall, (2002).
* Stuart Russell, Peter Norvig. ''Artificial Intelligence: A Modern Approach''. Prentice Hall, (2002).
* Henk Tijms. ''Understanding Probability''. Cambridge University Press, (2004).
* Henk Tijms. ''Understanding Probability''. Cambridge University Press, (2004).
* André Fuhrmann: [http://www.uni-konstanz.de/FuF/Philo/Philosophie/Fuhrmann/papers/nomoLog.pdf Nonmonotonic Logic].
* André Fuhrmann: [https://www.uni-konstanz.de/FuF/Philo/Philosophie/Fuhrmann/papers/nomoLog.pdf Nonmonotonic Logic].
