![]() ![]() Booth, Richard ![]() ![]() Scientific Conference (2013) Detailed reference viewed: 127 (7 UL)![]() ![]() Ziafati, Pouyan ![]() in Dastani, Mehdi; Hübner, Jomif; Logan, Brian (Eds.) Programming Multi-Agent Systems (2013) Detailed reference viewed: 207 (5 UL)![]() Booth, Richard ![]() ![]() 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: 84 (4 UL)![]() Ziafati, Pouyan ![]() 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: 142 (11 UL)![]() ; ; Parent, Xavier ![]() Book published by College Publication (2013) Detailed reference viewed: 470 (21 UL)![]() Booth, Richard ![]() ![]() 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: 154 (6 UL)![]() ![]() Booth, Richard ![]() ![]() Scientific Conference (2013) Detailed reference viewed: 154 (13 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: 145 (4 UL)![]() ; 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: 68 (0 UL)![]() ![]() Ziafati, Pouyan ![]() 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: 133 (5 UL)![]() ; ; Colombo Tosatto, Silvano ![]() in International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (2012) In this paper we provide a neural-symbolic framework to model, reason about and learn norms in multi-agent systems. To this purpose, we define a fragment of Input/Output (I/O) logic that can be embedded ... [more ▼] In this paper we provide a neural-symbolic framework to model, reason about and learn norms in multi-agent systems. To this purpose, we define a fragment of Input/Output (I/O) logic that can be embedded into a neural network. We extend d’Avila Garcez et al. Connectionist Inductive Learning and Logic Programming System (CILP) to translate an I/O logic theory into a Neural Network (NN) that can be trained further with examples: we call this new system Normative- CILP (N-CILP). We then present a new algorithm to handle priorities between rules in order to cope with normative issues like Contrary to Duty (CTD), Priorities, Exceptions and Permissions. We illustrate the applicability of the framework on a case study based on RoboCup rules: within this working example, we compare the learning capacity of a network built with N-CILP with a non symbolic neural net- work, we explore how the initial knowledge impacts on the overall performance, and we test the NN capacity of learn- ing norms, generalizing new Contrary to Duty rules from examples. [less ▲] Detailed reference viewed: 128 (0 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: 127 (5 UL)![]() Broersen, Jan ![]() ![]() ![]() in Deontic Logic in Computer Science (2012) Detailed reference viewed: 130 (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: 80 (4 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: 64 (0 UL)![]() ; van der Torre, Leon ![]() in Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII (2012) Detailed reference viewed: 51 (0 UL)![]() ; ; et al in Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV (2012) Detailed reference viewed: 50 (0 UL)![]() Garcia Becerro, Frederic ![]() ![]() 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: 70 (1 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: 280 (0 UL)![]() ; ; van der Torre, Leon ![]() in Proceedings of the First International Conference on Agreement Technologies, AT 2012 (2012) Detailed reference viewed: 54 (0 UL) |
||