A logical framework for data-driven reasoning
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866910573652869120 |
|---|---|
| author | Baldi, Paolo Corsi, Esther Anna Hosni, Hykel |
| author_facet | Baldi, Paolo Corsi, Esther Anna Hosni, Hykel |
| contents | We introduce and investigate a family of consequence relations with the goal of capturing certain important patterns of data-driven inference. The inspiring idea for our framework is the fact that data may reject, possibly to some degree, and possibly by mistake, any given scientific hypothesis. There is no general agreement in science about how to do this, which motivates putting forward a logical formulation of the problem. We do so by investigating distinct definitions of "rejection degrees" each yielding a consequence relation. Our investigation leads to novel variations on the theme of rational consequence relations, prominent among non-monotonic logics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2408_12346 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A logical framework for data-driven reasoning Baldi, Paolo Corsi, Esther Anna Hosni, Hykel Logic Methodology 03A10, 62A01 F.4.1; F.4.3 We introduce and investigate a family of consequence relations with the goal of capturing certain important patterns of data-driven inference. The inspiring idea for our framework is the fact that data may reject, possibly to some degree, and possibly by mistake, any given scientific hypothesis. There is no general agreement in science about how to do this, which motivates putting forward a logical formulation of the problem. We do so by investigating distinct definitions of "rejection degrees" each yielding a consequence relation. Our investigation leads to novel variations on the theme of rational consequence relations, prominent among non-monotonic logics. |
| title | A logical framework for data-driven reasoning |
| topic | Logic Methodology 03A10, 62A01 F.4.1; F.4.3 |
| url | https://arxiv.org/abs/2408.12346 |