Toward a Linguistic Interpretation of Deontic Paradoxes

in 12th International Conference Deontic Logic and Normative Systems (2014)

Sing and Dance!

in Sing and Dance! (2014)

Makinson and van der Torre [13] introduce a number of input/output (I/O) logics to reason about conditional norms. The key idea is to make obligations relative to a given set of conditional norms. The ... [more ▼]

Makinson and van der Torre [13] introduce a number of input/output (I/O) logics to reason about conditional norms. The key idea is to make obligations relative to a given set of conditional norms. The meaning of the normative concepts is, then, given in terms of a set of procedures yielding outputs for inputs. Using the same methodology, Stolpe[19,20] has developed some more I/O logics to include systems without the rule of weakening of the output (or principle of inheritance). We extend Stolpe’s account in two directions. First, we show how to make it support reasoning by cases−a common form of reasoning. Second, we show how to inject a new (as we call it, “aggregative”) form of cumulative transitivity, which we think is more suitable for normative reasoning. The main outcomes of the paper are soundness and completeness theorems for the proposed systems with respect to their intended semantics. [less ▲]

An ASPIC-based legal argumentation framework for deontic reasoning

in Computational Models of Argument (2014)

In the last years, argumentation theory has been exploited to reason about norms, argue about enforced obligations and permissions, and establish the validity of norms seen as argumentative claims. In ... [more ▼]

In the last years, argumentation theory has been exploited to reason about norms, argue about enforced obligations and permissions, and establish the validity of norms seen as argumentative claims. In this paper, we start from the dynamic legal argumentation framework recently proposed by Prakken and Sartor, and we extend their ASPIC-based system by introducing deontic modalities, to include also normative concepts like factual and deontic detachment, and normative dynamics. Properties of the original and proposed legal argumentation system are presented and discussed, and related to deontic logic and logics of normative systems. [less ▲]

On the Input/Output behavior of argumentation frameworks

in Artificial Intelligence and Law (2014)

This paper tackles the fundamental questions arising when looking at argumentation frameworks as interacting components, characterized by an Input/Output behavior, rather than as isolated monolithical ... [more ▼]

This paper tackles the fundamental questions arising when looking at argumentation frameworks as interacting components, characterized by an Input/Output behavior, rather than as isolated monolithical entities. This modeling stance arises naturally in some application contexts, like multi-agent systems, but, more importantly, has a crucial impact on several general application-independent issues, like argumentation dynamics, argument summarization and explanation, incremental computation, and inter-formalism translation. Pursuing this research direction, the paper introduces a general modeling approach and provides a comprehensive set of theoretical results putting the intuitive notion of Input/Output behavior of argumentation frameworks on a solid formal ground. This is achieved by combining three main ingredients. First, several novel notions are introduced at the representation level, notably those of argumentation framework with input, of argumentation multipole, and of replacement of multipoles within a traditional argumentation framework. Second, several relevant features of argumentation semantics are identified and formally characterized. In particular, the canonical local function provides an input-aware semantics characterization and a suite of decomposability properties are introduced, concerning the correspondences between semantics outcomes at global and local level. The third ingredient glues the former ones, as it consists of the investigation of some semantics-dependent properties of the newly introduced entities, namely S-equivalence of multipoles, S-legitimacy and S-safeness of replacements, and transparency of a semantics with respect to replacements. Altogether they provide the basis and draw the limits of sound interchangeability of multipoles within traditional frameworks. The paper develops an extensive analysis of all the concepts listed above, covering seven well-known literature semantics and taking into account various, more or less constrained, ways of partitioning an argumentation framework. Diverse examples, taken from the literature, are used to illustrate the application of the results obtained and, finally, an extensive discussion of the related literature is provided. [less ▲]

Encompassing Uncertainty in Argumentation Schemes.

in Frontiers and Connections between Argumentation Theory and Natural Language Processing 2014. (2014)

In existing literature, little attention has been paid to the problems of how the un- certainty reflected by natural language text (e.g. verbal and linguistic uncertainty) can be explicitly formulated in ... [more ▼]

In existing literature, little attention has been paid to the problems of how the un- certainty reflected by natural language text (e.g. verbal and linguistic uncertainty) can be explicitly formulated in argumentation schemes, and how argumentation schemes enriched with various types of uncertainty can be exploited to support argumentation mining and evaluation. In this paper, we focus on the first problem, and introduce some preliminary ideas about how to clas- sify and encompass uncertainty in argu- mentation schemes [less ▲]

Combining Norms, Roles, Dependence and Argumentation in Agreement Technologies.

in 25th Benelux Conference on Artificial Intelligence BNAIC'13. Delft, Nov. 7-8. (2013, November)

A major challenge for Agreement Technologies is the combination of existing technologies and rea- soning methods. In this paper we focus on the three core layers of the Agreement Technologies tower ... [more ▼]

A major challenge for Agreement Technologies is the combination of existing technologies and rea- soning methods. In this paper we focus on the three core layers of the Agreement Technologies tower, called Norms, Organization and Argumentation. We present a framework for arguing about agreements based on norms, roles and dependence, together with a case study from the sharing economy. [less ▲]

Input/output logic

in van der Torre, Leon; Gabbay, Dov M.; Horty, Jeff (Eds.) et al Handbook of Deontic Logic (2013)

A Library for Event-Processing and Adaptable Component Interactions in Autonomous Robot Software

Poster (2013, May 06)

A light-weight framework-independent software library is introduced to facilitate a modular and systematic development of sensory management components for an autonomous robot. Such components are used to ... [more ▼]

A light-weight framework-independent software library is introduced to facilitate a modular and systematic development of sensory management components for an autonomous robot. Such components are used to implement complex eventprocessing tasks such as content-based filtering, integration and transformation of sensory data. In addition, they can be used as mediators to provide a number of high-level interaction mechanisms among a robot’s software components. To this end, they enable components with subscription to their events of interest, asynchronous reception of events, maintaining necessary histories of events and querying of the histories at runtime. [less ▲]

Normative Reasoning and Consequence

in Normative Multi-Agent Systems (2013)

Integrating Legal-URN and Eunomos: Towards a Comprehensive Compliance Management Solution

in AICOL (2013)

Business process compliance with regulations has been a topic of many research areas in Computer Science such as Requirements Engineering (RE), Artificial Intelligence (AI), Logic and Natural Language ... [more ▼]

Business process compliance with regulations has been a topic of many research areas in Computer Science such as Requirements Engineering (RE), Artificial Intelligence (AI), Logic and Natural Language Processing (NLP). This work aims to provide a systematic way of establishing and managing compliance to assist decision-making and reporting. Despite many notable advances, few systems deal adequately with legal interpretation and modeling norms in an expressive way that is well-integrated with business modeling practices. In this paper, we bring together two leading systems, Legal-URN and Eunomos, for a comprehensive compliance management solution. [less ▲]