Informatica: AIAI: Grondslagen en Toepassingen van Kunstmatige Intelligentie, Geautomatiseerd Redeneren, Agenten, Data Intensief Onderzoek MPhil

The University of Edinburgh

In het Artificial Intelligence and its Applications Institute (AIAI) stellen we computersystemen in staat menselijke vermogens te reproduceren en aan te vullen, met mensen samen te werken, en samenwerking tussen mensen te ondersteunen. We doen wereldwijd toonaangevend onderzoek naar de grondslagen van Kunstmatige Intelligentie (bijvoorbeeld naar kennisrepresentatie en redeneren, het ontstaan van betekenis, theorie- en ontologieverandering, creativiteit, computergestuurd bewijs) en de toepassingen ervan op intelligente systemen (bijvoorbeeld autonome en multi-agent systemen, sociale computatie, wetenschappelijke samenwerkingsplatforms, websemantiek en gekoppelde gegevens).

Onze onderzoeksmethoden zijn gericht op de ontwikkeling van modellen van kennis, redeneren en interactie die gebruikt kunnen worden om aspecten van menselijke en machinale intelligentie te begrijpen en te automatiseren, maar die ook begrijpelijk en bruikbaar zijn voor de ontwerpers en gebruikers van AI systemen om bredere kwesties aan te pakken, zoals eerlijkheid, verantwoording, transparantie en veiligheid.

Om dit te bereiken combineren we theoretisch onderzoek naar AI modellen, architecturen en algoritmen met een sterk element van toegepast onderzoek. Dit heeft geleid tot een sterke staat van dienst in het gebruik van onze methoden om echte problemen aan te pakken in de gezondheidszorg, wetenschappelijke samenwerking, social computing, noodsystemen, vervoer, techniek, lucht- en ruimtevaart en andere.

Je vindt binnen AIAI een breed scala aan onderzoeksgebieden die uitgevoerd worden over thema's als:

Autonome en multi-agents systemen

Formele modellering en verificatie

Data-intensief onderzoek

Geaccrediteerd door de Association of Chartered Certified Accountants (ACCA) om vrijstelling te krijgen van sommige beroepsexamens.

Geaccrediteerd door de Association of International Accountants (AIA) met het oog op vrijstelling van sommige beroepsexamens.

Geaccrediteerd door de Association to Advance Collegiate Schools of Business (AACSB).

Geaccrediteerd door het Chartered Institute of Management Accountants (CIMA) met het oog op vrijstelling van sommige beroepsexamens via de versnelde route van de geaccrediteerde graad.

Geaccrediteerd door het Chartered Institute of Public Finance and Accountancy (CIPFA) met het oog op vrijstelling van sommige beroepsexamens.

Geaccrediteerd door het EFMD Kwaliteitsverbetering Systeem.

Geaccrediteerd door het Institute of Chartered Accountants in England and Wales (ICAEW) met het oog op vrijstelling van sommige beroepsexamens.

Geaccrediteerd door het Institute of Chartered Accountants Scotland (ICAS) met het oog op vrijstelling van sommige beroepsexamens.