Resumen: Las lógicas para el razonamiento sobre el conocimiento y las acciones han visto muchas aplicaciones en varios dominios de sistemas de múltiples agentes, incluida la planificación epistémica. El cambio de conocimiento basado en observaciones sobre el entorno forma un aspecto clave en tales escenarios de planificación. La lógica de observación pública (POL) es una variante de la lógica de anuncio público para el razonamiento sobre el conocimiento que se actualiza en función de las observaciones públicas. Cada estado en un modelo epistémico (Kripke) está equipado con un conjunto de observaciones esperadas. Estos estados evolucionan a medida que las expectativas coinciden con las observaciones reales. En este trabajo, demostramos que el problema de satisfacción de $ pol $ es 2exptime-complete.
Publicado Originalme en export.arxiv.org El 13 de agosto de 2025.
Ver Fuente Original
