Reasoning and Planning Group

The integration of knowledge into computer systems is becoming increasingly essential in the development of automated solutions to complex problems, which would otherwise require a high-level of human expertise. Knowledge must be structured to reflect human reasoning and use of logic to ultimately enable the system to solve complex tasks such as diagnosing a medical condition. The Reasoning and Planning (RAP) group researches symbolic models for reasoning involving argumentation, knowledge representation and planning, and the combination of reasoning, planning and machine learning approaches. Research within the RAP group considers both individual and multi-entity reasoning and planning, which may involve humans as well as AI systems.

Group Lead: Dr Andrew Coles

See our King’s homepage.

Illustration of Reasoning and Planning Group