Louise Abigail Dennis

Learn More
Ensuring that autonomous systems work ethically is both complex and difficult. However, the idea of having an additional 'governor' that assesses options the system has, and prunes them to select the most ethical choices is well understood. Recent work has produced such a governor consisting of a 'consequence engine' that assesses the likely future outcomes(More)
In this paper we tackle the verification of basic auction models that are at the heart of many market-based multi-agent systems. Specifically, we program auctions in a BDI-based programming language and then use agent model checking to verify logical properties concerning time, beliefs and goals within the multi-agent system. The basic auction model is then(More)
The PROSPER (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more flexible format so that they may be treated as components. A system incorporating such tools becomes another component that can be embedded in an application. This manual describes the use(More)
Semantic resolution is a suggested reenement of Robinson's resolution method for automatic theorem proving Robinson 65]. It involves the use of models or interpretations to guide the search for a refutation. Several variants of semantic resolution exist, some of which are only complete for Horn sets. The implementation and testing of two variants, Semantic(More)
This technical report outlines the integration of the Robot Operating System (ROS) [4] with the Agent Interface Layer (AIL) toolkit [3]. It assumes some familiarity with the AIL, ROS and ROSJava. 1 The EASS variant of Gwendolen The EASS variant of the Gwendolen programming language was developed as part of the EPSRC project Engineering Autonomous Space(More)
The PROSPER (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more flexible format so that they may be treated as components. A system incorporating such tools becomes another component that can be embedded in an application. This manual describes the use(More)
  • 1