The Advanced Reasoning Group at Aberystwyth is primarily concerned with the development and use of Model Based Reasoning for design analysis, diagnosis and tutoring. We coordinate the European Network of Excellence in Model Based Systems and Qualitative Reasoning (MONET).
The driving vision for our research is that models should be used in the entire lifecycle of a product, from early design through to lifelong maintenance and diagnosis.
Our work develops Model Based Reasoning in several application areas. These include electrical qualitative simulation; automotive design analysis including Failure Mode Effects Analysis, Sneak Circuit Analysis and Design Verification; Diagnosis including Fault Tree Analysis; Education and Tutoring. We also have interests in Case Based Reasoning.
Our current projects are:
Some recently completed projects are:
- MONET - The European Network of Excellence in Model Based Systems & Qualitative Reasoning (MBS & QR)
- A model-based diagnostic engine for electro-mechanical devices (PhD)
- Intelligent Tutoring (PhD)
Theoretical issues of interest to the group are:
- Qualitative Reasoning
- Methodologies for model-based diagnosis
- Models for biological applications
- Multiple and hierarchical model environments
- Learning models
- Model Based Tutoring
For general enquiries, contact: Neal Snooke (nns@aber.ac.uk).