Abstract
This paper presents two operations over Kripke models for representing the act of an agent forgetting the truth-value of a given propositional formula. The first is a form of ‘public’ forgetting (built over previous monoagent proposals) after which all agents know that the forgetful one has indeed forgotten the given formula; the second is a form of ‘secret’ forgetting after which the forgetful agent knows what has happened but the rest of them remain oblivious of the action.
Author supplied keywords
Cite
CITATION STYLE
Nepomuceno-Fernández, Á., Sarríon-Morrillo, E., Soler-Toscano, F., & Velázquez-Quesada, F. R. (2015). Public and secret forgetting of propositional formulas. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9422, pp. 139–149). Springer Verlag. https://doi.org/10.1007/978-3-319-24598-0_13
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
