Axiomatische und rechnergestützte Untersuchung probabilistischer Präferenzbündelungsverfahren

• Antragsteller: Professor Dr. Felix Brandt
• Fachliche Zuordnung: Theoretische Informatik ; Bild- und Sprachverarbeitung, Computergraphik und Visualisierung, Human Computer Interaction, Ubiquitous und Wearable Computing
• Förderung: Förderung seit 2015
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 276311297

Ziel dieses Projekts ist die Untersuchung axiomatischer Eigenschaften probabilistischer Präferenzbündelungsverfahren, d.h. Verfahren, die die Präferenzen von einzelnen Agenten zu sozialverträglichen probabilistischen Ergebnissen bündeln. Probabilistische Bündelungsverfahren erfahren zur Zeit wachsendes Interesse in den Wirtschaftswissenschaften und der Informatik und haben zahlreiche Anwendungen wie randomisierte Verteilungsverfahren und matching Märkte. Wir werden dieses Ziel mit traditionellen, analytischen Werkzeugen aus der Mathematik sowie mit rechnergestützten Verfahren (z.B. SAT Solvern, linearer und ganzzahliger Optimierung und Computerexperimenten) verfolgen. Im methodischen Bereich liegen die Hauptneuerungen in der Anwendung von rechnergestützten Beweistechniken und fortgeschrittenen Werkzeugen aus der Geometrie und der Topologie. Im konzeptuellen Bereich betreffen die Hauptneuerungen die Definitionen mannigfaltiger Ausprägungen von Pareto Effzienz, Strategiebeständigkeit und Partizipation und sog. asymptotischer Axiomatik, d.h. der Untersuchung ob bestimmte Axiome "fast immer" oder "fast nie" erfüllt sind.

• DFG-Verfahren: Sachbeihilfen