The XAI system for answer set programming xASP2

IF 0.7 4区数学 Q3 COMPUTER SCIENCE, THEORY & METHODS Journal of Logic and Computation Pub Date : 2024-07-30 DOI:10.1093/logcom/exae036

Mario Alviano, Ly Ly Trieu, Tran Cao Son, Marcello Balduccini

引用次数: 0

Abstract

Explainable artificial intelligence (XAI) aims at addressing complex problems by coupling solutions with reasons that justify the provided answer. In the context of Answer Set Programming (ASP) the user may be interested in linking the presence or absence of an atom in an answer set to the logic rules involved in the inference of the atom. Such explanations can be given in terms of directed acyclic graphs (DAGs). This article reports on the advancements in the development of the XAI system xASP by revising the main foundational notions and by introducing new ASP encodings to compute minimal assumption sets, explanation sequences, and explanation DAGs. DAGs are shown to the user in an interactive form via the xASP navigator application, also introduced in this work.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

用于答案集编程的 XAI 系统 xASP2

可解释人工智能（XAI）旨在通过将解决方案与证明所提供答案合理性的理由相结合来解决复杂问题。在答案集编程（ASP）中，用户可能希望将答案集中原子的存在或不存在与原子推理所涉及的逻辑规则联系起来。这种解释可以用有向无环图（DAG）来表示。本文报告了 XAI 系统 xASP 在开发过程中取得的进展，即修订了主要的基础概念，并引入了新的 ASP 编码来计算最小假设集、解释序列和解释 DAG。DAG 通过 xASP 导航器应用程序以交互形式显示给用户，该应用程序也是在这项工作中引入的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

Journal of Logic and Computation 工程技术-计算机：理论方法

CiteScore

1.90

自引率

14.30%

发文量

审稿时长

6-12 weeks

期刊介绍： Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging. The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.... Logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, concurrent computation, planning, and databases. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.

期刊最新文献

ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex Modal weak Kleene logics: axiomatizations and relational semantics A Gödel-Dugundji-style theorem for the minimal structural logic Perfect proofs at first order Intuitionistic S4 as a logic of topological spaces