{"type":"ScholarlyArticle","title":"Abstraction of Agents Executing Online and their Abilities in the Situation Calculus","authors":[{"name":"Bita Banihashemi","slug":"bita-banihashemi","given":"Bita","family":"Banihashemi","affiliation":"York University"},{"name":"Giuseppe De Giacomo","slug":"giuseppe-de-giacomo","given":"Giuseppe","family":"De Giacomo","affiliation":"Sapienza Università di Roma"},{"name":"Yves Lespérance","slug":"yves-lesperance","given":"Yves","family":"Lespérance","affiliation":"York University"}],"abstract":"We develop a general framework for abstracting online behavior of an agent that may acquire new knowledge during execution (e.g., by sensing), in the situation calculus and ConGolog. We assume that we have both a high-level action theory and a low-level one that represent the agent's behavior at different levels of detail. In this setting, we define ability to perform a task/achieve a goal, and then show that under some reasonable assumptions, if the agent has a strategy by which she is able to achieve a goal at the high level, then we can refine it into a low-level strategy to do so.","doi":"10.24963/ijcai.2018/235","url":"https://ijcai.org/proceedings/2018/235","pdf":"https://ijcai.org/proceedings/2018/0235.pdf","markdown":"https://ijcai.org/proceedings/2018/235.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/235","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":235,"pages":{"first":1699,"last":1706},"keywords":["Knowledge Representation and Reasoning: Action, Change and Causality","Agent-based and Multi-agent Systems: Agent Theories and Models"],"videos":[],"references":[{"position":1,"raw":"[Alford et al., 2009] Ronald Alford, Ugur Kuter, Dana S. Nau, Elnatan Reisner, and Robert P. Goldman. Maintain- ing focus: Overcoming attention deficit disorder in contin- gent planning. In FLAIR, 2009.","title":"Maintaining focus: Overcoming attention deficit disorder in contingent planning","authors":"Ronald Alford, Ugur Kuter, Dana S Nau, Elnatan Reisner, Robert P Goldman","year":"2009","venue":"FLAIR","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baier and McIlraith, 2006] Jorge A. Baier and Sheila A. McIlraith. On planning with programs that sense. In KR, pages 492-502. AAAI Press, 2006.","title":"On planning with programs that sense","authors":"Jorge A Baier, Sheila A Mcilraith","year":"2006","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Banihashemi et al., 2016] Bita Banihashemi, Giuseppe De Giacomo, and Yves Lespérance. Online situation- determined agents and their supervision. In KR, pages 517-520. AAAI Press, 2016.","title":"Online situationdetermined agents and their supervision","authors":"Bita Banihashemi, Giuseppe De, Giacomo, Yves Lespérance","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Banihashemi et al., 2017] Bita Banihashemi, Giuseppe De Giacomo, and Yves Lespérance. Abstraction in situa- tion calculus action theories. In AAAI, pages 1048-1055. AAAI Press, 2017.","title":"Abstraction in situation calculus action theories","authors":"Bita Banihashemi, Giuseppe De, Giacomo, Yves Lespérance","year":"2017","venue":"AAAI","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Banihashemi et al., 2018a] Bita Banihashemi, Giuseppe De Giacomo, and Yves Lespérance. Abstraction of agents ex- ecuting online and their abilities in the situation calculus - Extended version. Technical Report EECS-2018-02, York University, 2018.","title":"Abstraction of agents executing online and their abilities in the situation calculus -Extended version","authors":"Banihashemi","year":"2018","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Banihashemi et al., 2018b] Bita Banihashemi, Giuseppe De Giacomo, and Yves Lespérance. Hierarchical agent super- vision. To appear in AAMAS, 2018.","title":"Hierarchical agent supervision","authors":"Banihashemi","year":"2018","venue":null,"doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Cimatti et al., 2003] Alessandro Cimatti, Marco Pistore, Marco Roveri, and Paolo Traverso. Weak, strong, and strong cyclic planning via symbolic model checking. Arti- ficial Intelligence, 147(1-2):35-84, 2003.","title":"Weak, strong, and strong cyclic planning via symbolic model checking","authors":"Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso","year":"2003","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[De Giacomo and Levesque, 1999] Giuseppe De Giacomo and Hector J. Levesque. An incremental interpreter for high-level programs with sensing. In Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Re- iter, pages 86-102. Springer, Berlin, 1999.","title":"An incremental interpreter for high-level programs with sensing","authors":"De Giacomo, Giuseppe De Levesque, Hector J Giacomo, Levesque","year":"1999","venue":"Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[De Giacomo et al., 2000] Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. ConGolog, a con- current programming language based on the situation cal- culus. Artificial Intelligence, 121(1-2):109-169, 2000.","title":"ConGolog, a concurrent programming language based on the situation calculus","authors":"Giuseppe De, Giacomo, Yves Lespérance, Hector J Levesque","year":"2000","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[De Giacomo et al., 2010] Giuseppe De Giacomo, Yves Lespérance, and Adrian R. Pearce. Situation calculus based programs for representing and reasoning about game structures. In KR. AAAI Press, 2010.","title":"Situation calculus based programs for representing and reasoning about game structures","authors":"Giuseppe De, Giacomo, Yves Lespérance, Adrian R Pearce","year":"2010","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[De Giacomo et al., 2012] Giuseppe De Giacomo, Yves Lespérance, and Christian J. Muise. On supervising agents in situation-determined ConGolog. In AAMAS, pages 1031-1038. IFAAMAS, 2012.","title":"On supervising agents in situation-determined ConGolog","authors":"Giuseppe De, Giacomo, Yves Lespérance, Christian J Muise","year":"2012","venue":"AAMAS","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[De Giacomo et al., 2016] Giuseppe De Giacomo, Yves Lespérance, and Fabio Patrizi. Bounded situation calcu- lus action theories. Artificial Intelligence, 237:172-203, 2016.","title":"Bounded situation calculus action theories","authors":"Giuseppe De, Giacomo, Yves Lespérance, Fabio Patrizi","year":"2016","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Dignum et al., 2015] Frank Dignum, Virginia Dignum, Rui Prada, and Catholijn M. Jonker. A conceptual architecture for social deliberation in multi-agent organizations. Mul- tiagent and Grid Systems, 11(3):147-166, 2015.","title":"A conceptual architecture for social deliberation in multi-agent organizations","authors":"Frank Dignum, Virginia Dignum, Rui Prada, Catholijn M Jonker","year":"2015","venue":"Multiagent and Grid Systems","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Gabaldon, 2002] Alfredo Gabaldon. Programming hierar- chical task networks in the situation calculus. In AIPS02 Workshop on On-line Planning and Scheduling, 2002.","title":"Programming hierarchical task networks in the situation calculus","authors":"Alfredo Gabaldon","year":"2002","venue":"AIPS02 Workshop on On-line Planning and Scheduling","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Geffner and Bonet, 2013] Hector Geffner and Blai Bonet. A Concise Introduction to Models and Methods for Auto- mated Planning. Morgan & Claypool Publishers, 2013.","title":"A Concise Introduction to Models and Methods for Automated Planning","authors":"Bonet Geffner, Hector Geffner, Blai Bonet","year":"2013","venue":null,"doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Giunchiglia and Walsh, 1992] Fausto Giunchiglia and Toby Walsh. A theory of abstraction. Artificial Intelligence, 5(2):323-389, 1992.","title":"A theory of abstraction","authors":"Walsh ; Giunchiglia, Fausto Giunchiglia, Toby Walsh","year":"1992","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Kuter et al., 2007] Ugur Kuter, Dana Nau, Elnatan Reis- ner, and Robert Goldman. Conditionalization: Adapting forward-chaining planners to partially observable environ- ments. In ICAPS 2007 -Workshop on planning and exe- cution for real-world systems, 2007.","title":"Conditionalization: Adapting forward-chaining planners to partially observable environments","authors":"Ugur Kuter, Dana Nau, Elnatan Reisner, Robert Goldman","year":"2007","venue":"ICAPS 2007 -Workshop on planning and execution for real-world systems","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Lespérance et al., 2000] Yves Lespérance, Hector J. Levesque, Fangzhen Lin, and Richard B. Scherl. Ability and knowing how in the situation calculus. Studia Logica, 66(1):165-186, 2000.","title":"Ability and knowing how in the situation calculus","authors":"Yves Lespérance, Hector J Levesque, Fangzhen Lin, Richard B Scherl","year":"2000","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Lespérance et al., 2008] Yves Lespérance, Giuseppe De Gi- acomo, and Atalay Nafi Ozgovde. A model of contingent planning for agent programming languages. In AAMAS, pages 477-484. IFAAMAS, 2008.","title":"A model of contingent planning for agent programming languages","authors":"Lespérance","year":"2008","venue":"AAMAS","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Lespérance, 2002] Yves Lespérance. On the epistemic fea- sibility of plans in multiagent systems specification. In Intelligent Agents VIII, 8th International Workshop, ATAL 2001, volume 2333, pages 69-85. Springer, 2002.","title":"On the epistemic feasibility of plans in multiagent systems specification","authors":"Yves Lespérance, Lespérance","year":"2002","venue":"Intelligent Agents VIII, 8th International Workshop, ATAL 2001","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Levesque et al., 1997] Hector J. Levesque, Raymond Re- iter, Yves Lespérance, Fangzhen Lin, and Richard B. Scherl. Golog: A logic programming language for dy- namic domains. Journal of Logic Programing, 31(1- 3):59-83, 1997.","title":"Golog: A logic programming language for dynamic domains","authors":"Hector J Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B Scherl","year":"1997","venue":"Journal of Logic Programing","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[McCarthy and Hayes, 1969] John McCarthy and Patrick J. Hayes. Some Philosophical Problems From the Standpoint of Artificial Intelligence. Machine Intelligence, 4:463- 502, 1969.","title":"Some Philosophical Problems From the Standpoint of Artificial Intelligence","authors":"John Mccarthy, Patrick J Hayes","year":"1969","venue":"Machine Intelligence","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Milner, 1971] Robin Milner. An algebraic definition of sim- ulation between programs. In IJCAI, pages 481-489.","title":"An algebraic definition of simulation between programs","authors":"Robin Milner, Milner","year":"1971","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/1971/50"},{"position":24,"raw":"William Kaufmann, 1971.","title":null,"authors":"William Kaufmann","year":"1971","venue":null,"doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Milner, 1989] Robin Milner. Communication and concur- rency. Prentice Hall, 1989.","title":"Communication and concurrency","authors":"Robin Milner","year":"1989","venue":null,"doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Mo et al., 2016] Peiming Mo, Naiqi Li, and Yongmei Liu. Automatic verification of Golog programs via predicate abstraction. In ECAI, pages 760-768, 2016.","title":"Automatic verification of Golog programs via predicate abstraction","authors":"Mo","year":"2016","venue":"ECAI","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Moore, 1985] Robert C. Moore. A formal theory of knowl- edge and action. In Formal Theories of the Commonsense World, pages 319-358. Ablex, NJ, 1985.","title":"A formal theory of knowledge and action","authors":"Robert C Moore","year":"1985","venue":"Formal Theories of the Commonsense World","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Nayak and Levy, 1995] P. Pandurang Nayak and Alon Y. Levy. A semantic theory of abstractions. In IJCAI, pages 196-203.","title":"A semantic theory of abstractions","authors":"P, Pandurang Nayak, Alon Y Levy","year":null,"venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/1995/26"},{"position":29,"raw":"Morgan Kaufmann, 1995.","title":null,"authors":"Morgan Kaufmann","year":"1995","venue":null,"doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Reiter, 2001] Raymond Reiter. Knowledge in Action. Logi- cal Foundations for Specifying and Implementing Dynam- ical Systems. The MIT Press, 2001.","title":"Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems","authors":"Raymond Reiter","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null},{"position":31,"raw":"[Sardiña et al., 2004a] Sebastian Sardiña, Giuseppe De Gia- como, Yves Lespérance, and Hector J. Levesque. On abil- ity to autonomously execute agent programs with sensing. In AAMAS, pages 1522-1523. IEEE, 2004.","title":"On ability to autonomously execute agent programs with sensing","authors":"Sardiña","year":"2004","venue":"AAMAS","doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Sardiña et al., 2004b] Sebastian Sardiña, Giuseppe De Gia- como, Yves Lespérance, and Hector J. Levesque. On the semantics of deliberation in IndiGolog -from theory to implementation. Annals of Mathematics and Artificial In- telligence, 41(2-4):259-299, 2004.","title":"On the semantics of deliberation in IndiGolog -from theory to implementation","authors":"Sardiña","year":"2004","venue":"Annals of Mathematics and Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":33,"raw":"[Sardiña et al., 2006] Sebastian Sardiña, Giuseppe De Gia- como, Yves Lespérance, and Hector J. Levesque. On the limits of planning over belief states under strict uncer- tainty. In KR, pages 463-471. AAAI Press, 2006.","title":"On the limits of planning over belief states under strict uncertainty","authors":"Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J Levesque","year":"2006","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}