Results 101-120 of 256.
Bookmark and Share    
Full Text
Peer Reviewed
See detailLogics for Security and Privacy
van der Torre, Leon UL

in 2012 (2012)

In this presentation I first review new developments of deontic logic in computer science, then I discuss the use of dynamic epistemic deontic logic to reason about privacy policies, and finally I discuss ... [more ▼]

In this presentation I first review new developments of deontic logic in computer science, then I discuss the use of dynamic epistemic deontic logic to reason about privacy policies, and finally I discuss the use of modal logic for access control. This presentation is based on joint work with Guillaume Aucher, Guido Boella, Jan Broersen, Dov Gabbay and Valerio Genovese. [less ▲]

Detailed reference viewed: 110 (2 UL)
Full Text
Peer Reviewed
See detailBeyond Maxi-Consistent Argumentation Operators
Vesic, Srdjan UL; van der Torre, Leon UL

in 13th European Conference on Logics in Artificial Intelligence, JELIA 2012 (2012)

The question whether Dung’s abstract argumentation theory can be instantiated with classical propositional logic has drawn a considerable amount of attention among scientists in recent years. It was shown ... [more ▼]

The question whether Dung’s abstract argumentation theory can be instantiated with classical propositional logic has drawn a considerable amount of attention among scientists in recent years. It was shown by Cayrol in 1995 that if direct undercut is used, then stable extensions of an argumentation system correspond exactly to maximal (for set inclusion) consistent subsets of the knowledge base from which the argumentation system was constructed. Until now, no other correspondences were found between the extensions of an argumentation framework and its knowledge base (except if preferences are also given at the input of the system). This paper’s contribution is twofold. First, we identify four intuitive conditions describing a class of attack relations which return extensions corresponding exactly to the maximal (for set inclusion) consistent subsets of the knowledge base. Second, we show that if we relax those conditions, it is possible to instantiate Dung’s abstract argumentation theory with classical propositional logic and obtain a meaningful result which does not correspond to the maximal consistent subsets of the knowledge base used for constructing arguments. Indeed, we define a whole class of instantiations that return different results. Furthermore, we show that these instantiations are sound in the sense that they satisfy the postulates from argumentation literature (e.g. consistency, closure). In order to illustrate our results, we present one particular instantiation from this class, which is based on cardinalities of minimal inconsistent sets a formula belongs to. [less ▲]

Detailed reference viewed: 91 (0 UL)
Full Text
Peer Reviewed
See detailDiscussion Paper: Changing Norms Is Changing Obligation Change
Broersen, Jan UL; Gabbay, Dov M. UL; van der Torre, Leon UL

in Deontic Logic in Computer Science (2012)

Detailed reference viewed: 123 (5 UL)
Peer Reviewed
See detailContrary-To-Duties in Games
Turrini, Paolo UL; Parent, Xavier UL; van der Torre, Leon UL et al

in Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) (2012)

Detailed reference viewed: 76 (4 UL)
Full Text
Peer Reviewed
See detailReasoning for Agreement Technologies
van der Torre, Leon UL; Boella, Guido

in ECAI 2012 (2012)

We present a logical viewpoint on agreement technologies by combining reasoning methods for aggregation, norms, dependence, argumentation, and trust. Starting from the agreement technologies tower, we ... [more ▼]

We present a logical viewpoint on agreement technologies by combining reasoning methods for aggregation, norms, dependence, argumentation, and trust. Starting from the agreement technologies tower, we introduce an architecture for the agreement process with interacting reasoning processes. We discuss the input/output perspective on reasoning for agreement technologies, the combination of reasoning methods, the role of abstraction, and game theoretic foundations. [less ▲]

Detailed reference viewed: 65 (0 UL)
Full Text
Peer Reviewed
See detailSelecting judgment aggregation rules for NAO robots: an experimental approach
Garcia Becerro, Frederic UL; Sousa, Sergio; Slavkovik, Marija UL et al

