Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability

Mario Alviano; Marco Botta; Roberto Esposito; Laura Giordano; Daniele Theseider Dupré

Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability

Mario Alviano
, Marco Botta
, Roberto Esposito
, Laura Giordano
, Daniele Theseider Dupré

Department of Science and Technological Innovation

Research output: Contribution to journal › Conference article › peer-review

Abstract

In this paper, we develop a many-valued semantics for the description logic LTL_ALC, 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.

Original language	English
Journal	CEUR Workshop Proceedings
Volume	3733
Publication status	Published - 2024
Event	39th Italian Conference on Computational Logic, CILC 2024 - Rome, Italy Duration: 26 Jun 2024 → 28 Jun 2024

Keywords

Explainability
Many-valued Description Logics
Preferential Logics
Temporal Logics

Cite this

@article{0e30ba2a8b024fcf973f2834616512da,

title = "Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability",

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

keywords = "Explainability, Many-valued Description Logics, Preferential Logics, Temporal Logics",

author = "Mario Alviano and Marco Botta and Roberto Esposito and Laura Giordano and \{Theseider Dupr{\'e}\}, Daniele",

note = "Publisher Copyright: {\textcopyright} 2024 Copyright for this paper by its authors.; 39th Italian Conference on Computational Logic, CILC 2024 ; Conference date: 26-06-2024 Through 28-06-2024",

year = "2024",

language = "English",

volume = "3733",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

}

TY - JOUR

T1 - Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability

AU - Alviano, Mario

AU - Botta, Marco

AU - Esposito, Roberto

AU - Giordano, Laura

AU - Theseider Dupré, Daniele

PY - 2024

Y1 - 2024

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

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

KW - Explainability

KW - Many-valued Description Logics

KW - Preferential Logics

KW - Temporal Logics

UR - https://www.scopus.com/pages/publications/85200112477

M3 - Conference article

AN - SCOPUS:85200112477

SN - 1613-0073

VL - 3733

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 39th Italian Conference on Computational Logic, CILC 2024

Y2 - 26 June 2024 through 28 June 2024

ER -

Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability

Abstract

Keywords

Other files and links

Fingerprint

Cite this