08.02. Thomas Raths: Die QMLTP-Library v1.0
"Quantified Modal Logic Theorem Proving" (QMLTP)-Library v1.0 - Sammlung von Problemen für Theorembeweiser in modaler Prädikatenlogik.
Was |
|
---|---|
Wann |
08.02.2011 von 14:15 bis 15:45 |
Wo | 3.04.1.02 |
Termin übernehmen |
vCal iCal |
Modale Prädikatenlogik bietet die Möglichkeit, Probleme in Planen, Sprachverarbeitung,
Wissensbasen und Programmverifikation kompakt und natürlich zu repräsentieren. Doch es
gab bislang keine standardisierte Problemsammlung und keine korrekten, effizienten
Beweissysteme für diese Logik. Wir präsentieren die "Quantified Modal Logic Theorem
Proving" (QMLTP) -Library v1.0, die 500 Probleme in modaler Prädikatenlogik enthält und,
wie schon die TPTP- und ILTP-Library, als solide Basis dient, automatische
Theorembeweiser zu testen, zu vergleichen, und somit zu effizienteren Kalkuli und
Systemen motiviert.