Abstract | ||
---|---|---|
Diagnosis is widely used in many different disciplines to identify the nature and cause of a certain phenomenon. We present (tmathsf {L}), a new logical framework able to formalise diagnostic reasoning, i.e., an hybrid learning technique based both on deduction and experiments. In this paper we introduce tL, a Labeled Modal Logic, garnishing with temporal and statistical information and a basic propositional language. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1007/978-3-319-92031-3_14 | KES-AMSTA |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
15 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Matteo Cristani | 1 | 259 | 34.75 |
Francesco Olivieri | 2 | 0 | 2.37 |
Claudio Tomazzoli | 3 | 25 | 11.36 |
Margherita Zorzi | 4 | 81 | 16.16 |