Haupttitel:
Universal (meta-)logical reasoning
Titelzusatz:
The Wise Men Puzzle (Isabelle/HOL dataset)
Autor*in:
Benzmüller, Christoph
Datum der Freigabe:
2019-06-11T10:46:10Z
Abstract:
The authors universal (meta-)logical reasoning approach is demonstrated and assessed with a prominent riddle in epistemic reasoning: the Wise Men Puzzle. The presented solution puts a particular emphasis on the adequate modeling of common knowledge and it illustrates the elegance and the practical relevance of the shallow semantical embedding approach when utilized within modern proof assistant systems such as Isabelle/HOL. The contributed dataset provides supporting evidence for claims made in the article “Universal (meta-)logical reasoning: Recent successes” (Benzmüller, 2019).
Teil des Identifiers:
ISSN (print): 2352-3409
Freie Schlagwörter:
Universal logical reasoning
Automated theorem proving
Higher-order logic
DDC-Klassifikation:
000 Informatik, Informationswissenschaft, allgemeine Werke
Publikationstyp:
Wissenschaftlicher Artikel
Zeitschrift:
Data in Brief
Fachbereich/Einrichtung:
Mathematik und Informatik
Anmerkungen:
Die Publikation wurde aus Open Access Publikationsgeldern der Freien Universität Berlin und der DFG gefördert.
