Arrow Research search

Author name cluster

Leon van der Torre

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

9 papers
1 author row

Possible papers

9

FLAP Journal 2017 Journal Article

Editorial.

  • Pietro Baroni
  • Dov M. Gabbay
  • Massimiliano Giacomin
  • Leon van der Torre
PDF Details

FLAP Journal 2017 Journal Article

The Principle-Based Approach to Abstract Argumentation Semantics.

  • Leon van der Torre
  • Srdjan Vesic

The principle-based or axiomatic approach is a methodology to choose an argumentation semantics for a particular application, and to guide the search for new argumentation semantics. This article gives a complete classification of the fifteen main alternatives for argumentation semantics using the twentyseven main principles discussed in the literature on abstract argumentation, extending Baroni and Giacomin’s original classification with other semantics and principles proposed in the literature. It also lays the foundations for a study of representation and (im)possibility results for abstract argumentation, and for a principle-based approach for extended argumentation such as bipolar frameworks, preference-based frameworks, abstract dialectical frameworks, weighted frameworks, and input/output frameworks.

PDF Details

FLAP Journal 2015 Journal Article

Retalis Language for Information Engineering in Autonomous Robot Software.

  • Pouyan Ziafati
  • Mehdi Dastani
  • John-Jules Ch. Meyer
  • Leon van der Torre
  • Holger Voos

Robotic information engineering is the processing and management of data to create knowledge of the robot’s environment. It is an essential robotic tech- nique to apply AI methods such as situation awareness, task-level planning and knowledge-intensive task execution. Consequently, information engineering has been identified as a major challenge to make robotic systems more responsive to real-world situations. The Retalis language integrates ELE and SLR, two logic-based languages. Retalis is used to develop information engineering com- ponents of autonomous robots. In such a component, ELE is used for temporal and logical reasoning, and data transformation in flows of data. SLR is used to implement a knowledge base maintaining a history of events. SLR supports state-based representation of knowledge built upon discrete sensory data, man- agement of sensory data in active memories and synchronization of queries over asynchronous sensory data. In this paper, we introduce eight requirements for robotic information engineering, and we show how Retalis unifies and advances the state-of-the-art research on robotic information engineering. Moreover, we evaluate the efficiency of Retalis by implementing an application for a NAO robot. Retalis receives events about the positions of objects with respect to the top camera of NAO robot, the transformation among the coordinate frames of NAO robot, and the location of the NAO robot in the environment. About one thousand and nine hundreds events per second are processed in real-time to calculate the positions of objects in the environment.

PDF Details

KR Conference 2012 Conference Paper

Abstract Normative Systems: Semantics and Proof Theory

  • Silvano Colombo Tosatto
  • Guido Boella
  • Leon van der Torre
  • Serena Villata

Research question. How to build an abstract framework for normative reasoning, of which the cis, input/output, and imperativist approaches are instances? In this paper we introduce an abstract theory of normative reasoning, whose central notion is the generation of obligations, permissions and institutional facts from conditional norms. We present various semantics and their proof systems. The theory can be used to classify and compare new candidates for standards of normative reasoning, and to explore more elaborate forms of normative reasoning than studied thus far. The success criterion of our research question is that it covers a wide range of topics discussed in the first volume of the handbook of deontic logic (Gabbay et al. To appear a), namely: Conditionals and rules, we do not restrict ourselves to monadic approaches, but also capture dyadic ones. Contrary to duties, well known from deontic paradoxes (Chisholm 1963; Forrester 1984), must be represented without generation of counterintuitive conclusions.

AAMAS Conference 2008 Conference Paper

Conviviality Masks in Multiagent Systems

  • Patrice Caire
  • Serena Villata
  • Guido Boella
  • Leon van der Torre

In this paper we study tools for conviviality to develop user-friendly multiagent systems. First, we show how to use the social-cognitive concept of conviviality in multiagent system technology by relating it to agent power and social dependence networks. Second, we define conviviality masks as transformations of social dependencies by hiding power relations and social structures to facilitate social interactions. Third, we introduce dynamic dependence networks to model the creation of conviviality using conviviality masks. We illustrate the use of conviviality masks with a multiagent teleconferencing application for virtual worlds.

PDF

AAMAS Conference 2008 Conference Paper

Partial Goal Satisfaction and Goal Change

  • Yi Zhou
  • Leon van der Torre
  • Yan Zhang

Partial implication semantics in the context of a background theory has been introduced to formalize partial goal satisfaction in the context of beliefs. In this paper, we introduce strong partial implication prohibiting redundancies and weak partial implication allowing side effects, we study their semantic as well as complexity properties, and we apply the three notions of partial implication to goal change in the context of beliefs.

PDF