No abstract

In this paper we describe a method for efficient argumentbased inquiry. In this method, an agent creates arguments for and against a particular topic by matching argumentation rules with observations gathered by querying the environment. To avoid making superfluous queries, the agent needs to determine if the acceptability status of the topic can change given more information. We define a notion of stability, where a structured argumentation setup is stable if no new arguments can be added, or if adding new arguments will not change the status of the topic. Because determining stability requires hypothesizing over all future argumentation setups, which is computationally very expensive, we define a less complex approximation algorithm and show that this is a sound approximation of stability. Finally, we show how stability (or our approximation of it) can be used in determining an optimal inquiry policy, and discuss how this policy can be used to, for example, determine a strategy in an argument-based inquiry dialogue.

Abstract. We propose a programming framework for the implementation of norm-aware multi-agent systems. The framework integrates the N-2APL normaware agent programming language with the 2OPL organisation programming language. Integration of N-2APL and 2OPL is achieved using a tuple space which represents both the (brute) state of the multi-agent environment and the detached norms and sanctions comprising its normative state. To the best of our knowledge, this is the first implementation of an integrated framework for norm-aware MAS in which autonomous agents deliberate about whether to conform to the norms imposed by a normative organisation. The use of a tuple space makes it straightforward to integrate other system components. To illustrate the flexibility of our framework, we briefly describe its application in a novel normative application, a mixed reality game called GeoSense. We show how GeoSense game rules can be expressed as conditional norms with deadlines and sanctions, and how agents can deliberate about their individual goals and the norms imposed by the game.

No abstract

No abstract