Zobrazeno 1 - 10
of 283
pro vyhledávání: '"van der Torre, Leendert"'
Autor:
Liao, Beishui, van der Torre, Leendert
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 v
Externí odkaz:
http://arxiv.org/abs/2311.12207
Publikováno v:
In Artificial Intelligence November 2024 336
Publikováno v:
Journal of Zhejiang University, Vol. 5, No. 50 (2020): 31-50
Artificial Intelligence (AI) logic formalizes the reasoning of intelligent agents. In this paper, we discuss how an argumentation-based AI logic could be used also to formalize important aspects of social reasoning. Besides reasoning about the knowle
Externí odkaz:
http://arxiv.org/abs/2110.04452
Autor:
Gal, George Anthony, Santos, Cristiana, Rapp, Lucien, Markovich, Réeka, van der Torre, Leendert
In the next coming years, space activities are expected to undergo a radical transformation with the emergence of new satellite systems or new services which will incorporate the contributions of artificial intelligence and machine learning defined a
Externí odkaz:
http://arxiv.org/abs/2006.12362
Autor:
van Zee, Marc, Doder, Dragan, van der Torre, Leendert, Dastani, Mehdi, Icard, Thomas, Pacuit, Eric
Publikováno v:
Artificial Intelligence, Volume 283, June 2020, 103270
In this paper we address the interplay among intention, time, and belief in dynamic environments. The first contribution is a logic for reasoning about intention, time and belief, in which assumptions of intentions are represented by preconditions of
Externí odkaz:
http://arxiv.org/abs/2004.08144
In abstract argumentation theory, many argumentation semantics have been proposed for evaluating argumentation frameworks. This paper is based on the following research question: Which semantics corresponds well to what humans consider a rational jud
Externí odkaz:
http://arxiv.org/abs/1908.08406
A framework and methodology---termed LogiKEy---for the design and engineering of ethical reasoners, normative theories and deontic logics is presented. The overall motivation is the development of suitable means for the control and governance of inte
Externí odkaz:
http://arxiv.org/abs/1903.10187
Publikováno v:
Journal of Artificial Intelligence Research 77: 737 - 792 (2023)
An autonomous system is constructed by a manufacturer, operates in a society subject to norms and laws, and interacts with end users. All of these actors are stakeholders affected by the behavior of the autonomous system. We address the challenge of
Externí odkaz:
http://arxiv.org/abs/1812.04741
To resolve conflicts among norms, various nonmonotonic formalisms can be used to perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to represent nonmonotonic logics. In this paper, we propose a representation of p
Externí odkaz:
http://arxiv.org/abs/1709.08034
Autor:
Liao, Beishui, van der Torre, Leendert
In this paper we show how the defense relation among abstract arguments can be used to encode the reasons for accepting arguments. After introducing a novel notion of defenses and defense graphs, we propose a defense semantics together with a new not
Externí odkaz:
http://arxiv.org/abs/1705.00303