Italiano (Italian) English (Inglese)
Saturday, 5 October 2024

Publications

Back
Pubblication Details
Authors:Mario Alviano
Laura Giordano
Daniele Theseider Dupré
Scientific Area:Artificial Intelligence
Knowledge Representation
Logic-Based Reasoning
Title:Temporal Many-valued Conditional Logics: a Preliminary Report
Published on:TR-INF-2024-09-01-UNIPMN
Publisher:DiSIT, Computer Science Institute, UPO
Year:2024
Tipo Pubblicazione:Technical Report
URL:http://people.unipmn.it...R-INF-2024-09-01-UNIPMN.pdf
Abstract: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.