References of "van der Torre, Leon 50003247"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailLogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset)
Benzmüller, Christoph UL; Farjami, Ali UL; Fuenmajor, David et al

in Data in Brief (2020), 33

The LogiKEy workbench and dataset for ethical and legal reasoning is presented. This workbench simultaneously supports development, experimentation, assessment and deployment of formal logics and ethical ... [more ▼]

The LogiKEy workbench and dataset for ethical and legal reasoning is presented. This workbench simultaneously supports development, experimentation, assessment and deployment of formal logics and ethical and legal theories at different conceptual layers. More concretely, it comprises, in form of a dataset (Isabelle/HOL theory files), formal encodings of multiple deontic logics, logic combinations, deontic paradoxes and normative theories in the higher-order proof assistant system Isabelle/HOL. The data were acquired through application of the LogiKEy methodology, which supports experimentation with different normative theories, in different application scenarios, and which is not tied to specific logics or logic combinations. Our workbench consolidates related research contributions of the authors and it may serve as a starting point for further studies and experiments in flexible and expressive ethical and legal reasoning. It may also support hands-on teaching of non-trivial logic formalisms in lecture courses and tutorials. [less ▲]

Detailed reference viewed: 116 (5 UL)
Full Text
Peer Reviewed
See detailInterpretation of Support among Arguments
Yu, Liuwen; Markovich, Réka UL; van der Torre, Leon UL

in Legal Knowledge and Information Systems – Frontiers in Artificial Intelligence and Application Series (2020)

Detailed reference viewed: 47 (2 UL)
Full Text
Peer Reviewed
See detailDeveloping AI Logic for Social Reasoning
Dong, Huimin; Markovich, Réka UL; van der Torre, Leon UL

in Journal of Zhejiang University (2020)

Detailed reference viewed: 50 (1 UL)
Full Text
Peer Reviewed
See detailIntention as commitment toward time
van Zee, Marc; Doder, Dragan; van der Torre, Leon UL et al

in Artificial Intelligence and Law (2020), 283

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 ... [more ▼]

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 intended actions. Intentions and beliefs are coherent as long as these assumptions are not violated, i.e. as long as intended actions can be performed such that their preconditions hold as well. The second contribution is the formalization of what-if scenarios: what happens with intentions and beliefs if a new (possibly conflicting) intention is adopted, or a new fact is learned? An agent is committed to its intended actions as long as its belief-intention database is coherent. We conceptualize intention as commitment toward time and we develop AGM-based postulates for the iterated revision of belief-intention databases, and we prove a Katsuno-Mendelzon-style representation theorem. [less ▲]

Detailed reference viewed: 47 (2 UL)
Full Text
Peer Reviewed
See detailAttack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees.
Gabbay, Dov M. UL; Horne, Ross James UL; Mauw, Sjouke UL et al

in Graphical Models for Security - 7th International Workshop (2020)

Detailed reference viewed: 31 (9 UL)
Full Text
Peer Reviewed
See detailA Principle-Based Analysis of Weakly Admissible Semantics
Dauphin, Jérémie UL; Rienstra, Tjitze; van der Torre, Leon UL

in Computational Models of Argument - Proceedings of COMMA 2020, Perugia Italy, September 4-11, 2020 (2020)

Baumann, Brewka and Ulbricht recently introduced weak admissibility as an alternative to Dung’s notion of admissibility, and they use it to define weakly preferred, weakly complete and weakly grounded ... [more ▼]

Baumann, Brewka and Ulbricht recently introduced weak admissibility as an alternative to Dung’s notion of admissibility, and they use it to define weakly preferred, weakly complete and weakly grounded semantics of argumentation frameworks. In this paper we analyze their new semantics with respect to the principles discussed in the literature on abstract argumentation. Moreover, we introduce two variants of their new semantics, which we call qualified and semiqualified semantics, and we check which principles they satisfy as well. Since the existing principles do not distinguish our new semantics from the ones of Baumann et al., we also introduce some new principles to distinguish them. Besides selecting a semantics for an application, or for algorithmic design, our new principle-based analysis can also be used for the further search for weak admissibility semantics. [less ▲]

