Informatics: AIAI: Foundations and Applications of Artificial Intelligence, Automated Reasoning, Agents, Data Intensive Research MPhil

At the Artificial Intelligence and its Applications Institute (AIAI), we enable computer systems to reproduce and complement human abilities, work with people, and support collaboration between humans. <br/><br/>We conduct world-leading research in the foundations of Artificial Intelligence, for example, in:<br/><br/><br/>* knowledge representation and reasoning<br/><br/><br/>* emergence of meaning<br/><br/><br/>* theory and ontology change<br/><br/><br/>* creativity<br/><br/><br/>* computer-based proof<br/><br/><br/>We also research its applications to intelligent systems, for example:<br/><br/><br/>* autonomous and multi-agent systems<br/><br/><br/>* social computation<br/><br/><br/>* scientific collaboration platforms<br/><br/><br/>* web semantics and linked data<br/><br/><br/>Our research methods focus on the development of models of knowledge, reasoning, and interaction that can be used to understand and automate aspects of human and machine intelligence, but are also understandable and usable to the designers and users of AI systems in order to address broader issues such as fairness, accountability, transparency and safety. <br/><br/>To achieve this, we combine theoretical research into AI models, architectures and algorithms with a strong element of applied research. This has led to a strong track record in using our methods to address real-world problems in:<br/><br/><br/>* healthcare<br/><br/><br/>* scientific collaboration<br/><br/><br/>* social computing<br/><br/><br/>* emergency systems<br/><br/><br/>* transportation<br/><br/><br/>* engineering<br/><br/><br/>* aerospace<br/><br/><br/>Youll find a wide range of research areas within AIAI conducted across themes such as: <br/><br/><br/>* Interpretable and Explainable AI<br/><br/><br/>* Neuro-Symbolic AI <br/><br/><br/>* Autonomous and Multi-agents Systems<br/><br/><br/>* Mathematical/Probabilistic and Logical Reasoning <br/><br/><br/>* Formal Modelling and Verification <br/><br/><br/>* Planning and Activity Management<br/><br/><br/>* Data-Intensive Research<br/><br/><br/>* Network Science <br/>