Browsing Software Engineering & Collaborative Modelling Laboratory by Date Published
Now showing items 1-20 of 64
-
Integrating expectation handling into Jason
Although expectations play an important role in designing cognitive agents, agent expectations are not explicitly being handled in most common agent programming environments. There are techniques for monitoring fulfilment ... -
Interfacing a cognitive agent platform with Second Life
Second Life is a multi-purpose online virtual world that provides a rich platform for remote human interaction. It is increasingly being used as a simulation platform to model complex human interactions in diverse areas, ... -
Modelling and monitoring interdependent expectations
Previous research on modelling and monitoring norms, contracts and commitments has studied the semantics of concepts such as obligation, permission, prohibition and commitment; languages for expressing behavioural constraints ... -
Agent-based container terminal optimisation
Container terminals play a critical role in international shipping and are under pressure to cope with increasing container traffic. The problem of managing container terminals effectively has a number of characteristics ... -
Integrating expectation monitoring into Jason: A case study using Second Life
Previous work on detecting fulfilments and violations of expectations (which may correspond to conventions, norms, commitments or contracts) assumed that information about the world is available as an abstract logical model ... -
On the testability of BDI agents
Before deploying a software system we need to assure ourselves that the system will behave correctly. This assurance is usually done by testing the system. However, it is intuitively obvious that adaptive systems, including ... -
Multi-agent platforms and asynchronous message passing: Frameworks overview
In this article we review contemporary multi-agent system architectures and implementations. We particularly focus on asynchronous message passing mechanisms. Our motivation is to explore two main areas in the context of ... -
Verifying social expectations by model checking truncated paths
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectations, together with infrastructure supporting ... -
On the testability of BDI agent systems
Before deploying a software system we need to assure ourselves (and stake- holders) that the system will behave correctly. This assurance is usually done by testing the system. However, it is intuitively obvious that ... -
Norm identification in multi-agent societies
In normative multi-agent systems, the question of “how an agent identifies a norm in an agent society” has not received much attention. This paper aims at addressing this question. To this end, this paper proposes an ... -
Assurance of agent systems: What role should formal verification play?
In this paper we consider the broader issue of gaining assurance that an agent system will behave appropriately when it is deployed. We ask to what extent this problem is addressed by existing research into formal verification. ... -
Unifying micro-agent communication in the Otago Agent Platform (OPAL)
Multi-agent frameworks are broadly available in the meanwhile. Nearly all of them however understand the agent concept differently, going as far as to provide several agent concepts within a platform. Along with this ... -
A collaborative Web-based issue based information system (IBIS) framework
This research focuses on the design and development of an IBIS-based tool called IBISMod, which facilitates a distributed and collaborative decision-making process. IBIS-based systems help analysts and designers in the ... -
A software framework for application development using ZigBee protocol
The problem with the uptake of new technologies such as ZigBee is the lack of development environments that help in faster application software development. This paper describes a software framework for application development ... -
A categorization of simulation works on norms
In multi-agent systems, software agents are modelled to possess characteristics and behaviour borrowed from human societies. Norms are expectations of behaviours of the agents in a society. Norms can be established in a ... -
Tag based model for knowledge sharing in agent society
In this paper we discuss a tag-based model that facilitates knowledge sharing in the context of agents playing the knowledge sharing game. Sharing the knowledge incurs a cost for the sharing agent, and thus non-sharing is ... -
On the testability of BDI agent systems
Before deploying a software system we need to assure ourselves (and stake-holders) that the system will behave correctly. This assurance is usually done by testing the system. However, it is intuitively obvious that adaptive ... -
Partner selection mechanisms for agent cooperation
In a multi-agent system, a single agent may not be capable of completing complex tasks. Therefore agents are required to form a team to fulfill the task requirements. In this paper an agent model is introduced that ... -
Vector opinion dynamics: An extended model for consensus in social networks
Most people hold a variety of opinions on different topics ranging from sports, entertainment, spiritual beliefs to moral principles. These can be based on a personal reflection and evaluation or on their interactions with ... -
Verifying social expectations by model checking truncated paths
One approach to moderating the behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectations, together with infrastructure supporting conformance ...