Adrian R. Pearce

Learn More
This paper is concerned with improving the software engineering of agent-based open systems. It critiques the existing Gaia methodology in the light of a motivating example of intelligent home networks. It describes the ROADMAP1 methodology, which extends Gaia with four improvements - formal models of knowledge and the environment, role hierarchies,(More)
In this paper we consider the task of matching patterns, as occur in hand-drawn symbols and schematic diagrams, by their parts and relationships. Of particular interest for computer vision is the integration of two approaches to the recognition by parts problem— graph matching and syntactic rule-based approaches. A new procedure is developed, named CLARET,(More)
This paper introduces a new approach to assess visual representations underlying the recognition of objects. Human performance is modeled by CLARET, a machine learning and matching system, based on inductive logic programming and graph matching principles. The model is applied to data of a learning experiment addressing the role of prior experience in the(More)
A view of plan recognition shaped by both operational and computational requirements is presented. Operational requirements governing the level of delity and nature of the reasoning process combine with computational requirements including performance speed and software engineering e ort to constrain the types of solutions available to the software(More)
A wide range of problems, from contingent and multiagent planning to process/service orchestration, can be viewed as games. In many of these, it is natural to specify the possible behaviors procedurally. In this paper, we develop a logical framework for specifying these types of problems/games based on the situation calculus and ConGolog. The framework(More)
In this paper we consider the types of representations and learning procedures required to construct rules which can adequately describe relational information as it occurs in spatio-temporal sequences. A comparison of interpreting on-line hand drawings is made to the automatic generation of ight manoeuvre description based on a relational learning system(More)