Lógica modal epistémica para el estudio de sistemas multiagente

• Autores: Julio Ostalé García
• Localización: Factótum: Revista de filosofía, ISSN 1989-9092, Nº. 7, 2010 (Ejemplar dedicado a: Agentes en ciencia cognitiva)
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • Presentamos la lógica modal epistémica (sólo a nivel proposicional) como herramienta lógica para el estudio de sistemas multiagente donde los agentes son capaces de conocer hechos sobre su entorno y sobre el conocimiento de los demás agentes. Repasamos la sintaxis, semántica y cálculo de los principales sistemas lógicos en este campo. Comparamos el análisis clásico del conocimiento con el análisis lógico subyacente a la lógica modal epistémica. Nos apoyamos en el problema de los niños con barro para ilustrar las principales ideas lógicas.