Informatik: AIAI: Grundlagen und Anwendungen der Künstlichen Intelligenz, Automatisiertes Reasoning, Agenten, Datenintensive Forschung MPhil

The University of Edinburgh

Am Artificial Intelligence and its Applications Institute (AIAI) befähigen wir Computersysteme dazu, menschliche Fähigkeiten zu reproduzieren und zu ergänzen, mit Menschen zu arbeiten und die Zusammenarbeit zwischen Menschen zu unterstützen. Wir betreiben weltweit führende Forschung in den Grundlagen der Künstlichen Intelligenz (z. B. in den Bereichen Wissensrepräsentation und Argumentation, Entstehung von Bedeutung, Theorie- und Ontologiewechsel, Kreativität, computergestützte Beweise) und ihren Anwendungen auf intelligente Systeme (z. B. autonome und Multiagentensysteme, soziale Berechnungen, wissenschaftliche Kollaborationsplattformen, Websemantik und Linked Data).

Unsere Forschungsmethoden konzentrieren sich auf die Entwicklung von Wissens-, Denk- und Interaktionsmodellen, die zum Verständnis und zur Automatisierung von Aspekten menschlicher und maschineller Intelligenz verwendet werden können, die aber auch für die Entwickler und Nutzer von KI-Systemen verständlich und nutzbar sind, um allgemeinere Fragen wie Fairness, Verantwortlichkeit, Transparenz und Sicherheit anzugehen.

Um dies zu erreichen, kombinieren wir theoretische Forschung zu KI-Modellen, -Architekturen und -Algorithmen mit einem starken Element der angewandten Forschung. Dies hat zu einer beachtlichen Erfolgsbilanz bei der Anwendung unserer Methoden auf reale Probleme im Gesundheitswesen, in der wissenschaftlichen Zusammenarbeit, im Social Computing, in Notfallsystemen, im Transportwesen, im Ingenieurwesen, in der Luft- und Raumfahrt und anderen Bereichen geführt.

Bei der AIAI findest du ein breites Spektrum an Forschungsbereichen, die sich mit Themen wie:

Autonome und Multi-Agenten-Systeme

Formales Modellieren und Verifizieren

Datenintensive Forschung

Akkreditiert von der Association of Chartered Certified Accountants (ACCA) für den Zweck der Befreiung von einigen Berufsprüfungen.

Akkreditiert von der Association of International Accountants (AIA) für den Zweck der Befreiung von einigen Berufsprüfungen.

Akkreditiert durch die Association to Advance Collegiate Schools of Business (AACSB).

Akkreditiert vom Chartered Institute of Management Accountants (CIMA) zum Zweck der Befreiung von einigen Berufsprüfungen über den Accredited degree accelerated route.

Akkreditiert durch das Chartered Institute of Public Finance and Accountancy (CIPFA) zum Zweck der Befreiung von einigen Berufsprüfungen.

Akkreditiert durch das EFMD Qualitätsverbesserungssystem.

Akkreditiert vom Institute of Chartered Accountants in England and Wales (ICAEW) zum Zweck der Befreiung von einigen Berufsprüfungen.

Akkreditiert durch das Institute of Chartered Accountants Scotland (ICAS) zum Zweck der Befreiung von einigen Berufsprüfungen.