Jim Cunningham

Learn More
Although interaction protocols are often part of multi-agent infrastructures, many of the published protocols are semi-formal, vague or contain errors. Formal presentations can counter such disadvantages since they are amenable to verification of correctness. On the other hand, a diagrammatic representation of system structure is easier to comprehend. To(More)
An access control policy writing tool for the PERMIS role-based privileges management infrastructure was iteratively developed employing usability principles and techniques. Expert and intermediate users' efficiency in policy creation was improved. Three novice users took part in a usability trial with the first prototype, attempting to recreate a simple(More)
Agent interaction in realistic applications is subject to many forms of uncertainty -- including <i>information and network uncertainty, trust of and conflicts with other participants, lack of stability in a deal and risks about agreements and commitments.</i> However, one of the most common forms of uncertainty occurs when a group has divergent beliefs(More)
A Prolog implementation of a new theorem-prover for rst-order classical logic is described. The prover is based on the calculus KE and the rules used for analysing quantiiers in free variable semantic tableaux. A formal speciication of the rules used in the implementation is described, for which soundness and completeness is straightforwardly veriied. The(More)
The CEC Project GOAL (Esprit 6283) aims to develop generic software tools to support a new project management paradigm, in which projects are collaborative, decentralised and inter-organizational. To support inter-organizational interaction, communication and cooperation, we are developing a design framework for formalizing the flow of information between(More)
Current representations of interaction protocols either concentrate on ease of understanding and neglect the need to specify protocols unambiguously (e.g. [2]), or concentrate on formal rigour and neglect usability issues (e.g. [21,10]). The ongoing development of propositional statecharts has been motivated by the need to provide a notation which satisfies(More)