The Computational Intelligence Group
The Computational Intelligence Group (CIG) exists to research hybrid AI techniques, and develop systems able to solve complex problems. We base our work on the theoretical aspects of problem-solving and planning, but the main thrust of our efforts is towards the development of "implementable" systems able to solve real-world (and full-scale) problems.
Computational Intelligence Group website
Our theoretical work is largely based on:
- Formal representation & reasoning techniques - mainly logic-based approaches
- Constraint Logic Programming
- Quantative and qualitative domain modelling techniques
- Qualitative representation & reasoning
- Cognitive and Causal representation & execution modelling
- The agent metaphor
Group members
- Research staff: Graham Winstanley (group leader)
- Academic staff: Robert Hughes, Richard N. Griffiths, Lyn Pemberton, Gulden Uchyigit, Miltos Petridis
- Research students: Andrew Blake, Micah Rosenkind
