Results 81-100 of 256.
Bookmark and Share    
Full Text
Peer Reviewed
See detailEncompassing Uncertainty in Argumentation Schemes.
van der Torre, Leon UL; Baroni, Pietro; Giacomin, Massimiliano et al

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 ▲]

Detailed reference viewed: 78 (5 UL)
Full Text
Peer Reviewed
See detailSocial Interaction Based Audience Segregation for Online Social Networks.
van der Torre, Leon UL; Ahmed, Javed; Governatori, Guido et al

in Proceedings of the European Conference on Social Intelligence (2014)

Online social networking is the latest craze that has captured the attention of masses, people use these sites to communicate with their friends and family. These sites o er attractive means of social ... [more ▼]

Online social networking is the latest craze that has captured the attention of masses, people use these sites to communicate with their friends and family. These sites o er attractive means of social interac- tions and communications, but also raise privacy concerns. This paper examines user's abilities to control access to their personal information posted in online social networks. Online social networks lack common mechanism used by individuals in their real life to manage their privacy. The lack of such mechanism signi cantly a ects the level of user control over their self presentation in online social networks. In this paper, we present social interaction based audience segregation model for online so- cial networks. This model mimics real life interaction patterns and makes online social networks more privacy friendly. Our model uses type, fre- quency, and initiation factor of social interactions to calculate friendship strength. The main contribution of the model is that it considers set of all possible interactions among friends and assigns a numerical weight to each type of interaction in order to increase or decrease its contribu- tion in calculation of friendship strength based on its importance in the development of relationship ties. [less ▲]

Detailed reference viewed: 75 (4 UL)
Full Text
Peer Reviewed
See detailOn the Input/Output behavior of argumentation frameworks
Baroni, Pietro; Boella, Guido; Cerutti, Federico et al

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 ▲]

Detailed reference viewed: 173 (8 UL)
Full Text
Peer Reviewed
See detailCombining Norms, Roles, Dependence and Argumentation in Agreement Technologies.
Caire, Patrice UL; van der Torre, Leon UL; Villata, Serena

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 ▲]

Detailed reference viewed: 94 (2 UL)
Full Text
Peer Reviewed
See detailCombining Norms, Roles, Dependence and Argumentation in Agreement Technologies
Caire, Patrice UL; van der Torre, Leon UL; Villata, Serena

in AAA' 13. International Workshop on Argument for Agreement and Assurance, Kanagawa, Japan, Oct. 27-28. (2013, October 27)

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 ▲]

Detailed reference viewed: 75 (6 UL)
Peer Reviewed
See detailInput/output logic
Parent, Xavier UL; van der Torre, Leon UL

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

Detailed reference viewed: 87 (7 UL)
Full Text
Peer Reviewed
See detailArgumentation Theoretic Foundations for Abstract Dependence Networks
Caire, Patrice UL; van der Torre, Leon UL; Villata, Serena

in International Conference on Agreement Technologies, proceedings in Springer LNCS (2013)

In this paper we show how to argue about agreements based on de- pendence. First, we introduce a formal theory of arguing about agreements by instantiating Dung’s abstract theory of argumentation with ... [more ▼]

In this paper we show how to argue about agreements based on de- pendence. First, we introduce a formal theory of arguing about agreements by instantiating Dung’s abstract theory of argumentation with proposals for agree- ments represented as dependence networks. Second, we show that acceptable agreements are exchange based—satisfying the so-called do-ut-des principle— and not redundant. Third, to further decrease the number of proposals, we define a notion of minimal proposals. Roughly, all proposals can be split into a number of minimal sub-proposals such that if the proposal is acceptable, then its minimal sub-proposals are acceptable too. We show that minimal proposals satisfy the indecomposable do-ut-des property, i.e., they cannot be split into two nonempty sub-proposals with at most one shared agent. [less ▲]

Detailed reference viewed: 173 (7 UL)
Full Text
Peer Reviewed
See detailA Library for Event-Processing and Adaptable Component Interactions in Autonomous Robot Software
Ziafati, Pouyan UL; Voos, Holger UL; van der Torre, Leon UL et al

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 ▲]

Detailed reference viewed: 156 (5 UL)
Full Text
Peer Reviewed
See detailAlgorithms for Basic Compliance Problems
Colombo Tosatto, Silvano UL; El Kharbili, Marwane UL; Governatori, Guido et al

in 2nd International Workshop on Engineering Safety and Security Systems, ESSS 2013. (2013, March)

The present paper focuses on the problems of verifying compliance for global achievement and maintenance obligations. We first introduce the elements needed to identify and study compliance to these two ... [more ▼]

The present paper focuses on the problems of verifying compliance for global achievement and maintenance obligations. We first introduce the elements needed to identify and study compliance to these two classes of obligations in processes. Additionally, we define procedures and algorithms to efficiently deal with the identified compliance problem. We finally show that both algorithms proposed in the paper belong to the complexity class P. [less ▲]

Detailed reference viewed: 205 (13 UL)
Peer Reviewed
See detailA logical theory about dynamics in abstract argumentation
Booth, Richard UL; Kaci, Souhila; Rienstra, Tjitze UL et al

Scientific Conference (2013)

Detailed reference viewed: 120 (7 UL)
Full Text
Peer Reviewed
See detailA logical theory about dynamics in abstract argumentation
Booth, Richard UL; Kaci, Souhila; Rienstra, Tjitze UL et al

in Scalable Uncertainty Management - 7th International Conference, SUM 2013 (2013)

