Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion

Antonio Lieto; Gian Luca Pozzato; Manuel Striani; Stefano Zoia; Rossana Damiano

Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion

Antonio Lieto, Gian Luca Pozzato, Manuel Striani, Stefano Zoia, Rossana Damiano

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

Abstract

We exploit the Description Logic TCL in order to develop a diversity-seeking affective recommender system. The tool DEGARI 2.0 (Dynamic Emotion Generator And ReclassIfier) is an explainable, affectivebased, art recommender that allows to classify and to suggest, to museum users, cultural items able to evoke not only the very same emotions of already experienced or preferred objects, but also novel items sharing different emotional stances. The system has been tested on the community of deaf people and on the collection of the GAM Museum of Turin, obtaining promising results.

Original language	English
Pages (from-to)	45-50
Number of pages	6
Journal	CEUR Workshop Proceedings
Volume	3311
Publication status	Published - 2022
Externally published	Yes
Event	4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2022 - Udine, Italy Duration: 28 Nov 2022 → …

Keywords

Description Logics
Explainable AI
Nonmonotonic Reasoning
Recommender Systems

Cite this

@article{7301f531830f4e9a9cd251c651e92be0,

title = "Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion",

abstract = "We exploit the Description Logic TCL in order to develop a diversity-seeking affective recommender system. The tool DEGARI 2.0 (Dynamic Emotion Generator And ReclassIfier) is an explainable, affectivebased, art recommender that allows to classify and to suggest, to museum users, cultural items able to evoke not only the very same emotions of already experienced or preferred objects, but also novel items sharing different emotional stances. The system has been tested on the community of deaf people and on the collection of the GAM Museum of Turin, obtaining promising results.",

keywords = "Description Logics, Explainable AI, Nonmonotonic Reasoning, Recommender Systems",

author = "Antonio Lieto and Pozzato, {Gian Luca} and Manuel Striani and Stefano Zoia and Rossana Damiano",

note = "Publisher Copyright: {\textcopyright} 2022 Copyright for this paper by its authors.; 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2022 ; Conference date: 28-11-2022",

year = "2022",

language = "English",

volume = "3311",

pages = "45--50",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

}

TY - JOUR

T1 - Formal Methods Meet XAI

T2 - 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2022

AU - Lieto, Antonio

AU - Pozzato, Gian Luca

AU - Striani, Manuel

AU - Zoia, Stefano

AU - Damiano, Rossana

PY - 2022

Y1 - 2022

N2 - We exploit the Description Logic TCL in order to develop a diversity-seeking affective recommender system. The tool DEGARI 2.0 (Dynamic Emotion Generator And ReclassIfier) is an explainable, affectivebased, art recommender that allows to classify and to suggest, to museum users, cultural items able to evoke not only the very same emotions of already experienced or preferred objects, but also novel items sharing different emotional stances. The system has been tested on the community of deaf people and on the collection of the GAM Museum of Turin, obtaining promising results.

AB - We exploit the Description Logic TCL in order to develop a diversity-seeking affective recommender system. The tool DEGARI 2.0 (Dynamic Emotion Generator And ReclassIfier) is an explainable, affectivebased, art recommender that allows to classify and to suggest, to museum users, cultural items able to evoke not only the very same emotions of already experienced or preferred objects, but also novel items sharing different emotional stances. The system has been tested on the community of deaf people and on the collection of the GAM Museum of Turin, obtaining promising results.

KW - Description Logics

KW - Explainable AI

KW - Nonmonotonic Reasoning

KW - Recommender Systems

UR - http://www.scopus.com/inward/record.url?scp=85145876144&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:85145876144

SN - 1613-0073

VL - 3311

SP - 45

EP - 50

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

Y2 - 28 November 2022

ER -

Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion

Abstract

Keywords

Other files and links

Fingerprint

Cite this