In this paper, we develop a many-valued semantics for the description logic LTLALC, a temporal extension of description logic ALC, based on Linear-time Temporal Logic (LTL). We add a typicality operator to represent defeasible properties, and discuss the use of the (many-valued) temporal conditional logic and of weighted KBs for explaining the dynamic behaviour of a network.

Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability

Alviano M.;
2024-01-01

Abstract

In this paper, we develop a many-valued semantics for the description logic LTLALC, a temporal extension of description logic ALC, based on Linear-time Temporal Logic (LTL). We add a typicality operator to represent defeasible properties, and discuss the use of the (many-valued) temporal conditional logic and of weighted KBs for explaining the dynamic behaviour of a network.
2024
Explainability
Many-valued Description Logics
Preferential Logics
Temporal Logics
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11770/376948
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact