Pubblicazioni
| Autori: | Mario Alviano |
| Laura Giordano | |
| Daniele Theseider Dupré | |
| Area Scientifica: | Artificial Intelligence |
| Knowledge Representation | |
| Logic-Based Reasoning | |
| Titolo: | Temporal Many-valued Conditional Logics: a Preliminary Report |
| Apparso su: | TR-INF-2024-09-01-UNIPMN |
| Editore: | DiSIT, Computer Science Institute, UPO |
| Anno: | 2024 |
| Tipo Pubblicazione: | Technical Report |
| URL: | http://people.unipmn.it...R-INF-2024-09-01-UNIPMN.pdf |
| Sommario: | In this paper we propose a many-valued temporal conditional logic. We start from a many-valued logic with typicality, and extend it with the temporal operators of the Linear Time Temporal Logic (LTL), thus providing a formalism which is able to capture the dynamics of a system, trough strict and defeasible temporal properties. We also consider an instantiation of the formalism for gradual argumentation. |