We address dynamics in abstract argumentation using a logical theory where an agent’s belief state consists of an argumentation framework (AF, for short) and a constraint that encodes the outcome the ... [more ▼]

We address dynamics in abstract argumentation using a logical theory where an agent’s belief state consists of an argumentation framework (AF, for short) and a constraint that encodes the outcome the agent believes the AF should have. Dynamics enters in two ways: (1) the constraint is strengthened upon learning that the AF should have a certain outcome and (2) the AF is expanded upon learning about new arguments/attacks. A problem faced in this setting is that a constraint may be inconsistent with the AF’s outcome. We discuss two ways to address this problem: First, it is still possible to form consistent fallback beliefs, i.e., beliefs that are most plausible given the agent’s AF and constraint. Second, we show that it is always possible to find AF expansions to restore consistency. Our work combines various individual approaches in the literature on argumentation dynamics in a general setting. [less ▲]

Detailed reference viewed: 146 (6 UL)
Full Text
Peer Reviewed
See detailMonotonic and non-monotonic inference for abstract argumentation
Booth, Richard UL; Kaci, Souhila; Rienstra, Tjitze UL et al

in Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2013 (2013)

We present a new approach to reasoning about the outcome of an argumentation framework, where an agent’s reasoning with a framework and semantics is represented by an inference relation defined over a ... [more ▼]

We present a new approach to reasoning about the outcome of an argumentation framework, where an agent’s reasoning with a framework and semantics is represented by an inference relation defined over a logical labeling language. We first study a monotonic type of inference which is, in a sense, more general than an acceptance function, but equally expressive. In order to overcome the limitations of this expressiveness, we study a non-monotonic type of inference which allows counterfactual inferences. We precisely characterize the classes of frameworks distinguishable by the non-monotonic inference relation for the admissible semantics. [less ▲]

Detailed reference viewed: 80 (4 UL)
Peer Reviewed
See detailA logical theory about dynamics in abstract argumentation
Booth, Richard UL; Kaci, Souhila; Rienstra, Tjitze UL et al

Scientific Conference (2013)

Detailed reference viewed: 148 (13 UL)
Peer Reviewed
See detailAgent Programming Languages Requirements for Programming Autonomous Robots
Ziafati, Pouyan UL; Dastani, Mehdi; Meyer, John-Jules et al

in Dastani, Mehdi; Hübner, Jomif; Logan, Brian (Eds.) Programming Multi-Agent Systems (2013)

Detailed reference viewed: 201 (5 UL)
Full Text
Peer Reviewed
See detailEvent-processing in Autonomous Robot Programming
Ziafati, Pouyan UL; Dastani, Mehdi; Meyer, John-Jules et al

in Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems (2013)

When implementing the high-level control component of an autonomous robot, one needs to process events, generated by sensory components, to extract the information relevant to the control component. This ... [more ▼]

When implementing the high-level control component of an autonomous robot, one needs to process events, generated by sensory components, to extract the information relevant to the control component. This paper discusses the lack of support for event-processing when current agent programming languages (APLs) are used to implement the control component of autonomous robots. To address this issue, the use of information flow processing (IFP) systems is proposed to support the development of event-processing components (EPCs) for an autonomous robot. The necessary interaction mechanisms between a control component and EPCs are defined. These mechanisms allow run-time subscription to events of interest, asynchronous reception of events, maintaining necessary histories of events and run-time querying of the histories. Several implementation-related concerns for these interaction mechanisms are discussed. [less ▲]

Detailed reference viewed: 135 (11 UL)
Full Text
Peer Reviewed
See detailManaging legal interpretation in regulatory compliance
Boella, Guido; Janssen, Marijn; Joris, Hulstijn et al

in XIV International Conference on Artificial Intelligence and Law (2013)

Detailed reference viewed: 296 (3 UL)
Full Text
See detailHandbook of Deontic logic and Normative Systems
Gabbay, Dov; Horty, Jeff; Parent, Xavier UL et al

Book published by College Publication (2013)

Detailed reference viewed: 430 (18 UL)
Full Text
Peer Reviewed
See detailRewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System
Kontarinis, Dionysios; Bonzon, Elise; Maudet, Nicolas et al

in CLIMA (2013)

When several agents are engaged in an argumentation process, they are faced with the problem of deciding how to contribute to the current state of the debate in order to satisfy their own goal, ie. to ... [more ▼]

When several agents are engaged in an argumentation process, they are faced with the problem of deciding how to contribute to the current state of the debate in order to satisfy their own goal, ie. to make an argument under a given semantics accepted or not. In this paper, we study the minimal changes (or target sets) on the current state of the debate that are required to achieve such a goal, where changes are the addition and/or deletion of attacks among arguments. We study some properties of these target sets, and propose a Maude specification of rewriting rules which allow to compute all the target sets for some types of goals [less ▲]

Detailed reference viewed: 108 (1 UL)
Full Text
Peer Reviewed
See detailIntegrating Legal-URN and Eunomos: Towards a Comprehensive Compliance Management Solution
Boella, Guido; Tosatto, Silvano Colombo; Ghanavati, Sepideh et al

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 ▲]

Detailed reference viewed: 142 (0 UL)
Peer Reviewed
See detailNormative Reasoning and Consequence
Broersen, Jan; Cranefield, Stephen; Elrakaiby, Yehia UL et al

in Normative Multi-Agent Systems (2013)

Detailed reference viewed: 105 (15 UL)