¿Cuál es la conexión entre el conocimiento temporal y epistémico?

Recientemente leí todo tipo de trabajos de científicos lógicos en los que la lógica epistémica era el tema principal. Donde el cambio epistmico se refiere al cambio en el conocimiento de algún agente en un sistema de múltiples agentes (en un mundo que no cambia), el cambio óntico se refiere al cambio en el mundo fáctico.

Lo que me preguntaba es cómo se puede agregar la dimensión del tiempo a un sistema epistémico (o posiblemente en un sistema en el que se incluyen los cambios ónticos). Por ejemplo para formalizar cosas como:

  • Después de cierto punto (en el futuro) A sabrá que p es el caso (pero hasta entonces A no sabe que p , mientras que ya era el caso)
  • A sabe que después de cierto punto en el futuro, p será el caso (y sabe que hasta entonces, p no es el punto.
  • B anteriormente sabía que p era el caso, pero ahora (porque tal vez los hechos en el mundo cambiaron o A tuvo un ataque cerebral) no sabe si p es cierto.

donde A,B,q son agentes y fórmulas proposicionales.

Mi pregunta principal es: ¿cuál es el paradigma/modelo/lenguaje/sistemas lógicos predeterminados para expresar las oraciones anteriores? ¿Y cómo se puede visualizar (por ejemplo, utilizando modelos Kripke (extendidos)?

Esto puede ser de su interés: [ en.wikipedia.org/wiki/Temporal_logic ]. Se menciona que Kripke influyó en su desarrollo.
Eso es solo temperatura. Lógica. Estoy buscando sistemas en los que se combinen la lógica epistémica y la del tiempo.
Así que solo combínalos. Los modelos temporales de Kripke y las proposiciones epistémicas se combinan muy bien, incluso puedes agregar grados de creencia. Los académicos los separan para mayor claridad, pero la gente de IA sabe que simplemente se juntan como factores en gran medida independientes.

Respuestas (1)

Lo que está buscando se llama lógica epistémica dinámica, se desarrolló a fines de la década de 1980 para representar cambios en el conocimiento. Internet Encyclopedia of Philosophy ofrece una buena descripción general con muchas referencias: "Los operadores modales de conocimiento en lógica epistémica se interpretan formalmente mediante el empleo de relaciones binarias de accesibilidad en modelos multiagente de Kripke (estructuras relacionales), donde estas relaciones deberían ser relaciones de equivalencia para respetar las propiedades del conocimiento. Los operadores de cambio de conocimiento corresponden a otro tipo de modalidad, más afín a una modalidad dinámica. Una peculiaridad de esta modalidad dinámica es que se interpreta transformando las estructuras de Kripke utilizadas para interpretar el conocimiento, y no, al menos no a primera vista, por una relación de accesibilidad dada con un modelo de Kripke ”.

La representación del cambio fáctico ("óntico") es aún más reciente, véase Logics of Communication and Change de van Benthem, van Eijck y Kooi (2006) : " Proponemos nuevos sistemas que amplían el lenguaje base epistémico con una nueva noción de 'relativización'". conocimiento común", de tal manera que la lógica dinámica completa resultante del flujo de información permite un análisis composicional de todas las condiciones posteriores epistémicas a través de 'axiomas de reducción' perspicuos. También mostramos cómo tales sistemas pueden lidiar con la alteración fáctica, en lugar de solo el cambio de información. , haciéndolos cubrir una gama mucho más amplia de eventos realistas ".

¿Cuál es la conexión entre el conocimiento temporal y epistémico?
RespuestasAquíPolítica de privacidad1y, 0v