Planning, Agents and Intelligent Systems

DESCRIPTION
The Planning, Agents and Intelligent Systems (PAIS) Group is concerned with investigating various aspects of agent technologies and intelligent systems, and their applications, as well as artificial intelligence more generally. Agents are intelligent (typically software) entities that work together to achieve goals that they would not be able to achieve by themselves, or not as easily. Some recent work has focused areas such as market-based control, deontic logic and normative systems, agent-oriented software engineering, virtual organisations, trust and reputation, argumentation, eScience, provenance, formal theory of communication, approximate and qualitative reasoning, artificial intelligence & law, and application to health informatics.

Associated research programmes

Associated staff research interests
Interests:
Temporal and Numeric Planning, Planning with Rich Domain Models, Applications of Planning.
Tel:
020 7848 1511
Email:
Website:
Interests:

Formal theory of normative systems, Formal theory of communication, Formal analysis of the concept of trust, Artificial intelligence and law

Website:
Interests:
Temporal and Metric Planning, Modelling for Planning, Plan Validation and Verification and Applications of Planning.
Tel:
020 7848 2419
Email:
Website:
Interests:
Intelligent agents and multi-agent systems. Argumentation theoretic models of agent reasoning, communication and dialogue. Strategic considerations for argumentation-based dialogues. Applications of artificial intelligence in healthcare informatics. Agent based modelling.
Tel:
020 7848 2694
Email:
Website:
Interests:
Artificial intelligence and law; approximate reasoning; qualitative reasoning; knowledge representation; compositional modelling.
Email:
Website:
Interests:
Intelligent analysis of large complex networked systems, Dynamics of complex networked systems, Network motifs method in social networks, Multi-relational social networks, Modelling of Complex Adaptive Software Systems.
Tel:
020 7848 2596
Email:
Website:
Interests:
Mixed Discrete-Continuous Planning, Plan-based Policy Learning, Autonomous Intelligent Control of Robotic Systems.
Tel:
020 7848 1579
Email:
Website:
Interests:
My work has sought to take a principled approach to the development of practical agent systems, and spans: the development of an extensive formal framework for understanding and modelling intelligent agents and multi-agent systems; the formalisation of existing practical agent systems and theories; the development of information-based agent applications in domains such as genome analysis; norms and institutions; trust and reputation; agent infrastructure; declarative programming of agent systems; agent-oriented software engineering; application to Grid computing; and industrial deployment and technology forecasting.
Tel:
020 7848 2562
Fax:
020 7848 2851
Email:
Website:
Interests:
Argumentation, Autonomous Agents, Agent Communications, Cyber-Security, Decision Theory, Market Design, Modeling & Simulation, Multi-Agent Systems, Strategy and Policy, Trading Agents and Agent-Based economics
Email:
Interests:
* Argumentation Theory

* Non-monotonic Logic

* Normative Reasoning

* Agent Reasoning and Multi-agent dialogue

* Applications of Artificial Intelligence in Medicine

Tel:
020 7848 1631
Email:
Website:
Interests:
I apply internet and artificial intelligence technologies to aiding the process of research, particularly in science. Specifically, I focus on systems for determining the provenance of scientific results (how they were produced) in distributed systems, and applying agent-oriented software techniques to automated sharing of knowledge. I also collaborate with businesses to automate handling of their contracts with others, including tools which can reason about and check the fulfliment of sets of contracts.
Tel:
020 7848 1166
Fax:
020 7848 2851
Email:
Website:
CONTACTS FOR FURTHER INFORMATION
Professor Peter McBurney
Email
Website