{"type":"ScholarlyArticle","title":"Revising Beliefs and Intentions in Stochastic Environments","authors":[{"name":"Nima Motamed","slug":"nima-motamed","given":"Nima","family":"Motamed","affiliation":"Utrecht University , The Netherlands"},{"name":"Natasha Alechina","slug":"natasha-alechina","given":"Natasha","family":"Alechina","affiliation":"Open University , The Netherlands; Utrecht University , The Netherlands"},{"name":"Mehdi Dastani","slug":"mehdi-dastani","given":"Mehdi","family":"Dastani","affiliation":"Utrecht University , The Netherlands"},{"name":"Dragan Doder","slug":"dragan-doder","given":"Dragan","family":"Doder","affiliation":"Utrecht University , The Netherlands"}],"abstract":"The development of autonomous agents operating in dynamic and stochastic environments requires theories and models of how beliefs and intentions are revised while taking their interplay into account. In this paper, we initiate the study of belief and intention revision in stochastic environments, where an agent's beliefs and intentions are specified in a decidable probabilistic temporal logic. We then provide general Katsuno & Mendelzon-style representation theorems for both belief and intention revision, giving clear semantic characterizations of revision methods.","doi":"10.24963/ijcai.2024/389","url":"https://ijcai.org/proceedings/2024/389","pdf":"https://ijcai.org/proceedings/2024/0389.pdf","markdown":"https://ijcai.org/proceedings/2024/389.md","bibtex":"https://ijcai.org/proceedings/2024/bibtex/389","volume":{"slug":"2024","title":"Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2024","url":"https://ijcai.org/proceedings/2024/","year":2024,"location":"Jeju, Korea","dates":"3-9 August 2024","editors":"Kate Larson","isbn":"978-1-956792-04-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2024"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":389,"pages":{"first":3513,"last":3522},"keywords":["Knowledge Representation and Reasoning: KRR: Reasoning about actions","Knowledge Representation and Reasoning: KRR: Reasoning about knowledge and belief","Knowledge Representation and Reasoning: KRR: Belief change"],"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 contraction and revision functions. The Journal of Symbolic Logic, 50(2):510-530, 1985.","title":"On the logic of theory change: Partial meet contraction and revision functions","authors":"Carlos E Alchourrón, Peter Gärdenfors, David Makinson","year":"1985","venue":"The Journal of Symbolic Logic","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Bratman, 1987] Michael Bratman. Intention, Plans, and Practical Reason. Cambridge, MA: Harvard University Press, Cambridge, 1987.","title":"Intention, Plans, and Practical Reason","authors":"Michael Bratman","year":"1987","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Canny, 1988] John Canny. Some algebraic and geometric computations in PSPACE. In Proceedings of the Twen- tieth Annual ACM Symposium on Theory of Computing STOC'88, page 460-467. ACM, 1988.","title":"Some algebraic and geometric computations in PSPACE","authors":"John Canny","year":"1988","venue":"Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing STOC'88","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Castelfranchi and Paglieri, 2007] Cristiano Castelfranchi and Fabio Paglieri. The role of beliefs in goal dynamics: prolegomena to a constructive theory of intentions. Synthese, 155(2):237-263, 2007.","title":"The role of beliefs in goal dynamics: prolegomena to a constructive theory of intentions","authors":"Cristiano Castelfranchi, Fabio Paglieri","year":"2007","venue":"Synthese","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Chang and Keisler, 2012] Chen Chung Chang and Howard Jerome Keisler. Model Theory. Dover Publications, 3 edition, 2012.","title":"Model Theory","authors":"Chen Chung, Chang, Howard Jerome Keisler","year":"2012","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Cohen and Levesque, 1990] Philip R Cohen and Hector J Levesque. Intention is choice with commitment. Artificial intelligence, 1990.","title":"Intention is choice with commitment","authors":"Hector J Philip R Cohen, Levesque","year":"1990","venue":"Artificial intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Darwiche and Pearl, 1997] Adnan Darwiche and Judea Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89(1):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":8,"raw":"[De Giacomo and Vardi, 2013] Giuseppe De Giacomo and Moshe Y. Vardi. Linear temporal logic and linear dynamic logic on finite traces. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI '13, page 854-860. AAAI Press, 2013.","title":"Linear temporal logic and linear dynamic logic on finite traces","authors":"De Giacomo, Giuseppe De Vardi, Moshe Y Giacomo, Vardi","year":"2013","venue":"Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI '13","doi":null,"url":null,"internal_url":"/proceedings/2013/132"},{"position":9,"raw":"[Delgrande et al., 2018] James P. Delgrande, Pavlos Peppas, and Stefan Woltran. General belief revision. J. ACM, 65(5), sep 2018.","title":"General belief revision","authors":"James P Delgrande, Pavlos Peppas, Stefan Woltran","year":"2018","venue":"J. ACM","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Falakh et al., 2023] Faiq Miftakhul Falakh, Sebastian Rudolph, and Kai Sauerwald. AGM belief revision, semantically, 2023. arXiv:2112.13557.","title":"AGM belief revision, semantically","authors":"Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald","year":"2023","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Grant et al., 2010] John Grant, Sarit Kraus, Donald Perlis, and Michael J. Wooldridge. Postulates for revising BDI structures. Synth., 175(Supplement-1):39-62, 2010.","title":"Postulates for revising BDI structures","authors":"John Grant, Sarit Kraus, Donald Perlis, Michael J Wooldridge","year":"2010","venue":"Synth","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Hansson, 2023a] Sven Ove Hansson. A basis for AGM re- vision in bayesian probability revision. J. Philos. Log., 52(6):1535-1559, 2023.","title":"A basis for AGM revision in bayesian probability revision","authors":"Sven Ove Hansson, Hansson","year":"2023","venue":"J. Philos. Log","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Hansson, 2023b] Sven Ove Hansson. Iterated AGM revision based on probability revision. J. Log. Lang. Inf., 32(4):657- 675, 2023.","title":"Iterated AGM revision based on probability revision","authors":"Sven Ove Hansson, Hansson","year":"2023","venue":"J. Log. Lang. Inf","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Icard et al., 2010] Thomas Icard, Eric Pacuit, and Yoav Shoham. Joint revision of belief and intention. In Proceed- ings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, KR'10, page 572-574. AAAI Press, 2010.","title":"Joint revision of belief and intention","authors":"Thomas Icard, Eric Pacuit, Yoav Shoham","year":"2010","venue":"Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, KR'10","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Katsuno and Mendelzon, 1991] Hirofumi Katsuno and Al- berto O. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52(3):263-294, 1991.","title":"Propositional knowledge base revision and minimal change","authors":"Mendelzon Katsuno, Hirofumi Katsuno, Alberto O Mendelzon","year":"1991","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Khan and Lespérance, 2012] Shakil M. Khan and Yves Lespérance. Logical foundations for a rational BDI agent programming language (extended version). In Louise A. Dennis, Olivier Boissier, and Rafael H. Bordini, editors, Programming Multi-Agent Systems -9th International Workshop, ProMAS 2011, volume 7217 of Lecture Notes in Computer Science, pages 3-21. Springer, 2012.","title":"Logical foundations for a rational BDI agent programming language (extended version)","authors":"M Shakil, Yves Khan, Lespérance","year":"2012","venue":"Programming Multi-Agent Systems -9th International Workshop, ProMAS 2011","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Konieczny et al., 2010] Sébastien Konieczny, Mattia Med- ina Grespan, and Ramón Pino Pérez. Taxonomy of im- provement operators and the problem of minimal change. In Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, KR'10, page 161-170. AAAI Press, 2010.","title":"Taxonomy of improvement operators and the problem of minimal change","authors":"Sébastien Konieczny, Mattia Medina Grespan, Ramón Pino, Pérez","year":"2010","venue":"Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, KR'10","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Leask, 2021] Sam Leask. GROVE -a computationally grounded model for rational intention revision in BDI agents. PhD thesis, University of Nottingham, UK, 2021.","title":"GROVE -a computationally grounded model for rational intention revision in BDI agents","authors":"Sam Leask","year":"2021","venue":null,"doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Lorini and Herzig, 2008] Emiliano Lorini and Andreas Herzig. A logic of intention and attempt. Synthese, 163(1):45-77, 2008.","title":"A logic of intention and attempt","authors":"Herzig Lorini, Emiliano Lorini, Andreas Herzig","year":"2008","venue":"Synthese","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[McDermott, 1982] Drew McDermott. A temporal logic for reasoning about processes and plans. Cognitive Science, 6(2):101-155, 1982.","title":"A temporal logic for reasoning about processes and plans","authors":"Drew Mcdermott","year":"1982","venue":"Cognitive Science","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Motamed et al., 2023] Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder, and Brian Logan. Proba- bilistic temporal logic for reasoning about bounded policies. In Edith Elkind, editor, Proceedings of the 32nd Interna- tional Joint Conference on Artificial Intelligence (IJCAI- 23), pages 3296-3303, August 2023. Main Track.","title":"Probabilistic temporal logic for reasoning about bounded policies","authors":"Motamed","year":"2023","venue":"Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI-23)","doi":null,"url":null,"internal_url":"/proceedings/2023/367"},{"position":22,"raw":"[Rao and Georgeff, 1991] Anand S. Rao and Michael P. Georgeff. Modeling rational agents within a bdi- architecture. In Proceedings of the 2nd International Con- ference on Principles of Knowledge Representation and Reasoning (KR'91), pages 473-484, 1991.","title":"Modeling rational agents within a bdiarchitecture","authors":"Anand S Rao, Michael P Georgeff","year":"1991","venue":"Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91)","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Segerberg, 1999] Krister Segerberg. Two Traditions in the Logic of Belief: Bringing them Together, pages 135-147. Springer Netherlands, Dordrecht, 1999.","title":"Two Traditions in the Logic of Belief: Bringing them Together","authors":"Segerberg","year":"1999","venue":null,"doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Shapiro et al., 2012] Steven Shapiro, Sebastian Sardiña, John Thangarajah, Lawrence Cavedon, and Lin Padgham. Revising conflicting intention sets in BDI agents. In Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, and Michael Winikoff, editors, International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, pages 1081- 1088, 2012.","title":"Revising conflicting intention sets in BDI agents","authors":"Steven Shapiro, Sebastian Sardiña, John Thangarajah, Lawrence Cavedon, Lin Padgham","year":"2012","venue":"International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Shoham, 2009] Yoav Shoham. Logical theories of intention and the database perspective. Journal of Philosophical Logic, 38(6):633-647, 2009.","title":"Logical theories of intention and the database perspective","authors":"Yoav Shoham","year":"2009","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[van der Hoek et al., 2007] Wiebe van der Hoek, Wojciech Jamroga, and Michael Wooldridge. Towards a theory of intention revision. Synthese, 155(2):265-290, 2007.","title":"Towards a theory of intention revision","authors":"Hoek Van Der","year":"2007","venue":"Synthese","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[van Ditmarsch et al., 2011] Hans van Ditmarsch, Tiago de Lima, and Emiliano Lorini. Intention change via local as- signments. In Mehdi Dastani, Amal El Fallah Seghrouchni, Jomi Hübner, and João Leite, editors, Languages, Method- ologies, and Development Tools for Multi-Agent Systems, pages 136-151, Berlin, Heidelberg, 2011. Springer.","title":"Intention change via local assignments","authors":"Van Ditmarsch","year":"2011","venue":"Languages, Methodologies, and Development Tools for Multi-Agent Systems","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[van Zee and Doder, 2016] Marc van Zee and Dragan Doder. Agm-style revision of beliefs and intentions. In ECAI, volume 285 of Frontiers in Artificial Intelligence and Ap- plications, pages 1511-1519. IOS Press, 2016.","title":"Agm-style revision of beliefs and intentions","authors":"Van Zee, ; Doder, Dragan Marc Van Zee, Doder","year":"2016","venue":"Frontiers in Artificial Intelligence and Applications","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[van Zee et al., 2020] Marc van Zee, Dragan Doder, Leendert van der Torre, Mehdi Dastani, Thomas Icard, and Eric Pacuit. Intention as commitment toward time. Artificial Intelligence, 283, 2020.","title":"Intention as commitment toward time","authors":"Van Zee","year":"2020","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Wooldridge, 2000] Michael John Wooldridge. Reasoning about Rational Agents. MIT Press, 2000.","title":"Reasoning about Rational Agents","authors":"John Michael, Wooldridge","year":"2000","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}