Universal (meta-)Logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
Christoph Benzmüller – 2019
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 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 "Univesal (meta-)Logical reasoning: Recent successes" (Benzmüller 2019).
Titel
Universal (meta-)Logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
Verfasser
Verlag
Elsevier ScienceDirect
Schlagwörter
Universal logical reasoning; Automated theorem proving; Higher-order logic
Datum
2019-03
Kennung
https://doi.org/10.1016/j.dib.2019.103823
Quelle/n
Erschienen in
Journal Data in Brief, Vol. 24, pp. 48,62.