Spieltheoretische Agenten-Programmierung

Das Hauptziel des Projekts ist die Entwicklung von Formalismen und Techniken zur Program-mierung von Systemen von mehreren Agenten in unsicheren und unvollständig beobachtbaren Umgebungen. Wir wollen solche Sprachen zur Programmierung von Agenten durch die Kombi-nation des Schließens über Aktionen (das gute Software Engineering Eigenschaften besitzt), des Planens unter Unsicherheit (zur Modellierung von Unsicherheit und unvollständiger Beobacht-barkeit) und der Spieltheorie (zur Modellierung von Kooperation und Wettbewerb in Multi-Agenten-Systemen) entwickeln. Wir zielen auf einen Ansatz ab, der die Logiksprachen zum Schließen über Aktionen um Golog und um die Aktionssprache C+ kombiniert mit POMDP-Varianten für Multi-Agenten-Systeme und unvollständig beobachtbaren Markov-Spielen zur Modellierung von Kooperation bzw. Wettbewerb (die bereits Planen unter Unsicherheit kom-binieren mit der Spieltheorie). Wir planen die Entwicklung von Algorithmen, die auf Reduktionen zur Answer-Set-Programmierung basieren. Ferner soll eine Implementierung auf der Grundlage von Answer-Set-Systemen wie DLV und SMODELS durchgeführt werden.

Das Hauptziel des Projekts ist die Entwicklung von Formalismen und Techniken zur Program-mierung von Systemen von mehreren Agenten in unsicheren und unvollständig beobachtbaren Umgebungen. Wir wollen solche Sprachen zur Programmierung von Agenten durch die Kombi-nation des Schließens über Aktionen (das gute Software Engineering Eigenschaften besitzt), des Planens unter Unsicherheit (zur Modellierung von Unsicherheit und unvollständiger Beobacht-barkeit) und der Spieltheorie (zur Modellierung von Kooperation und Wettbewerb in Multi-Agenten-Systemen) entwickeln. Wir zielen auf einen Ansatz ab, der die Logiksprachen zum Schließen über Aktionen um Golog und um die Aktionssprache C+ kombiniert mit POMDP-Varianten für Multi-Agenten-Systeme und unvollständig beobachtbaren Markov-Spielen zur Modellierung von Kooperation bzw. Wettbewerb (die bereits Planen unter Unsicherheit kom-binieren mit der Spieltheorie). Wir planen die Entwicklung von Algorithmen, die auf Reduktionen zur Answer-Set-Programmierung basieren. Ferner soll eine Implementierung auf der Grundlage von Answer-Set-Systemen wie DLV und SMODELS durchgeführt werden.