Knowledge Based Systems
The knowledge based systems group conducts research on knowledge modelling, discovery and acquisition. They have a proven record in developing innovative techniques for applying knowledge-based systems to real-world problems, especially for product design and decision-support. The group has three main strengths: constraint programming, case-based reasoning, and knowledge discovery from text.
Among the projects in this group, advanced knowledge engineering tools have been developed for building and maintaining knowledge-based systems and these have been applied to decision support tools in several domains, such as pharmacy and engineering.
People in the Knowledge Based Systems Group
Researchers: Hatem Ahriz, Ines Arana, Robin Boswell, Susan Craw, Kit-Ying Hui, Robert Lothian, Stewart Massie, Nirmalie Wiratunga
Research Students: Stella Asiimwe, Ganesan Bathumalai,David Lee,Rahman Mukras, Bayo Omomowo, Amandine Orecchioni, Ibrahim Adeyanju
Previous Members: Muhammed Basharu, Sutanu Chakraborti, Bo Hu, Jacek Jarmulak, Keith Matthews, Apkar Salatian, Rainer Schmidt, Dietrich Wettschereck
Projects
Constraints
- Distributed Constraint Satisfaction in Dynamic Environments
- Extending Reasoning about Constrained Taxonomies
- Penalty-driven Algorithms for Distributed Constraint Satisfaction
- RECOP: Representing and Reformulating Constraint and Optimisation Problems
- Specification of Constraint Problems using the Z Language
Case-Based Reasoning
- CBR for Remote Patient Health-Care Monitoring (KTP)
- Complexity Modelling for CBR Systems
- MediCACE - Medical Decision Support with CBR
- Knowledge Discovery for CBR
- KRUSTWORKS - automated knowledge refinement
Knowledge Discovery from Text
- Textual Revision Applications in NLG and TCBR
- Knowledge Acquisition for Textual CBR (UKIERI project with IIT Madras)
- CBR for Anomaly Report Processing
- Intelligent Management of Email
- Intelligent Websites
- Knowledge Acquisition for Case-Retrieval Nets
- Propositional Semantic Indexing (PSI)
- Sentiment Analysis from Textual Data
- SmartCAT Case Authoring Tool
