A Generic Framework for Verifying Machine Learning Algorithms. This project aims to discover new ways to verify whether decisions made by Artificial Intelligence and Machine Learning algorithms are as per the specifications set by their designers and/or regulatory bodies. The project also provides new methods to align algorithm decisions when they are found to be non-abiding. The outcomes will include new machine learning theories and frameworks for algorithmic assurance. The significance of the ....A Generic Framework for Verifying Machine Learning Algorithms. This project aims to discover new ways to verify whether decisions made by Artificial Intelligence and Machine Learning algorithms are as per the specifications set by their designers and/or regulatory bodies. The project also provides new methods to align algorithm decisions when they are found to be non-abiding. The outcomes will include new machine learning theories and frameworks for algorithmic assurance. The significance of the project is that it will offer a crucial platform for certifying algorithms and thus benefit society and businesses in deciding the right Artificial Intelligence algorithms. Read moreRead less
Categorisation, communication and the local environment. Languages around the world incorporate different systems of categories, and understanding this variation can contribute to a better understanding of similarities and differences between cultures. This project examines how linguistic variation is shaped in part by variation in the local physical and social environment. The methods include computational analyses of large electronic data sets including dictionaries and linguistic corpora tha ....Categorisation, communication and the local environment. Languages around the world incorporate different systems of categories, and understanding this variation can contribute to a better understanding of similarities and differences between cultures. This project examines how linguistic variation is shaped in part by variation in the local physical and social environment. The methods include computational analyses of large electronic data sets including dictionaries and linguistic corpora that have become available only recently, and psychological experiments that probe the causal mechanisms that lead to variation across languages. The outcomes include computational tools that pick out key differences between languages and therefore support cross-cultural communication.Read moreRead less