Advanced Reasoning Group

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.

Key areas

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.

Projects

Our current 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)

Some recently completed projects are:

• SoftFMEA - Automated FMEA of networked and software based systems
• Dougal - Whole car, whole lifecycle design analysis

Research Interests

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

Contact

For general enquiries, contact: Neal Snooke (nns@aber.ac.uk).