Detailed reference viewed: 53 (7 UL)
Full Text
Peer Reviewed
See detailA bimodal simulation of defeasibility in thenormative domain
Libal, Tomer UL; van der Torre, Leon UL; Gabbay, Dov UL et al

in CEUR Workshop Proceedings (2020)

In the present work we illustrate how two sorts of defeasiblereasoning that are fundamental in the normative domain, that is, reasoning about exceptions and reasoning about violations, can be simulated ... [more ▼]

In the present work we illustrate how two sorts of defeasiblereasoning that are fundamental in the normative domain, that is, reasoning about exceptions and reasoning about violations, can be simulated via monotonic propositional theories based on a bimodal language with primitive operators representing knowledge and obligation. The proposed theoretical framework paves the way to using native theorem provers for multimodal logic, such as MleanCoP, in order to automate normative reasoning. [less ▲]

Detailed reference viewed: 23 (2 UL)
Full Text
See detailArtificial Intelligence in Space
Long, George Anthony; Santos, Cristiana; Rapp, Lucien et al

E-print/Working paper (2020)

Detailed reference viewed: 70 (1 UL)
Full Text
Peer Reviewed
See detailPopulating legal ontologies using semantic role labeling
Humphreys, Llio; Boella, Guido; van der Torre, Leon UL et al

in Artificial Intelligence and Law (2020)

This paper is concerned with the goal of maintaining legal information and compliance systems: the ‘resource consumption bottleneck’ of creating semantic technologies manually. The use of automated ... [more ▼]

This paper is concerned with the goal of maintaining legal information and compliance systems: the ‘resource consumption bottleneck’ of creating semantic technologies manually. The use of automated information extraction techniques could significantly reduce this bottleneck. The research question of this paper is: How to address the resource bottleneck problem of creating specialist knowledge management systems? In particular, how to semi-automate the extraction of norms and their elements to populate legal ontologies? This paper shows that the acquisition paradox can be addressed by combining state-of-the-art general-purpose NLP modules with pre- and post-processing using rules based on domain knowledge. It describes a Semantic Role Labeling based information extraction system to extract norms from legislation and represent them as structured norms in legal ontologies. The output is intended to help make laws more accessible, understandable, and searchable in legal document management systems such as Eunomos (Boella et al., 2016). [less ▲]

Detailed reference viewed: 67 (1 UL)
Full Text
Peer Reviewed
See detailDesigning normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support
Benzmüller, Christoph; Parent, Xavier; van der Torre, Leon UL

in Artificial Intelligence and Law (2020), 287

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 ... [more ▼]

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 intelligent autonomous systems. LogiKEy's unifying formal framework is based on semantical embeddings of deontic logics, logic combinations and ethico-legal domain theories in expressive classic higher-order logic (HOL). This meta-logical approach enables the provision of powerful tool support in LogiKEy: off-the-shelf theorem provers and model finders for HOL are assisting the LogiKEy designer of ethical intelligent agents to flexibly experiment with underlying logics and their combinations, with ethico-legal domain theories, and with concrete examples|all at the same time. Continuous improvements of these off-the-shelf provers, without further ado, leverage the reasoning performance in LogiKEy. Case studies, in which the LogiKEy framework and methodology has been applied and tested, give evidence that HOL's undecidability often does not hinder e fficient experimentation. [less ▲]

Detailed reference viewed: 42 (2 UL)
Full Text
Peer Reviewed
See detailMachine Argumentation. Can We Replace Taxi Drivers by Robots?
Gabbay, Dov M. UL; Cramer, Marcos; Dauphin, Jérémie UL et al

in Natural Argument, A tribute to John Woods (2019)

We need ethical non-monotonic action logics to control machines which interact heavily with humans. Such logics face special problems and require features which we need to recognise and to address. We ... [more ▼]

We need ethical non-monotonic action logics to control machines which interact heavily with humans. Such logics face special problems and require features which we need to recognise and to address. We believe that injecting argumentation methods into action pre-conditions is possibly the way to proceed to model what is needed. To get an idea of what is needed we must investigate a typical problem of replacing a human with a robot operating in a highly interactive environment. This paper focuses on replacing a human taxi driver by a robot. Robot driven cars are already under production and so there is an urgent need for modelling the kind of Artificial Intelligence/Logic/Norms/Ethics which is to be involved and installed in the mind of the Robot. This is research in progress. [less ▲]