in Selecting judgment aggregation rules for NAO robots: an experimental approach (2012)

Social choice rules can be used to reach group decisions in multiagent systems. We consider judgment aggregation, the problem of aggregating answers to binary logically related questions. In general ... [more ▼]

Social choice rules can be used to reach group decisions in multiagent systems. We consider judgment aggregation, the problem of aggregating answers to binary logically related questions. In general "fairness" is usually considered to be the main concern when selecting a social choice rule, however we believe that in judgment aggregation often a more relevant property is how efficient the rule is in truth tracking, that is, how often does it return the correct answer to the binary questions. Whereas "fairness" can be studied axiomatically, truth tracking efficiency needs to be studied experimentally. We accomplish the experimental analysis by constructing a multi-robot system. [less ▲]

Detailed reference viewed: 66 (1 UL)
Full Text
Peer Reviewed
See detailConditional acceptance functions
Booth, Richard UL; Kaci, Souhila; Rienstra, Tjitze UL et al

in 4th International Conference on Computational Models of Argument (COMMA 2012) (2012)

Dung-style abstract argumentation theory centers on argumentation frameworks and acceptance functions. The latter take as input a framework and return sets of labelings. This methodology assumes full ... [more ▼]

Dung-style abstract argumentation theory centers on argumentation frameworks and acceptance functions. The latter take as input a framework and return sets of labelings. This methodology assumes full awareness of the arguments relevant to the evaluation. There are two reasons why this is not satisfactory. Firstly, full awareness is, in general, not a realistic assumption. Second, frameworks have explanatory power, which allows us to reason abductively or counterfactually, but this is lost under the usual semantics. To recover this aspect, we generalize conventional acceptance, and we present the concept of a conditional acceptance function. [less ▲]

Detailed reference viewed: 65 (2 UL)
Full Text
Peer Reviewed
See detailAbstract Normative Systems: Semantics and Proof Theory
Colombo Tosatto, Silvano UL; Boella, Guido; van der Torre, Leon UL et al

in PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRTEENTH INTERNATIONAL CONFERENCE (2012)

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

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. [less ▲]

Detailed reference viewed: 107 (1 UL)
Full Text
Peer Reviewed
See detailDependence Networks for Agreement Technologies
Boella, Guido; Caire, Patrice UL; van der Torre, Leon UL et al

in AT2012, Agreement Technologies, Proceedings of the First International Conference on Agreement Technologies (2012)

Detailed reference viewed: 99 (1 UL)
Full Text
Peer Reviewed
See detailMonitoring Interaction in Organisations
Dastani, Mehdi; van der Torre, Leon UL; York-Smith, Neil

in Proceedings of the 14th International Workshop on Coordination, Organisations, Institutions and Norms (COIN@AAMAS 2012) (2012)

Detailed reference viewed: 111 (1 UL)
Full Text
Peer Reviewed
See detailComputational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII
Fisher, Michael; van der Torre, Leon UL; Dastani, Mehdi et al

in Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII (2012)

Detailed reference viewed: 49 (0 UL)
Peer Reviewed
See detailAgent Programming Languages Requirements for Programming Cognitive Robots (extended abstract)
Ziafati, Pouyan UL; Dastani, Mehdi; Meyer, John-Jules et al

Scientific Conference (2012)

This paper presents various requirements for BDI-based agent programming languages to provide better support for implementing autonomous robotic control systems. Examples of such requirements are: 1 ... [more ▼]

This paper presents various requirements for BDI-based agent programming languages to provide better support for implementing autonomous robotic control systems. Examples of such requirements are: 1- Built-in support for integration with existing robotic frameworks such as ROS, 2- Real-time reactivity to events, 3- Management of heterogeneous sensory data and reasoning on complex events, and 4- Representation of complex plans and coordination of the parallel execution of plans. [less ▲]

Detailed reference viewed: 129 (5 UL)
Full Text
Peer Reviewed
See detailModelling defeasible and prioritized support in bipolar argumentation
Villata, Serena; Boella, Guido; Gabbay, Dov M. UL et al

