Skip to content

Computational Intelligence

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