{"type":"ScholarlyArticle","title":"Non-Determinism and the Dynamics of Knowledge","authors":[{"name":"Davide Grossi","slug":"davide-grossi","given":"Davide","family":"Grossi","affiliation":"University of Liverpool , UK; {dgrossi ,"},{"name":"Andreas Herzig","slug":"andreas-herzig","given":"Andreas","family":"Herzig","affiliation":"Université Paul Sabatier , IRIT , CNRS , France"},{"name":"Wiebe van der Hoek","slug":"wiebe-van-der-hoek","given":"Wiebe","family":"van der Hoek","affiliation":"University of Liverpool , UK; {dgrossi ,"},{"name":"Christos Moyzes","slug":"christos-moyzes","given":"Christos","family":"Moyzes","affiliation":"University of Liverpool , UK; {dgrossi ,"}],"abstract":"In this paper we attempt to shed light on the concept of an agent’s knowledge after a non-deterministic action is executed. We start by making a comparison between notions of non-deterministic choice, and between notions of sequential composition, of settings with dynamic and/or epistemic character; namely Propositional Dynamic Logic (PDL), Dynamic Epistemic Logic (DEL), and the more recent logic of Semi-Public Environments (SPE). These logics represent two different approaches for defining the aforementioned actions, and in order to provide unified frameworks that encompass both, we define the logics DELVO (DEL+Vision+Ontic change) and PDLVE (PDL+Vision+Epistemic operators).  DELVO is given a sound and complete axiomatisation.","doi":"10.24963/ijcai.2017/146","url":"https://ijcai.org/proceedings/2017/146","pdf":"https://ijcai.org/proceedings/2017/0146.pdf","markdown":"https://ijcai.org/proceedings/2017/146.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/146","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":146,"pages":{"first":1053,"last":1059},"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":"[Aucher and Bolander, 2013] Guillaume Aucher and Thomas Bolander. Undecidability in epistemic planning. In Pro- ceedings of the 23rd International Joint Conference on Artificial Intelligence IJCAI 2013, pages 3-9, 2013.","title":"Undecidability in epistemic planning","authors":"Bolander Aucher, Guillaume Aucher, Thomas Bolander","year":"2013","venue":"Proceedings of the 23rd International Joint Conference on Artificial Intelligence IJCAI 2013","doi":null,"url":null,"internal_url":"/proceedings/2013/16"},{"position":2,"raw":"[Bacchus et al., 1999] Fahiem Bacchus, Joseph Y. Halpern, and Hector J. Levesque. Reasoning about noisy sensors and effectors in the situation calculus. Artificial Intelligence, 111(1):171 -208, 1999.","title":"Reasoning about noisy sensors and effectors in the situation calculus","authors":"Bacchus","year":"1999","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Balbiani et al., 2013] Philippe Balbiani, Andreas Herzig, and Nicolas Troquard. Dynamic logic of propositional as- signments: A well-behaved variant of PDL. In Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '13, pages 143-152, Washington, DC, USA, 2013. IEEE Computer Society.","title":"Dynamic logic of propositional assignments: A well-behaved variant of PDL","authors":"Philippe Balbiani, Andreas Herzig, Nicolas Troquard","year":"2013","venue":"Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '13","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Baltag and Moss, 2004] Alexandru Baltag and Lawrence S. Moss. Logics for epistemic programs. Synthese, 139:165- 224, 2004. Knowledge, Rationality & Action 1-60.","title":"Logics for epistemic programs","authors":"Alexandru Baltag, Lawrence S Moss","year":"2004","venue":"Knowledge, Rationality & Action","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Baltag et al., 1998] Alexandru Baltag, Lawrence S. Moss, and Stawomir Solecki. The logic of common knowledge, public announcements, and private suspicions. In Itzhak Gilboa, editor, Proceedings of the 7th conference on the- oretical aspects of rationality and knowledge (TARK 98), pages 43-56, 1998.","title":"The logic of common knowledge, public announcements, and private suspicions","authors":"Alexandru Baltag, Lawrence S Moss, Stawomir Solecki","year":"1998","venue":"Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK 98)","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Barwise and Moss, 1996] Jon Barwise and Lawrence Moss. Vicious circles : on the mathematics of non-wellfounded phenomena. CSLI Publications, Stanford, 1996.","title":"Vicious circles : on the mathematics of non-wellfounded phenomena","authors":"Moss ; Barwise, Jon Barwise, Lawrence Moss","year":"1996","venue":null,"doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Blackburn et al., 2001] Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal Logic. Cambridge University Press: Cambridge, England, 2001.","title":"Modal Logic","authors":"Patrick Blackburn, Maarten De Rijke, Yde Venema","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Blackburn et al., 2007] Patrick Blackburn, Johan F.A.K. van Benthem, and Frank Wolter. Handbook of Modal Logic. Studies in logic and practical reasoning. Elsevier, 2007.","title":"Handbook of Modal Logic","authors":"Patrick Blackburn, Johan F A K Van Benthem, Frank Wolter","year":"2007","venue":"Studies in logic and practical reasoning","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Boutilier et al., 2000] Craig Boutilier, Ray Reiter, Mikhail Soutchanski, and Sebastian Thrun. Decision-theoretic, high-level agent programming in the situation calculus. In Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innova- tive Applications of Artificial Intelligence, pages 355-362. AAAI Press, 2000.","title":"Decision-theoretic, high-level agent programming in the situation calculus","authors":"Craig Boutilier, Ray Reiter, Mikhail Soutchanski, Sebastian Thrun","year":"2000","venue":"Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Charrier et al., 2016] Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, and Franois Schwarzen- truber. Building epistemic logic from observations and public announcements. In International Conference on Principles of Knowledge Representation and Reasoning (KR), Capetown, 25/04/2016-29/04/2016, pages 268-277, http://www.aaai.org/Press/press.php, 2016. AAAI Press.","title":"Building epistemic logic from observations and public announcements","authors":"Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, Franois Schwarzentruber","year":"2016","venue":"International Conference on Principles of Knowledge Representation and Reasoning (KR)","doi":null,"url":"http://www.aaai.org/Press/press.php,2016","internal_url":null},{"position":11,"raw":"[Delgrande and Levesque, 2013] James P. Delgrande and Hector J. Levesque. A formal account of nondetermin- istic and failed actions. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI '13, pages 861-868. AAAI Press, 2013.","title":"A formal account of nondeterministic and failed actions","authors":"James P Delgrande, Hector J Levesque","year":"2013","venue":"Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI '13","doi":null,"url":null,"internal_url":"/proceedings/2013/133"},{"position":12,"raw":"[Fagin et al., 1995] Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning About Knowledge. The MIT Press: Cambridge, MA, 1995.","title":"Reasoning About Knowledge","authors":"Ronald Fagin, Joseph Y Halpern, Yoram Moses, Moshe Y Vardi","year":"1995","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Grossi et al., 2016] Davide Grossi, Wiebe van der Hoek, Christos Moyzes, and Michael Wooldridge. Program mod- els and semi-public environments. Journal of Logic and Computation, 2016.","title":"Program models and semi-public environments","authors":"Davide Grossi, Christos Wiebe Van Der Hoek, Michael Moyzes, Wooldridge","year":"2016","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Harel et al., 2000] David Harel, Dexter Kozen, and Jerzy Tiuryn. Dynamic Logic. The MIT Press: Cambridge, MA, 2000.","title":"Dynamic Logic","authors":"David Harel, Dexter Kozen, Jerzy Tiuryn","year":"2000","venue":null,"doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Scherl and Levesque, 2003] Richard B. Scherl and Hector J. Levesque. Knowledge, action, and the frame problem. Artificial Intelligence, 144(1):1 -39, 2003.","title":"Knowledge, action, and the frame problem","authors":"Richard B Scherl, Hector J Levesque","year":"2003","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[van Benthem and Pacuit, 2006] Johan van Benthem and Eric Pacuit. The tree of knowledge in action: Towards a common perspective. In Advances in Modal Logic (AiML), 2006.","title":"The tree of knowledge in action: Towards a common perspective","authors":"Van Benthem, Johan Pacuit, Eric Van Benthem, Pacuit","year":"2006","venue":"Advances in Modal Logic (AiML)","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[van Benthem et al., 2006] Johan van Benthem, Jan van Ei- jck, and Barteld Kooi. Logics of communications and change. Information and Computation, 204:1620 -1662, 2006.","title":"Logics of communications and change","authors":"Van Benthem","year":"2006","venue":"Information and Computation","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[van der Hoek et al., 2011] Wiebe van der Hoek, Petar Iliev, and Michael Wooldridge. Knowledge and action in semi- public environments. In Jerome Lang, Hans van Ditmarsch, and Shier Ju, editors, Logic, Rationality, and Interaction (LORI), volume 6953 of LNCS, pages 97-110, 2011.","title":"Knowledge and action in semipublic environments","authors":"Hoek Van Der","year":"2011","venue":"Logic, Rationality, and Interaction (LORI)","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[van Ditmarsch and Kooi, 2008] Hans P. van Ditmarsch and Barteld P. Kooi. Semantic results for ontic and epistemic change. In Giacomo Bonanno, Wiebe van der Hoek, and Michael Wooldridge, editors, Logic and the Foundations of Game and Decision Theory, pages 87-117. Amsterdam University Press, 2008.","title":"Semantic results for ontic and epistemic change","authors":"P Hans, Barteld P Van Ditmarsch, Kooi","year":"2008","venue":"Logic and the Foundations of Game and Decision Theory","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[van Ditmarsch et al., 2007] Hans P. van Ditmarsch, Wiebe van der Hoek, and Barteld Kooi. Dynamic Epistemic Logic. Springer-Verlag: Berlin, Germany, 2007.","title":"Dynamic Epistemic Logic","authors":"P Hans, Van Ditmarsch, Barteld Wiebe Van Der Hoek, Kooi","year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[van Ditmarsch et al., 2011] Hans van Ditmarsch, Andreas Herzig, and Tiago De Lima. From situation calculus to dy- namic epistemic logic. Journal of Logic and Computation, 21(2):179, 2011.","title":"From situation calculus to dynamic epistemic logic","authors":"Van Ditmarsch","year":"2011","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[van Ditmarsch et al., 2012] Hans van Ditmarsch, Tim French, and Fernando R. Velázquez-Quesada. Action models for knowledge and awareness. In Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, and Michael Winikoff, editors, International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes), pages 1091-1098.","title":"Action models for knowledge and awareness","authors":"Van Ditmarsch","year":"2012","venue":"International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"IFAAMAS, 2012.","title":null,"authors":"Ifaamas","year":"2012","venue":null,"doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[van Eijck, 2004a] Jan van Eijck. Dynamic epistemic mod- elling, 2004. Technical Report SEN-E0424.","title":"Dynamic epistemic modelling","authors":"Van Eijck","year":"2004","venue":null,"doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[van Eijck, 2004b] Jan van Eijck. Guarded actions, 2004. Technical Report SEN-E0424.","title":"Guarded actions","authors":"; Van Eijck, Jan Van Eijck","year":"2004","venue":null,"doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[van Eijck, 2012] Jan van Eijck. Perception and change in update logic. In Jan Eijck and Rineke Verbrugge, edi- tors, Games, Actions and Social Software, pages 119-140. Springer-Verlag, Berlin, Heidelberg, 2012.","title":"Perception and change in update logic","authors":"; Van Eijck, Jan Van Eijck","year":"2012","venue":"editors, Games, Actions and Social Software","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}