in Annals of Mathematics & Artificial Intelligence (2012), 66(1-4), 163-197

Cayrol and Lagasquie-Schiex introduce bipolar argumentation frameworks by introducing a second relation on the arguments for representing the support among them. The main drawback of their approach is ... [more ▼]

Cayrol and Lagasquie-Schiex introduce bipolar argumentation frameworks by introducing a second relation on the arguments for representing the support among them. The main drawback of their approach is that they cannot encode defeasible support, for instance they cannot model an attack towards a support relation. In this paper, we introduce a way to model defeasible support in bipolar argumentation frameworks. We use the methodology of meta-argumentation in which Dung’s theory is used to reason about itself. Dung’s well-known admissibility semantics can be used on this meta-argumentation framework to compute the acceptable arguments, and all properties of Dung’s classical theory are preserved. Moreover, we show how different contexts can lead to the alternative strengthening of the support relation over the attack relation, and converse. Finally, we present two applications of our methodology for modeling support, the case of arguments provided with an internal structure and the case of abstract dialectical frameworks. [less ▲]

Detailed reference viewed: 120 (5 UL)
Full Text
Peer Reviewed
See detailNormative Multi-Agent Systems
Andrighetto, Giulia; Governatori, Guido; Noriega, Pablo et al

in Dagstuhl Reports (2012), 2(3), 23-49

Normative systems are systems in the behavior of which norms play a role and which need normative concepts in order to be described or specified. A normative multi-agent system combines models for ... [more ▼]

Normative systems are systems in the behavior of which norms play a role and which need normative concepts in order to be described or specified. A normative multi-agent system combines models for normative systems (dealing for example with obligations, permissions and prohibitions) with models for multi-agent systems. Norms have been proposed in multi-agent systems and computer science to deal with issues of coordination, security, electronic commerce and institutions, agent organization. However, due to the lack of a unified theory, many multi-agent system researchers are presently developing their own ad hoc concepts and applications. The aim of this Dagstuhl Seminar was to formulate a collective appraisal of the current perspectives in the field and the most promising venues for future activity. In particular, the seminar has been conceived for the writing of a volume titled "A Prospective view of Normative Multi Agent Systems" aimed to become a standard reference in the field and to provide guidelines for future research in normative multi-agent systems. [less ▲]

Detailed reference viewed: 104 (1 UL)
Full Text
Peer Reviewed
See detailA logic of argumentation for specification and verification of abstract argumentation frameworks
Villata, Serena; Boella, Guido; Gabbay, Dov M. UL et al

in Annals of Mathematics & Artificial Intelligence (2012), 66(1-4), 199-230

In this paper, we propose a logic of argumentation for the specification and verification (LA4SV) of requirements on Dung’s abstract argumentation frameworks. We distinguish three kinds of decision ... [more ▼]

In this paper, we propose a logic of argumentation for the specification and verification (LA4SV) of requirements on Dung’s abstract argumentation frameworks. We distinguish three kinds of decision problems for argumentation verification, called extension verification, framework verification, and specification verification respectively. For example, given a political requirement like “if the argument to increase taxes is accepted, then the argument to increase services must be accepted too,” we can either verify an extension of acceptable arguments, or all extensions of an argumentation framework, or all extensions of all argumentation frameworks satisfying a framework specification. We introduce the logic of argumentation verification to specify such requirements, and we represent the three verification problems of argumentation as model checking and theorem proving properties of the logic. Moreover, we recast the logic of argumentation verification in a modal framework, in order to express multiple extensions, and properties like transitivity and reflexivity of the attack relation. Finally, we introduce a logic of meta-argumentation where abstract argumentation is used to reason about abstract argumentation itself. We define the logic of meta-argumentation using the fibring methodology in such a way to represent attack relations not only among arguments but also among attacks. [less ▲]

