This research aims at identifying and addressing BDI-based agent programming languages requirements for programming autonomous robots. Four requirements are discussed and the current state of this research in addressing these requirements is presented. ...

In this paper we present DIVAs 4.0, a framework that supports the development of large-scale agent-based simulation systems where agents are situated in open environments. DIVAs includes high-level abstractions for the definition of agents and open ...

This paper presents a comprehensive framework for run-time self-checking of logical agents, by means of temporal axioms to be dynamically checked. These axioms are specified via an agent-oriented interval temporal logic defined to this purpose, with ...

Game-theoretic models typically associate outcomes with real valued utilities, and rational agents are expected to maximize their expected utility. Currently fielded agent rating systems, which aim to order a population of agents by strength, focus ...

Multi-agent systems (MAS) are efficient solutions for commercial applications such as robotics, business commerce applications, information retrieval and search engines. In MAS, agents are usually designed with distribution of functionality and control. ...

We have developed an intelligent agent to engage with users in virtual drama improvisation previously. The agent was able to perform sentence-level affect detection especially from inputs with strong emotional indicators. In this research, we employ ...

This paper presents some results of communication benchmarks used to compare the performance of one agent-oriented and two actor-oriented programming languages. The experiments include an existing benchmark for traditional programming languages as well ...

In this paper we describe an approach for developing an intelligent game master (GM) for computer role-playing games. The role of the GM is to set up the game environment, manage the narrative flow and enforce the game rules whilst keeping the players ...

In this work, we show how AUML protocol specifications in the Prometheus methodology can be automatically propagated to the detailed design of the methodology by creating appropriate artefacts. The approach is general to all design methodologies that ...

Engineering multi-agent systems (MAS) is known to be a complex task. One of the reasons lays in the complexity to combine multiple concerns that a MAS has to address, such as system functionality, coordination, robustness, etc. A well-recognized ...

Testing multi-agent systems is a challenge, since by definition such systems are distributed, and are able to exhibit autonomous and flexible behaviour. One specific challenge in testing agent programs is developing a collection of tests (a "test suite")...

Agent evaluation in stochastic domains can be difficult. The commonplace approach of Monte Carlo evaluation can involve a prohibitive number of simulations when the variance of the outcome is high. In such domains, variance reduction techniques are ...

We consider multiagent systems that involve two or more business partners interacting via autonomous software agents. A (business) protocol describes the messages exchanged by the agents in high-level terms. Such systems pose a major challenge with ...

Recently there has been a proliferation of tools and languages for modeling multi-agent systems (MAS). Verification tools, correspondingly, have been developed to check properties of these systems. Most MAS verification tools, however, have their own ...

A key problem in verification of multi-agent systems by model checking concerns the fact that the state-space of the system grows exponentially with the number of agents present. This often makes practical model checking unfeasible whenever the system ...

Diagnosability is a key attribute of systems to enable the detection of failure events by partial observations. This paper addresses the diagnosability in concurrent probabilistic systems. Four different notions (L-, P-, A-, and AA-diagnosability) are ...

Norms have been proposed as a way to regulate multi-agent systems. In order to operationalize norms, several computational frameworks have been proposed for programming norm-governed agent organizations. It has been argued that in such systems it is ...

A system of autonomous agents may exhibit undesirable or ineffective behavior if no form of regulation is imposed. Norms, describing how agents should ideally behave, can be used to address this issue if agents are able to reason about norms and adapt ...

Eliciting accurate information on any object (perhaps a new product or service or person) using the wisdom of a crowd of individuals utilizing web-based platforms such as social networks is an important and interesting problem. Peer-prediction method is ...