Against All Odds: When Logic Meets Probability
| Authors | |
|---|---|
| Publication date | 2017 |
| Host editors |
|
| Book title | ModelEd, TestEd, TrustEd |
| Book subtitle | Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Pages (from-to) | 239-253 |
| Publisher | Cham: Springer |
| Organisations |
|
| Abstract | This paper is a light walk along interfaces between logic and probability, triggered by a chance encounter with Ed Brinksma. It is not a research paper, or a literature survey, but a pointer to issues. I discuss both direct combinations of logic and probability and structured ways in which logic can be seen as a qualitative version of probability theory. I end by sketching a concrete program for classifying qualitative scenarios that would lend themselves to simple logical reasoning methods, but I also acknowledge a challenge: the ‘unreasonable effective of probability’. |
| Document type | Chapter |
| Language | English |
| Published at |
https://doi.org/10.1007/978-3-319-68270-9_12
(Final published version)
|
| Permalink to this page | |