Informatique : AIAI : Fondements et applications de l'intelligence artificielle, raisonnement automatisé, agents, recherche intensive en données. MPhil

The University of Edinburgh

À l'Institut de l'intelligence artificielle et de ses applications (AIAI), nous permettons aux systèmes informatiques de reproduire et de compléter les capacités humaines, de travailler avec les gens et de soutenir la collaboration entre les humains. Nous menons des recherches de pointe dans le monde entier sur les fondements de l'intelligence artificielle (par exemple, la représentation des connaissances et le raisonnement, l'émergence du sens, le changement de théorie et d'ontologie, la créativité, la preuve par ordinateur) et ses applications aux systèmes intelligents (par exemple, les systèmes autonomes et multi-agents, le calcul social, les plateformes de collaboration scientifique, la sémantique web et les données liées).

Nos méthodes de recherche se concentrent sur le développement de modèles de connaissance, de raisonnement et d'interaction qui peuvent être utilisés pour comprendre et automatiser des aspects de l'intelligence humaine et de l'intelligence des machines, mais qui sont également compréhensibles et utilisables par les concepteurs et les utilisateurs de systèmes d'IA afin d'aborder des questions plus larges comme l'équité, la responsabilité, la transparence et la sécurité.

Pour y parvenir, nous combinons la recherche théorique sur les modèles, architectures et algorithmes d'IA avec un fort élément de recherche appliquée. Cela nous a permis d'obtenir de bons résultats en utilisant nos méthodes pour résoudre des problèmes du monde réel dans les domaines des soins de santé, de la collaboration scientifique, de l'informatique sociale, des systèmes d'urgence, des transports, de l'ingénierie, de l'aérospatiale et autres.

Tu trouveras au sein de l'AIAI un large éventail de domaines de recherche menés sur des thèmes tels que :

Systèmes autonomes et multi-agents

Modélisation et vérification formelles

Recherche intensive de données

Accrédité par l'Association des comptables agréés (ACCA) aux fins d'exemptions de certains examens professionnels.

Accrédité par l'Association des comptables internationaux (AIA) aux fins d'exemption de certains examens professionnels.

Accrédité par l'Association to Advance Collegiate Schools of Business (AACSB).

Accrédité par le Chartered Institute of Management Accountants (CIMA) aux fins d'exemption de certains examens professionnels par la voie accélérée du diplôme accrédité.

Accrédité par le Chartered Institute of Public Finance and Accountancy (CIPFA) aux fins d'exemption de certains examens professionnels.

Accrédité par le système d'amélioration de la qualité de l'EFMD.

Accrédité par l'Institut des comptables agréés d'Angleterre et du Pays de Galles (ICAEW) aux fins d'exemption de certains examens professionnels.

Accrédité par l'Institute of Chartered Accountants Scotland (ICAS) aux fins d'exemption de certains examens professionnels.