Resumen Presentamos un formalismo que permite distinguir, por un lado, las expectativas sobre estados futuros (creencias a priori de los agentes sobre esos estados) y, por otro lado, lo que se conocerá y creará por los diferentes agentes en esos estados futuros (conocimiento y creencia a posteriori). Utilizamos modelos de plausibilidad dentro de la Lógica Epistémica Dinámica (DEL) para modelar creencias, expectativas y juicios de plausibilidad. Con tal formalismo en su lugar, podemos razonar sobre las creencias falsas y expectativas falsas de un agente, y cuándo hacer actualizaciones de creencias (anuncios relevantes) para que se puedan evitar situaciones futuras indeseables. Una aplicación potencial de nuestro marco es la interacción humano-robot. Basado en el razonamiento sobre la falsa expectativa del humano, un robot proactivo puede decidir de manera autónoma cuándo y qué anunciar para ayudar a evitar que el humano termine en un estado indeseable.
Bolander et al. (Sat,) estudiaron esta cuestión.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: