Dettagli rapporto tecnico
| 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 |
| 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. |
