Details of Grant 

EPSRC Reference:	GR/M88761/01
Title:	PROOF METHODS FOR MULTI-AGENT SYSTEMS
Principal Investigator:	Schmidt, Dr RA
Other Investigators:	Fisher, Professor M Dixon, Professor C Hustadt, Dr U
Researcher Co-Investigators:
Project Partners:
Department:	Computer Science
Organisation:	Victoria University of Manchester, The
Scheme:	Standard Research (Pre-FEC)
Starts:	15 January 2001	Ends:	14 January 2004	Value (£):	151,079
EPSRC Research Topic Classifications:	Artificial Intelligence
EPSRC Industrial Sector Classifications:	No relevance to Underpinning Sectors
Related Grants:
Panel History:
Summary on Grant Application Form
Reasoning about intelligent agents in complex dynamic environments presents a major challenge in AI research. Such reasoning is crucial and pervasive to most agent applications. Yet, so far, progress has been slow and no standard methodologies are available. The project aims to apply the novel techniques developed in previous work by the applicants and to study to what extent these can be employed and adapted for reasoning about agent theories, focusing in particular on the verification and reasoning about typical complex interactions. This work presents a major challenge providing the opportunity for significant advances away from simple modal logics to complex combinations of modal and first-order logics, and away from model - theoretic decidability results to practical efficient automated decision procedures.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk Summary Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:
Further Information:
Organisation Website: