Update models for lying and misleading announcements
Loc Huu Pham, Tran Cao Son, Enrico Pontelli · Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing · 2022
Lying and misleading announcements are a significant part of multi-agent communications. Providing a formal account of such announcements is important for representing and reasoning about effects of actions and epistemic planning in multi-agent domains. This paper defines update models for lying and misleading announcements in the high-level action language mA*. Applying our update models on a pointed Kripke structure---representing the current state of knowledge and beliefs of agents---results in a pointed Kripke structure in which lying (or misleading) announcements achieve the intended effects of deceiving other agents who are uncertain about the announced formula to believe in the wrong information.