Now showing items 1-20 of 64

  • Integrating expectation handling into Jason 

    Ranathunga, Surangika; Cranefield, Stephen; Purvis, Martin
    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 

    Ranathunga, Surangika; Cranefield, Stephen; Purvis, Martin
    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 

    Cranefield, Stephen; Winikoff, Michael; Vasconcelos, Wamberto
    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 

    Winikoff, Michael; Wagner, Hanno-Felix; Young, Thomas; Cranefield, Stephen; Jarquin, Roger; Li, Guannan; Martin, Brent; Unland, Rainer
    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 ...
  • On the testability of BDI agents 

    Winikoff, Michael; Cranefield, Stephen
    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 ...
  • Integrating expectation monitoring into Jason: A case study using Second Life 

    Ranathunga, Surangika; Cranefield, Stephen; Purvis, Martin
    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 ...
  • Multi-agent platforms and asynchronous message passing: Frameworks overview 

    Frantz, Christopher; Nowostawski, Mariusz; Purvis, Martin
    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 

    Cranefield, Stephen; Winikoff, Michael
    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 

    Winikoff, Michael; Cranefield, Stephen
    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 

    Savarimuthu, Bastin Tony Roy; Cranefield, Stephen; Purvis, Maryam A.; Purvis, Martin K.
    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? 

    Winikoff, Michael
    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) 

    Frantz, Christopher
    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 

    Ebadi, Toktam; Purvis, Martin; Purvis, Maryam A.
    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 

    Savarimuthu, Bastin Tony Roy; Bruce, Morgan; Purvis, Maryam A.
    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 

    Savarimuthu, Bastin Tony Roy; Cranefield, Stephen
    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 

    Savarimuthu, Sharmila; Purvis, Martin; Purvis, Maryam A.
    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 

    Winikoff, Michael; Cranefield, Stephen
    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 

    Ebadi, Toktam; Purvis, Martin; Purvis, Maryam A.
    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 

    Alaali, Alya; Savarimuthu, Bastin Tony Roy; Purvis, Maryam A.
    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 

    Cranefield, Stephen; Winikoff, Michael
    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 ...