Unknown

Dataset Information

0

Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset).


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).

SUBMITTER: Benzmuller C 

PROVIDER: S-EPMC6468147 | biostudies-literature | 2019 Jun

REPOSITORIES: biostudies-literature

altmetric image

Publications

Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset).

Benzmüller Christoph C  

Data in brief 20190320


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  ...[more]

Similar Datasets

| S-EPMC7586073 | biostudies-literature
| S-EPMC7089722 | biostudies-literature
| S-EPMC6995451 | biostudies-literature
| S-EPMC7413592 | biostudies-literature
| S-EPMC8175723 | biostudies-literature
| S-EPMC7232576 | biostudies-literature
| S-EPMC5005891 | biostudies-literature
| S-EPMC5745406 | biostudies-literature
| S-EPMC5984158 | biostudies-literature
| S-EPMC5522494 | biostudies-literature