Temporal Many-valued Conditional Logics: a Preliminary Report
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913500054421504 |
|---|---|
| author | Alviano, Mario Giordano, Laura Dupré, Daniele Theseider |
| author_facet | Alviano, Mario Giordano, Laura Dupré, Daniele Theseider |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_09069 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Temporal Many-valued Conditional Logics: a Preliminary Report Alviano, Mario Giordano, Laura Dupré, Daniele Theseider Logic in Computer Science Artificial Intelligence 68T27 I.2.4 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. |
| title | Temporal Many-valued Conditional Logics: a Preliminary Report |
| topic | Logic in Computer Science Artificial Intelligence 68T27 I.2.4 |
| url | https://arxiv.org/abs/2409.09069 |