• 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 ...
  • 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 ...
  • 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 ...
  • A rule language for modelling and monitoring social expectations in multi-agent systems 

    Cranefield, Stephen
    This paper proposes a rule language for defining social expectations based on a metric interval temporal logic with past and future modalities and a current-time binding operator. An algorithm for run-time monitoring ...