Detailed reference viewed: 151 (7 UL)
Full Text
See detailA geometrical view of I/O logic
Gabbay, Dov UL; Parent, Xavier UL; van der Torre, Leon UL

Report (2019)

Detailed reference viewed: 59 (8 UL)
Full Text
Peer Reviewed
See detailSCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability
Cramer, Marcos; van der Torre, Leon UL

in Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI \& Kognition (KIK-2019) co-located with 44nd German Conference on Artificial Intelligence (KI 2019), Kassel, Germany, September 23, 2019 (2019)

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 ... [more ▼]

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 judgment on the acceptability of arguments? There are two systematic ways to approach this research question: A normative perspective is provided by the principle-based approach, in which semantics are evaluated based on their satisfaction of various normatively desirable principles. A descriptive perspective is provided by the empirical approach, in which cognitive studies are conducted to determine which semantics best predicts human judgments about arguments. In this paper, we combine both approaches to motivate a new argumentation semantics called SCF2. For this purpose, we introduce and motivate two new principles and show that no semantics from the literature satisfies both of them. We define SCF2 and prove that it satisfies both new principles. Furthermore, we discuss findings of a recent empirical cognitive study that provide additional support to SCF2. [less ▲]

Detailed reference viewed: 58 (0 UL)
Full Text
Peer Reviewed
See detailA dynamic approach for combining abstract argumentation semantics
Dauphin, Jérémie UL; Cramer, Marcos; van der Torre, Leon UL

in Dynamics, Uncertainty and Reasoning (2019)

Abstract argumentation semantics provide a direct relation from an argumentation framework to corresponding sets of acceptable arguments, or equivalently to labeling functions. Instead, we study step-wise ... [more ▼]

Abstract argumentation semantics provide a direct relation from an argumentation framework to corresponding sets of acceptable arguments, or equivalently to labeling functions. Instead, we study step-wise update relations on argumentation frameworks whose fixpoints represent the labeling functions on the arguments. We make use of this dynamic approach in order to study novel ways of combining abstract argumentation semantics. In particular, we introduce the notion of a merge of two argumentation semantics, which is defined in such a way that the merge of the preferred and the grounded semantics is the complete semantics. Finally we consider how to define new semantics using the merge operator, in particular how meaningfully combine features of naive-based and complete-based semantics. [less ▲]

Detailed reference viewed: 72 (11 UL)
Full Text
Peer Reviewed
See detailFrom Classical to Non-monotonic Deontic Logic Using ASPIC+
Dong, Huimin; Liao, Beishui; Markovich, Réka UL et al

in Logic, Rationality, and Interaction - 7th International Workshop LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings (2019)

In this paper we use formal argumentation to design non-monotonic deontic logics, based on two monotonic deontic logics. In particular, we use the structured argumentation theory ASPIC􀀀 to define non ... [more ▼]

In this paper we use formal argumentation to design non-monotonic deontic logics, based on two monotonic deontic logics. In particular, we use the structured argumentation theory ASPIC􀀀 to define non-monotonic variants of well-understood modal logics. We illustrate the approach using argumentation about free-choice permission. [less ▲]

Detailed reference viewed: 77 (1 UL)
See detailIntroduction to Deontic Logic and Normative Systems
Parent, Xavier UL; van der Torre, Leon UL

Book published by College Publications (2018)

Deontic logic deals with obligation, permission and related normative concepts. This textbook introduces three frameworks that have dominated the landscape of deontic logic: monadic deontic logic, dyadic ... [more ▼]

Deontic logic deals with obligation, permission and related normative concepts. This textbook introduces three frameworks that have dominated the landscape of deontic logic: monadic deontic logic, dyadic deontic logic, and input/output logic. It describes their language, semantics, proof theory, and gives soundness and completeness theorems. The addition of exercises makes the book ideal for self-study or as a textbook in class. Deontic logic remains neutral on application issues. Over the years, it has been applied in a variety of fields, including philosophy, ethics, linguistics, computer science, and the law. This textbook will serve as a valuable resource for students and researchers wishing to gain a practical understanding of deontic logic for use in their work. [less ▲]

