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

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

Descripción completa

Detalles Bibliográficos
Autor principal: Benzmüller, Christoph
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Elsevier 2019
Materias:
Computer Science
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6468147/
https://www.ncbi.nlm.nih.gov/pubmed/31016212
http://dx.doi.org/10.1016/j.dib.2019.103823
_version_ 1783411373579960320
author Benzmüller, Christoph
author_facet Benzmüller, Christoph
author_sort Benzmüller, Christoph
collection PubMed
description 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).
format Online
Article
Text
id pubmed-6468147
institution National Center for Biotechnology Information
language English
publishDate 2019
publisher Elsevier
record_format MEDLINE/PubMed
spelling pubmed-64681472019-04-23 Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset) Benzmüller, Christoph Data Brief Computer Science 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). Elsevier 2019-03-20 /pmc/articles/PMC6468147/ /pubmed/31016212 http://dx.doi.org/10.1016/j.dib.2019.103823 Text en © 2019 The Author(s) http://creativecommons.org/licenses/by/4.0/ This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).
spellingShingle Computer Science
Benzmüller, Christoph
Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
title Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
title_full Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
title_fullStr Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
title_full_unstemmed Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
title_short Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
title_sort universal (meta-)logical reasoning: the wise men puzzle (isabelle/hol dataset)
topic Computer Science
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6468147/
https://www.ncbi.nlm.nih.gov/pubmed/31016212
http://dx.doi.org/10.1016/j.dib.2019.103823
work_keys_str_mv AT benzmullerchristoph universalmetalogicalreasoningthewisemenpuzzleisabelleholdataset

Ejemplares similares