CATALOGO DEI PRODOTTI DELLA RICERCA
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishDiagnosis is widely used in many different disciplines to identify the nature and cause of a certain phenomenon. We present tL, a new logical framework able to formalise diagnostic reasoning, i.e., an hybrid learning technique based both on deduction and experiments. We use the expressiveness of Labeled Modal Logic, garnishing with temporal and statistical information a basic propositional language. We fully define syntax of formulae and relational rules between labels. After proposing examples on how tL effectively works, we sketch the main idea about the full deduction system à la Prawitz we are currently developing.
| Titolo: | Towards a logical framework for diagnostic reasoning |
| Autori: | |
| Data di pubblicazione: | 2018 |
| Serie: | |
| Handle: | http://hdl.handle.net/11562/980681 |
| ISBN: | 978-331992030-6 |
| Appare nelle tipologie: | 04.01 Contributo in atti di convegno |
File in questo prodotto:
Copyright © 2021