Detailed reference viewed: 247 (31 UL)
Full Text
See detailA Dynamic Approach for Combining Abstract Argumentation Semantics – Technical Report
Dauphin, Jérémie UL; Cramer, Marcos UL; van der Torre, Leon UL

Report (2018)

Abstract argumentation semantics provide a direct relation from an argumentation framework to corresponding sets of acceptable arguments, or equivalently to labeling functions. Instead, we study step-wise ... [more ▼]

Abstract argumentation semantics provide a direct relation from an argumentation framework to corresponding sets of acceptable arguments, or equivalently to labeling functions. Instead, we study step-wise update relations on argumentation frameworks whose fixpoints represent the labeling functions on the arguments. We make use of this dynamic approach in order to study novel ways of combining abstract argumentation semantics. In particular, we introduce the notion of a merge of two argumentation semantics, which is defined in such a way that the merge of the preferred and the grounded semantics is the complete semantics. Finally we consider how to define new semantics using the merge operator, in particular how meaningfully combine features of naive-based and complete-based semantics. [less ▲]

Detailed reference viewed: 80 (12 UL)
Full Text
See detailProceedings - 2017 ILILAS Distinguished Lectures
Bouvry, Pascal UL; Bisdorff, Raymond; Schommer, Christoph UL et al

Report (2018)

The Proceedings summarizes the 12 lectures that have taken place within the ILIAS Dinstguished Lecture series 2017. It contains a brief abstract of the talks as well as some additional information about ... [more ▼]

The Proceedings summarizes the 12 lectures that have taken place within the ILIAS Dinstguished Lecture series 2017. It contains a brief abstract of the talks as well as some additional information about each speaker. [less ▲]

Detailed reference viewed: 410 (47 UL)
Full Text
Peer Reviewed
See detailArguing about constitutive and regulative norms
Pigozzi, Gabriella; van der Torre, Leon UL

in Journal of Applied Non-Classical Logics (2018), 28(2-3), 189--217

Formal arguments are often represented by (support, conclusion) pairs, but in this paper we consider normative arguments represented by sequences of (brute, institutional, deontic) triples, where ... [more ▼]

Formal arguments are often represented by (support, conclusion) pairs, but in this paper we consider normative arguments represented by sequences of (brute, institutional, deontic) triples, where constitutive norms derive institutional facts from brute facts, and regulative norms derive deontic facts like obligations and permissions from institutional facts. The institutional facts may be seen as the reasons explaining or warranting the deontic obligations and permissions, and therefore they can be attacked by other normative arguments too. We represent different aspects of normative reasoning by different kinds of consistency checks among these triples, and we use formal argumentation theory to resolve conflicts among such normative arguments. In particular, we introduce various requirements for arguing about norms concerning violations, contrary-to-duty obligations, dilemmas, conflict resolution and different kinds of norms, and we introduce a formal argumentation theory satisfying the requirements. In order to illustrate our framework, we introduce a running example based on university regulations for prospective and actual students. [less ▲]

Detailed reference viewed: 142 (15 UL)
Full Text
Peer Reviewed
See detailA comparison between a person and a robot in the attention, imitation, and repetitive and stereotypical behaviors of children with autism spectrum disorder.
Pinto Costa, Andreia UL; Charpiot, Louise UL; Lera, Francisco et al

Scientific Conference (2018)

The aim of the present study was to assess the usefulness of QT, a socially assistive robot, in interventions with children with autism spectrum disorder (ASD) by assessing children’s attention, imitation ... [more ▼]

The aim of the present study was to assess the usefulness of QT, a socially assistive robot, in interventions with children with autism spectrum disorder (ASD) by assessing children’s attention, imitation, and presence of repetitive and stereotyped behaviors. Fifteen children diagnosed with ASD, aged from 4 to 14 years participated in two short interactions, one with a person and one with QT robot. Statistical analyses revealed that children directed more attention towards the robot than to the person, imitated the robot as much as the person, and engaged in fewer repetitive or stereotyped behaviors with the robot than with the person. These results support previous research demonstrating the usefulness of robots in interventions with children with ASD and provide new evidence to the usefulness of robots in reducing repetitive and stereotyped behaviors in children with ASD, which can affect children’s learning. [less ▲]

Detailed reference viewed: 93 (2 UL)