Third Party Funds Group - Sub project
Acronym: ALMANAC
Start date : 01.01.2018
End date : 31.12.2021
Website: http://kwarc.info/projects/almanac/
In Entscheidungssituationen müssen Individuen und Organisationen zwischen einer Vielzahl von Optio- nen wa ̈hlen. Sie stu ̈tzen sich dabei auf Fakten, Meinungen und Argumente über diese oder ähnliche Situationen; Softwaresysteme, die bei der Entscheidung helfen ko ̈nnten, beschra ̈nken sich dagegen auf die Faktenebene und ziehen Argumentationen nicht in Betracht.
Das Schwerpunktprogramm bringt Forscher zusammen, die robuste und skalierbare Modelle für Ar- gumentationen in menschlicher Kommunikation untersuchen. Das ALMANAC Projekt soll den Logik- Pfeiler dieses Unterfangens unterstützen. Es gibt bereits eine große Menge an Arbeiten zur Wissensreprüsentation, zum Schlussfolgern und zur Modellierung von Argumentationen, und das SPP wird ohne Zweifel weitere entwickeln.
Das erste Ziel des ALMANAC Projekts is es, eine einheitliche Infrastruktur bereitzustellen, die die Zusammenarbeit zwischen den Projekten des SPP und der Argumentations-Community erleichtert, Re- sultate vergleichbar macht, und die Entwicklung gemeinsamer, logik-basierter Ressourcen unterstu ̈tzt. Konkret wollen wir
Dafür wollen wir das in der AG Kohlhase entwickelte OMDoc/MMT Format nutzen. Dieses verwendet Theoriegraphen sowohl fu ̈r die modulare Repräsentation von Doma ̈nenwissen in logischen Sprachen als auch der Logiken selbst in Meta-Logiken. Zwischenlogische Beziehungen können als Theoriemorphismen – also wahrheitserhaltende Abbildungen zwischen Theorien – dargestellt werden. Das ALMANAC- Projekt strebt an hierfür einen ”Logikatlas“ zu erstellen, also eine offene Sammlung explizit repräsentierter Formalismen und Frameworks, der als Basis für die Methodenintegration im SPP dienen kann.
Das zweite Ziel des ALMANAC Projekts is es, die Theoriegraphenstruktur zu nutzen um Kontexte in Multi-Agenten-Argumentationen zu modellieren: Theoriegraphen erlauben bereits auf natu ̈rliche Weise durch Inklusionen und Interpra ̈tationen verbundene ”kleine Ontologien“ (die Theorien), die intern konsistent sind,aber unterein ander widersprüchlich sein können.UmTheoriegraphen zu voll gü̈ltigen Arugmentations kontext graphen zu erweitern wollen wir die Argumentrelationen wie z.B. Attacke, Zurückweisung oder Schwächung hinzufügen und ihre ontologischen Eigenschaften untersuchen.
OMDoc/MMT ist im MMT System implementiert. Dieses fungiert als eine (Meta)-Wissensbank und bietet logische Dienste wie Typ/Beweisprüfung, Logik-übersetzungen und Browsen von Logik-Korpora. Das System ist eingebettet in das MathHub System das zusätzlichN utzer- und Korpus-Verwaltungsdienste anbietet und als eine Infrastruktur für Logik-Benchmarks dienen kann (Joint Tasks, das dritte Ziel von ALMANAC). Letztere sollen Synergien zwischen den Projekten des SPP induzieren und so zur Kohärenz des Gesamtunternhemens beitragen.