Detailed reference viewed: 136 (5 UL)
Full Text
Peer Reviewed
See detailChanging Agreements: Intention Reconsideration based on Assumptions and Reasons
Marosin, Diana; Proper, Alex Handrik; van der Torre, Leon UL

in Proceedings of the First International Conference on Agreement Technologies, AT 2012 (2012)

Detailed reference viewed: 51 (0 UL)
Full Text
Peer Reviewed
See detailA programming approach to monitoring communication in an organisational environment
Dastani, Mehdi; van der Torre, Leon UL; Yorke-Smith, Neil

in AAMAS 2012 (2012)

Agreement technologies [1] achieve coordination among autonomous computational entities, by combining technologies for norms, semantics, organisations, argumentation, negotiation, and trust. We consider ... [more ▼]

Agreement technologies [1] achieve coordination among autonomous computational entities, by combining technologies for norms, semantics, organisations, argumentation, negotiation, and trust. We consider how an organisational programming language, such as 2OPL [2], can be extended to monitor communication. Such an extended programming language can be used to facilitate the development of electronic institutions, organisations, or marketplaces that aim at monitoring agent interaction (including both communication and non-communication actions), checking compliance with norms, and enforcing norms by means of sanctions. This abstract reports on specifying an operational semantics for agent interactions within such a setting, distinguishing constitutive norms for monitoring and sanction rules for enforcement of norms. [less ▲]

Detailed reference viewed: 64 (0 UL)
Full Text
Peer Reviewed
See detailVisualizing Normative Systems: an Abstract Approach
Colombo Tosatto, Silvano UL; Boella, Guido; van der Torre, Leon UL et al

in Agotnes, Thomas; Broersen, Jan; Elgesem, Dag (Eds.) Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings (2012)

Abstract normative systems allow to reason with norms even when their content is not detailed. In this paper, we propose a our preliminary results to visualize abstract normative systems, in such a way ... [more ▼]

Abstract normative systems allow to reason with norms even when their content is not detailed. In this paper, we propose a our preliminary results to visualize abstract normative systems, in such a way that we are able to reason with institutional facts, obligations and permissions. Moreover, we detect meaningful patterns emerging from the proposed visualization, and we show how these patterns can be used to define commonly used reusable solutions. [less ▲]

Detailed reference viewed: 138 (4 UL)
Full Text
Peer Reviewed
See detailEunomos, a Legal Document and Knowledge Management System to Build Legal Services
Boella, Guido; Humphreys, Llio UL; Martin, Marco et al

in Palmirani, Monica; Pagallo, Ugo; Casanovas, Pompeu (Eds.) et al AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents (2012)

We introduce the Eunomos software, an advanced legal document management system with terminology management. We describe the challenges of legal research in an increasingly complex, multi-level and multi ... [more ▼]

We introduce the Eunomos software, an advanced legal document management system with terminology management. We describe the challenges of legal research in an increasingly complex, multi-level and multi-lingual world and how the Eunomos software helps expert users keep track of the state of the relevant law on any given topic. We will describe in particular the editorial process for building legal knowledge. [less ▲]

Detailed reference viewed: 194 (13 UL)
Full Text
Peer Reviewed
See detailOn Input/Output Argumentation Frameworks
Baroni, Pietro UL; Boella, Guido UL; Cerutti, Federico et al

in Proceedings of COMMA (2012)

This paper introduces Input/Output Argumentation Frameworks, a novel approach to characterize the behavior of an argumentation framework as a sort of black box exposing a well-defined external interface ... [more ▼]

This paper introduces Input/Output Argumentation Frameworks, a novel approach to characterize the behavior of an argumentation framework as a sort of black box exposing a well-defined external interface. As a starting point, we define the novel notion of semantics decomposability and analyze complete, stable, grounded and preferred semantics in this respect. Then we show as a main result that, under grounded, complete, stable and credulous preferred semantics, Input/Output Argumentation Frameworks with the same behavior can be interchanged without affecting the result of semantics evaluation of other arguments interacting with them [less ▲]

Detailed reference viewed: 54 (3 UL)