1. Intelligent Autonomous Systems
Our theoretical research includes uncertain information modelling and fusion; event correlation and reasoning; belief modelling and revision; online planning under uncertainty; multi-criteria decision making under uncertainty. Specifically
- Developing multi-agent based, data-driven event reasoning frameworks for correlating dispersed events detected from heterogeneous sources in a distributed complex environment for achieving situation awareness. Applications include intelligent surveillance in cyber-physical systems, smart homes, and intelligent energy and transport management in smart cities.
- Developing intelligent autonomous systems using multi-agent techniques for complex control problems and for designing collaborative (software) agents, or mixed teams of multi-robots and human for working together in complex environment. Applications include smart cities, services, complex industrial control problems, and games for entertainment or education.
- Handling ambiguous evidence in game theory for security and multi-criteria decision making under uncertainty in complex systems.
- Modelling, reasoning, and merging uncertain information from heterogeneous sources in any intelligent systems (e.g., large sensor networks). We particularly focus on the Dempster-Shafer theory of Evidence (belief function theory), possibility theory and possibilistic logic, and probability theory.
2. Data mining, large-scale data analytics, anomaly/threats detection
We develop Machine Learning and Data Mining algorithms to discover knowledge. Recent work has been focusing on graph-based approaches for both historic and streaming data analytics, with numerous applications.
- Developing anomaly detection algorithms for detecting abnormal behaviours (anomalies) in physical access control environment under the context of security.
- Developing graph-based algorithms for identifying exercise patterns and influences among participants in events.
- Discovering social connection patterns from social networks with streaming data.
- Developing various data analytical approaches, in collaboration with Belfast City Council, for analyzing data on CityBikes, Pollution, Waste disposal/treatment, Recycling; Anti-Social Behaviours, etc.
- Developing real-time threats and anomaly prediction algorithms with missing values in datasets, using knowledge discovered above, to provide real-time situation awareness for decision support.
3. Theoretical aspects of Merging/Revising Uncertain and Inconsistent Knowledgebases
Our research includes developing fusion methods (merging operators) and algorithms for merging multiple knowledgebases (maybe with constrains), especially, propositional and possibilistic knowledgebases, stratified knowledgebases, imprecise probabilistic logic based knowledge bases, and heterogeneous uncertain information. We also develop revision strategies/operators for revising such knowledge/belief bases.
Recent research has progressed to providing a toolkit for identifying minimal inconsistent subsets and calculating inconsistency values of knowledgbases or individual formulae in large-scale knowledge bases. This research has also been extended to developing approaches for detecting inconsistencies in probabilistic knowledge bases (learned by other machine learning systems) and repairing such inconsistencies.