{"type":"ScholarlyArticle","title":"Belief Manipulation Through Propositional Announcements","authors":[{"name":"Aaron Hunter","slug":"aaron-hunter","given":"Aaron","family":"Hunter","affiliation":"BC Institute of Technology Burnaby , Canada"},{"name":"François Schwarzentruber","slug":"francois-schwarzentruber","given":"François","family":"Schwarzentruber","affiliation":"ENS Rennes Bruz , France"},{"name":"Eric Tsang","slug":"eric-tsang","given":"Eric","family":"Tsang","affiliation":"BC Institute of Technology Burnaby , Canada"}],"abstract":"Public announcements cause each agent in a group to modify their beliefs to incorporate some new piece of information, while simultaneously being aware that all other agents are doing the same.  Given a set of agents and a set of epistemic goals, it is natural to ask if there is a single announcement that will make each agent believe the corresponding goal.  This problem is known to be undecidable in a general modal setting, where the presence of nested beliefs can lead to complex dynamics.  In this paper, we consider not necessarily truthful public announcements in the setting of AGM belief revision.  We prove that announcement finding in this setting is not only decidable, but that it is simpler than the corresponding problem in the most simplified modal logics.  We then describe AnnB, an implemented tool that uses announcement finding as the basis for controlling robot behaviour through belief manipulation.","doi":"10.24963/ijcai.2017/154","url":"https://ijcai.org/proceedings/2017/154","pdf":"https://ijcai.org/proceedings/2017/0154.pdf","markdown":"https://ijcai.org/proceedings/2017/154.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/154","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Knowledge Representation, Reasoning, and Logic","track":"Main track","number":154,"pages":{"first":1109,"last":1115},"keywords":["Knowledge Representation, Reasoning, and Logic: Logics for Knowledge Representation","Knowledge Representation, Reasoning, and Logic: Belief Change","Knowledge Representation, Reasoning, and Logic: Reasoning about Knowlege and Belief"],"videos":[],"references":[{"position":1,"raw":"[Alchourrón et al., 1985] Carlos E. Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic, 50(2):510-530, 1985.","title":"On the logic of theory change: Partial meet functions for contraction and revision","authors":"Carlos E Alchourrón, Peter Gärdenfors, David Makinson","year":"1985","venue":"Journal of Symbolic Logic","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Balbiani et al., 2007] Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, and Tiago De Lima. What can we achieve by arbitrary announcements? a dynamic take on fitch's knowability. In Proceedings of the Conference on Theoretical Aspects of Rationality and Knowledge (TARK-07), pages 42-51, 2007.","title":"What can we achieve by arbitrary announcements? a dynamic take on fitch's knowability","authors":"Philippe Balbiani, Alexandru Baltag, Andreas Hans Van Ditmarsch, Tomohiro Herzig, Tiago De Hoshi, Lima","year":"2007","venue":"Proceedings of the Conference on Theoretical Aspects of Rationality and Knowledge (TARK-07)","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Baltag and Smets, 2006] Alexandru Baltag and Sonja Smets. Dynamic belief revision over multi-agent plausi- bility models. In Proceedings of LOFT, volume 6, pages 11-24, 2006.","title":"Alexandru Baltag and Sonja Smets. Dynamic belief revision over multi-agent plausibility models","authors":"Smets Baltag","year":"2006","venue":"Proceedings of LOFT","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Baltag and Smets, 2008] Alexandru Baltag and Sonja Smets. A qualitative theory of dynamic interactive belief revision. Texts in logic and games, 3:9-58, 2008.","title":"Alexandru Baltag and Sonja Smets. A qualitative theory of dynamic interactive belief revision","authors":"Smets Baltag","year":"2008","venue":"Texts in logic and games","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Benthem, 2007] Johan van Benthem. Dynamic logic for belief revision. Journal of applied non-classical logics, 17(2):129-155, 2007.","title":"Dynamic logic for belief revision","authors":"Johan Van Benthem","year":"2007","venue":"Journal of applied non-classical logics","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Caridroit et al., 2015] Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, and Pierre Marquis. Pri- vate revision in a multi-agent setting. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 1677-1678, 2015.","title":"Private revision in a multi-agent setting","authors":"Thomas Caridroit, Sébastien Konieczny, Tiago De Lima, Pierre Marquis","year":"2015","venue":"Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Caridroit et al., 2016] Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, and Pierre Marquis. On distances between kd45n kripke models and their use for belief revision. In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI), pages 1053-1061, 2016.","title":"On distances between kd45n kripke models and their use for belief revision","authors":"Thomas Caridroit, Sébastien Konieczny, Tiago De Lima, Pierre Marquis","year":"2016","venue":"Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI)","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Charrier and Schwarzentruber, 2015] Tristan Charrier and Franc ¸ois Schwarzentruber. Arbitrary public announce- ment logic with mental programs. In Proceedings of the 2015 International Conference on Autonomous Agents and Multi-Agent Systems, 2015.","title":"Tristan Charrier and Franc ¸ois Schwarzentruber. Arbitrary public announcement logic with mental programs","authors":"Schwarzentruber Charrier","year":"2015","venue":"Proceedings of the 2015 International Conference on Autonomous Agents and Multi-Agent Systems","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Coltin and Veloso, 2013] Brian Coltin and Manuela Veloso. Towards replanning for mobile service robots with shared information. In Proceedings of the AAMAS'10 Workshop on Autonomous Robots and Multirobot Systems (ARMS), 2013.","title":"Towards replanning for mobile service robots with shared information","authors":"Brian Coltin, Manuela Veloso","year":"2013","venue":"Proceedings of the AAMAS'10 Workshop on Autonomous Robots and Multirobot Systems (ARMS)","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Dalal, 1988] Mukesh Dalal. Investigations into a theory of knowledge base revision. In Proceedings of the National Conference on Artificial Intelligence (AAAI88), pages 475-479, 1988.","title":"Investigations into a theory of knowledge base revision","authors":"Mukesh Dalal","year":"1988","venue":"Proceedings of the National Conference on Artificial Intelligence (AAAI88)","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Darwiche and Pearl, 1997] Adnan Darwiche and Judea Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89(1-2):1-29, 1997.","title":"On the logic of iterated belief revision","authors":"Pearl ; Darwiche, Adnan Darwiche, Judea Pearl","year":"1997","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Ditmarsch et al., 2008] Hans van Ditmarsch, Wiebe van der Hoek, and Barteld Kooi. Dynamic Epistemic Logic. Springer, 2008.","title":"Dynamic Epistemic Logic","authors":"Ditmarsch","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Eiter and Gottlob, 1992] Thomas Eiter and Georg Gottlob. On the complexity of propositional knowledge base revi- sion, updates, and counterfactuals. Artificial Intelligence, 57(2-3):227-270, 1992.","title":"On the complexity of propositional knowledge base revision, updates, and counterfactuals","authors":"Gottlob Eiter, Thomas Eiter, Georg Gottlob","year":"1992","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[French and van Ditmarsch, 2008] Tim French and Hans van Ditmarsch. Undecidability for arbitrary public announce- ment logic. In Advances in Modal Logic, pages 23-42, 2008.","title":"Tim French and Hans van Ditmarsch. Undecidability for arbitrary public announcement logic","authors":"Van French, Ditmarsch","year":"2008","venue":"Advances in Modal Logic","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Hunter and Booth, 2015] Aaron Hunter and Richard Booth. Trust-sensitive belief revision. In Proceedings of the In- ternational Joint Conference on Artificial Intelligence (IJ- CAI), pages 3062-3068, 2015.","title":"Aaron Hunter and Richard Booth. Trust-sensitive belief revision","authors":"Booth Hunter","year":"2015","venue":"Proceedings of the International Joint Conference on Artificial Intelligence (IJ-CAI)","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Hunter and Schwarzentruber, 2015] Aaron Hunter and Franc ¸ois Schwarzentruber. Arbitrary announcements in propositional belief revision. In Proceedings of the International Workshop on Defeasible and Ampliative Reasoning(DARe), 2015.","title":"Aaron Hunter and Franc ¸ois Schwarzentruber. Arbitrary announcements in propositional belief revision","authors":"Schwarzentruber Hunter","year":"2015","venue":"Proceedings of the International Workshop on Defeasible and Ampliative Reasoning(DARe)","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Hunter and Tsang, 2016] Aaron Hunter and Eric Tsang. GenB: A general solver for AGM revision. In Proceed- ings of the European Conference on Logics in Artificial Intelligence (JELIA), pages 564-569, 2016.","title":"GenB: A general solver for AGM revision","authors":"Tsang Hunter, Aaron Hunter, Eric Tsang","year":"2016","venue":"Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA)","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Jin and Thielscher, 2007] Yi Jin and Michael Thielscher. It- erated belief revision, revised. Artificial Intelligence, 171(1):1-18, 2007.","title":"Iterated belief revision, revised","authors":"Yi Jin, Michael Thielscher","year":"2007","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Katsuno and Mendelzon, 1992] Hirofumi Katsuno and Al- bert O. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52(2):263- 294, 1992.","title":"Propositional knowledge base revision and minimal change","authors":"Mendelzon Katsuno, Hirofumi Katsuno, Albert O Mendelzon","year":"1992","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Liberatore, 1997] Paolo Liberatore. The complexity of it- erated belief revision. In Proceedings of the 6th Interna- tional Conference on Database Theory, pages 276-290, 1997.","title":"The complexity of iterated belief revision","authors":"Paolo Liberatore","year":"1997","venue":"Proceedings of the 6th International Conference on Database Theory","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Plaza, 2007] Jan Plaza. Logics of public communications. Synthese, 158(2):165-179, 2007.","title":"Jan Plaza. Logics of public communications","authors":"Plaza","year":"2007","venue":"Synthese","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}