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

Internet

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

Ejemplares similares