Agent Programming Languages Requirements for Programming Autonomous Robots

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

Event-processing in Autonomous Robot Programming

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

A logical theory about dynamics in abstract argumentation

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

Visualizing Normative Systems: an Abstract Approach

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

Agent Programming Languages Requirements for Programming Cognitive Robots (extended abstract)

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

Modelling defeasible and prioritized support in bipolar argumentation

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

Contrary-To-Duties in Games

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)

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

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

Selecting judgment aggregation rules for NAO robots: an experimental approach

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

Changing Agreements: Intention Reconsideration based on Assumptions and Reasons

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