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.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.