no code implementations • 20 Nov 2023 • Beishui Liao, Leendert van der Torre
In this paper we introduce a novel semantics, called defense semantics, for Dung's abstract argumentation frameworks in terms of a notion of (partial) defence, which is a triple encoding that one argument is (partially) defended by another argument via attacking the attacker of the first argument.
no code implementations • 17 Aug 2022 • Haixiao Chi, Dawei Wang, Gaojie Cui, Feng Mao, Beishui Liao
Interpretability has become an essential topic for artificial intelligence in some high-risk domains such as healthcare, bank and security.
no code implementations • 11 Apr 2022 • Jieting Luo, Beishui Liao, Dov Gabbay
Autonomous agents are supposed to be able to finish tasks or achieve goals that are assigned by their users through performing a sequence of actions.
no code implementations • 24 Jan 2022 • Yulin Chen, Beishui Liao, Bruno Bentzen, Bo Yuan, Zelai Yao, Haixiao Chi, Dov Gabbay
In this paper, we propose a novel interpretable method, BTPK (Binary Talmudic Public Announcement Logic model), to help users understand the internal recognition logic of the name entity recognition tasks based on Talmudic Public Announcement Logic.
no code implementations • 17 May 2021 • Jieting Luo, Beishui Liao, John-Jules Meyer
The resulting information about agents' full contributions allows us to understand the complex link between local agent behavior and system level behavior in a self-organizing multi-agent system.
no code implementations • 10 Sep 2019 • Hiroyuki Kido, Beishui Liao
It is the inverse of the direct problem corresponding to the traditional problem of the abstract argumentation that focuses on finding sets of acceptable arguments in terms of the semantics given an attack relation between the arguments.
no code implementations • 13 Dec 2018 • Beishui Liao, Michael Anderson, Susan Leigh Anderson
As a result, a VDA in a given situation is mapped onto an argumentation framework in which arguments are defined by the notion of deduction.
no code implementations • 11 Dec 2018 • Beishui Liao, Pere Pardo, Marija Slavkovik, Leendert van der Torre
We address the challenge of how the ethical views of such stakeholders can be integrated in the behavior of an autonomous system.
no code implementations • 23 Sep 2017 • Beishui Liao, Nir Oren, Leendert van der Torre, Serena Villata
To resolve conflicts among norms, various nonmonotonic formalisms can be used to perform prioritized normative reasoning.
no code implementations • 30 Apr 2017 • Beishui Liao, Leendert van der Torre
In this paper we show how the defense relation among abstract arguments can be used to encode the reasons for accepting arguments.
no code implementations • 1 Aug 2016 • Beishui Liao, Kang Xu, Huaxin Huang
The results show that our approach not only dramatically decreases the time for computing p(E^\sigma), but also has an attractive property, which is contrary to that of existing approaches: the denser the edges of a PrAG are or the bigger the size of a given extension E is, the more efficient our approach computes p(E^\sigma).