![]() ; van der Torre, Leon ![]() 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: 51 (0 UL)![]() ; ; 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: 81 (1 UL)![]() Colombo Tosatto, Silvano ![]() ![]() 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: 116 (4 UL)![]() ; ; Gabbay, Dov M. ![]() 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: 99 (5 UL)![]() ; ; van der Torre, Leon ![]() in Proceedings of the First International Conference on Agreement Technologies, AT 2012 (2012) Detailed reference viewed: 39 (0 UL)![]() van der Torre, Leon ![]() 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: 94 (2 UL)![]() ; ; Humphreys, Llio ![]() in Language Resources and Evaluation (LREC) (2012) In this paper, we describe how NLP can semi-automate the construction and analysis of knowledge in Eunomos, a legal knowledge management service which enables users to view legislation from various ... [more ▼] In this paper, we describe how NLP can semi-automate the construction and analysis of knowledge in Eunomos, a legal knowledge management service which enables users to view legislation from various sources and ?nd the right de?nitions and explanations of legal concepts in a given context. NLP can semi-automate some routine tasks currently performed by knowledge engineers, such as classifying norms, or linking key terms within legislation to ontological concepts. This helps overcome the resource bottleneck problem of creating specialist knowledge management systems. While accuracy is of the utmost importance in the legal domain, and the information should be veri?ed by domain experts as a matter of course, a semi-automated approach can result in considerable ef?ciency gains. [less ▲] Detailed reference viewed: 180 (0 UL)![]() ; ; Gabbay, Dov M. ![]() 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: 111 (5 UL)![]() Baroni, Pietro ![]() ![]() 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: 41 (3 UL)![]() Booth, Richard ![]() ![]() 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: 49 (2 UL)![]() Broersen, Jan ![]() ![]() ![]() in Deontic Logic in Computer Science (2012) Detailed reference viewed: 105 (5 UL)![]() ![]() Turrini, Paolo ![]() ![]() ![]() 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: 62 (4 UL)![]() ; Caire, Patrice ![]() ![]() in AT2012, Agreement Technologies, Proceedings of the First International Conference on Agreement Technologies (2012) Detailed reference viewed: 77 (1 UL)![]() ; ; Humphreys, Llio ![]() in IX Conference of the Italian Chapter of AIS (2012) Maintaining regulatory compliance is an increasing concern. Legal Knowledge Management systems could support the work of compliance managers. However, there are challenges to overcome, of interpreting ... [more ▼] Maintaining regulatory compliance is an increasing concern. Legal Knowledge Management systems could support the work of compliance managers. However, there are challenges to overcome, of interpreting legal knowledge and mapping it onto business processes. In this discussion paper we determine requirements for Legal Knowledge Management systems that can handle these challenges. We argue that an approach to Legal Knowledge Management should consist of four pillars: (1) a legal ontology to express the legal concepts that are central to the interpretation of rules and regulations in practice, (2) natural language processing techniques, to semi-automatically populate the ontology, (3) a systematic method for mapping the legal concepts onto the actual data and business processes of a company, and (4) a method to construct an audit trail as part of the process design, providing legally acceptable evidence of compliance. The challenges are illustrated by an example of MIFID, a set of European regulations in the financial domain. [less ▲] Detailed reference viewed: 54 (0 UL)![]() ; van der Torre, Leon ![]() in Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII (2012) Detailed reference viewed: 35 (0 UL)![]() Rienstra, Tjitze ![]() in Proceedings of the 1st International Workshop on the Theory and Applications of Formal Argumentation (TAFA 2011) (2011, July 16), 7132 In the theory of abstract argumentation, the acceptance status of arguments is normally determined for the complete set of arguments at once, under a single semantics. However, this is not always desired ... [more ▼] In the theory of abstract argumentation, the acceptance status of arguments is normally determined for the complete set of arguments at once, under a single semantics. However, this is not always desired. In this paper, we extend the notion of an argumentation framework to a multi-sorted argumentation framework, and we motivate this extension using an example which considers practical and epistemic arguments. In a multi-sorted argumentation framework, the arguments are partitioned into a number of cells, where each cell is associated with a semantics under which its arguments are evaluated. We prove the properties of the proposed framework, and we demonstrate our theory with a number of examples. Finally, we relate our theory to the theory of modal fibring of argumentation networks. [less ▲] Detailed reference viewed: 91 (0 UL)![]() Lang, J. ![]() ![]() ![]() in Actes des Cinquièmes Journées Francophones Modèles Formel de l'Interaction (MFI 11) (2011, July 12), XIII Many voting rules are based on some minimization principle. Likewise, in the field of logic-based knowledge representation and reasoning, many belief change or inconsistency handling operators also make ... [more ▼] Many voting rules are based on some minimization principle. Likewise, in the field of logic-based knowledge representation and reasoning, many belief change or inconsistency handling operators also make use of minimization. Surprisingly, minimization has not played a major role in the field of judgment aggregation, in spite of its proximity to voting theory and logic-based knowledge representation and reasoning. Here we make a step in this direction and study six judgment aggregation rules; two of them, based on distances, have been previously defined; the other four are new, and all inspired both by voting theory and knowledge representation and reasoning. We study the inclusion relationships between these rules and address some of their social choice theoretic properties. [less ▲] Detailed reference viewed: 110 (0 UL)![]() ; Colombo Tosatto, Silvano ![]() in In Proceedings of The Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). May, 2011 (2011) In this paper we propose a neural-symbolic architecture to represent and reason with norms in multi-agent systems. On the one hand, the architecture contains a symbolic knowledge base to represent norms ... [more ▼] In this paper we propose a neural-symbolic architecture to represent and reason with norms in multi-agent systems. On the one hand, the architecture contains a symbolic knowledge base to represent norms and on the other hand it contains a neural network to reason with norms. The interaction between the symbolic knowledge and the neural network is used to learn norms. We describe how to handle normative reasoning issues like contrary to duties, dilemmas and exceptions by using a priority-based ordering between the norms in a neural-symbolic architecture. [less ▲] Detailed reference viewed: 40 (1 UL)![]() Boella, Guido ![]() ![]() ![]() in Proceedings of the 13th International Workshop on Coordination, Organization, Institutions and Norms (COIN@WI-IAT) (2011) Satisficing, the concept proposed by Herbert Simon, as an approach to reaching agreements is little explored. We propose a model for satisficing agreement reaching for an adaptive collaborative group of ... [more ▼] Satisficing, the concept proposed by Herbert Simon, as an approach to reaching agreements is little explored. We propose a model for satisficing agreement reaching for an adaptive collaborative group of agents. The group consists of one human agent familiar with the problem and arbitrarily many artificial agents. Our model raises to the team level the recognition-primed decision model constructed in the field of cognitive decision-making by using social choice for reaching group opinions. [less ▲] Detailed reference viewed: 87 (0 UL)![]() ; ; van der Torre, Leon ![]() in Attack Semantics for Abstract Argumentation (2011) In this paper we conceptualize abstract argumentation in terms of successful and unsuccessful attacks, such that arguments are accepted when there are no successful attacks on them. We characterize the ... [more ▼] In this paper we conceptualize abstract argumentation in terms of successful and unsuccessful attacks, such that arguments are accepted when there are no successful attacks on them. We characterize the relation between attack semantics and Dung’s approach, and we define an SCC recursive algorithm for attack semantics using attack labelings. [less ▲] Detailed reference viewed: 31 (0 UL) |
||