Detalles del recurso

Descripción

Dans les puzzles épistémiques les annonces d'ignorance, ou des séquences de tels annonces, souvent résultent en connaissances. Nous présentons le puzzle ‘Quelle Somme ?', et le modèlisent dans la logique des annonces publiques – un langage logique avec des opérateurs dynamiques et épistémiques. La solution du puzzle est controlée avec la programme de vérification DEMO A common theme in logic puzzles involving knowledge and ignorance is that announcements of ignorance may eventually result in knowledge. We present the ‘What Sum' riddle. It is modelled in public announcement logic, a modal logic with both dynamic and epistemic operators. We then solve the riddle in the model checker DEMO.1

Pertenece a

Archive EduTice a CCSD electronic archive server based on P.A.O.L  

Autor(es)

Van Dimarsch, Hans -  Ruan, Ji - 

Id.: 70883160

Idioma: inglés  - 

Versión: 1.0

Estado: Final

Palabras clave[INFO.INFO -  CC] Computer Science [cs]/Computational Complexity [cs.CC] - 

Tipo de recurso: info:eu-repo/semantics/preprint  -  Preprints, Working Papers, ...  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

Requerimientos técnicos:  Browser: Any - 

Fecha de contribución: 16-ene-2018

Contacto:

Localización:
* hal-00188953

Otros recursos del mismo autor(es)

  1. Raisonnement sur les actions : de Toronto à Amsterdam Nous montrons comment en raisonnement sur les actions la fameuse solution de Reiter du problème du d...
  2. THZ1 targeting CDK7 suppresses STAT transcriptional activity and sensitizes T-cell lymphomas to BCL2 inhibitors Peripheral T-cell lymphomas (PTCL) are aggressive diseases with poor response to chemotherapy and di...
  3. A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures We present a multi-agent framework for the formal verification of component-based systems after chan...
  4. Connecting dynamic epistemic and temporal epistemic logics International audience
  5. An Improved Cryosection Method for Polyethylene Glycol Hydrogels Used in Tissue Engineering The high water content of hydrogels allows these materials to closely mimic the native biological ex...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.