| Authors |
|
| Publication date |
2017
|
| Host editors |
-
J.-P. Katoen
-
R. Langerak
-
A. Rensink
|
| 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 |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| 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
|
|
Permalink to this page
|