{"type":"ScholarlyArticle","title":"Progression of Situation Calculus Action Theories with Incomplete Information","authors":[{"name":"Stavros Vassos","slug":"stavros-vassos","given":"Stavros","family":"Vassos","affiliation":"Department of Computer Science University of Toronto Toronto , ON , CANADA"},{"name":"Hector J. Levesque","slug":"hector-j-levesque","given":"Hector J.","family":"Levesque","affiliation":"Department of Computer Science University of Toronto Toronto , ON , CANADA"}],"abstract":"In this paper, we propose a new progression mechanism for a restricted form of incomplete knowledge formulated as a basic action theory in the situation calculus. Specifically, we focus on functional fluents and deal directly with the possible values these fluents may have and how these values are affected by both physical and sensing actions. The method we propose is logically complete and can be calculated efficiently using database techniques under certain reasonable assumptions.","doi":null,"url":"https://ijcai.org/proceedings/2007/327","pdf":"https://ijcai.org/proceedings/2007/0327.pdf","markdown":"https://ijcai.org/proceedings/2007/327.md","bibtex":"https://ijcai.org/proceedings/2007/bibtex/327","volume":{"slug":"2007","title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2007","url":"https://ijcai.org/proceedings/2007/","year":2007,"location":"Hyderabad, India","dates":"","editors":"Ramon López de Mántaras","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":327,"pages":{"first":2029,"last":2023},"keywords":[],"videos":[],"references":[{"position":1,"raw":"[Amir and Russell, 2003] E. Amir and S. Russell. Logical filtering. In Proc. IJCAI-03, pages 75-82, 2003.","title":"Logical filtering","authors":"E Amir, S Russell","year":"2003","venue":"Proc. IJCAI-03","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Andréka et al., 1998] H. Andréka, J. van Benthem, and I. Németi. Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27(3):217-274, 1998.","title":"Modal languages and bounded fragments of predicate logic","authors":"H Andréka, J Van Benthem, I Németi","year":"1998","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Antova et al., 2007] L. Antova, C. Koch, and D. Olteanu. 10 10 6 worlds and beyond: Efficient representation and processing of in- complete information. In Proc. ICDE-07, Istanbul, Turkey, April 2007. (To appear).","title":"10 10 6 worlds and beyond: Efficient representation and processing of incomplete information","authors":"L Antova, C Koch, D Olteanu","year":"2007","venue":"Proc. ICDE-07","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[De Giacomo and Levesque, 1999] G. De Giacomo and H. J. Levesque. An incremental interpreter for high-level programs with sensing. Logical Foundations for Cognitive Agents: Contri- butions in Honor of Ray Reiter, pages 86-102, 1999.","title":"An incremental interpreter for high-level programs with sensing","authors":"G De Giacomo, H J Levesque","year":"1999","venue":"Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[De Giacomo et al., 2001] G. De Giacomo, H. J. Levesque, and S. Sardina. Incremental execution of guarded theories. Com- putational Logic, 2(4):495-525, 2001.","title":"Incremental execution of guarded theories","authors":"G De Giacomo, H J Levesque, S Sardina","year":"2001","venue":"Computational Logic","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Frühwirth, 1998] T. Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, Special Issue on Constraint Logic Programming, 37(1-3):95-138, October 1998.","title":"Theory and practice of constraint handling rules","authors":"T Frühwirth","year":"1998","venue":"Journal of Logic Programming, Special Issue on Constraint Logic Programming","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Funge, 1998] J. Funge. Cognitive modeling for computer games. In AAAI Fall Symposium on Cognitive Robotics, pages 44-51, Orlando, FL., October 1998.","title":"Cognitive modeling for computer games","authors":"J Funge","year":"1998","venue":"AAAI Fall Symposium on Cognitive Robotics","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Gottlob et al., 2003] G. Gottlob, N. Leone, and F. Scarcello. Rob- bers, marshals, and guards: Game theoretic and logical charac- terizations of hypertree width. Journal of Computer and System Sciences, 66(4):775-808, June 2003.","title":"Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width","authors":"G Gottlob, N Leone, F Scarcello","year":"2003","venue":"Journal of Computer and System Sciences","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Kowalski and Sergot, 1986] R. Kowalski and M. Sergot. A logic- based calculus of events. New Generation Computing, 4(1):67- 95, 1986.","title":"A logicbased calculus of events","authors":"R Kowalski, M Sergot","year":"1986","venue":"New Generation Computing","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Lakemeyer and Levesque, 2007] G. Lakemeyer and H. J. Levesque. Chapter: Cognitive robotics. In V. Lifschitz, F. van Harmelen, and F. Porter, editors, Handbook of Knowledge Representation. Elsevier, 2007. (Forthcoming).","title":"Chapter: Cognitive robotics","authors":"G Lakemeyer, H J Levesque","year":"2007","venue":"Handbook of Knowledge Representation","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Levesque et al., 1997] H. J. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. B. Scherl. Golog: A logic programming lan- guage for dynamic domains. Journal of Logic Programming, 31(1-3):59-83, 1997.","title":"Golog: A logic programming language for dynamic domains","authors":"H J Levesque, R Reiter, Y Lespérance, F Lin, R B Scherl","year":"1997","venue":"Journal of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Levesque, 2005] H. J. Levesque. Planning with loops. In Proc. IJCAI-05, Edinburgh, Scotland, August 2005.","title":"Planning with loops","authors":"H J Levesque","year":"2005","venue":"Proc. IJCAI-05","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Lin and Reiter, 1997] F. Lin and R. Reiter. How to progress a database. Artificial Intelligence, 92(1-2):131-167, 1997.","title":"How to progress a database","authors":"F Lin, R Reiter","year":"1997","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Lin, 2007] F. Lin. Chapter: Situation calculus. In V. Lifschitz, F. van Harmelen, and F. Porter, editors, Handbook of Knowledge Representation. Elsevier, 2007. (Forthcoming).","title":"Chapter: Situation calculus","authors":"F Lin","year":"2007","venue":"Handbook of Knowledge Representation","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Liu and Levesque, 2003] Y. Liu and H. J. Levesque. A tractabil- ity result for reasoning with incomplete first-order knowledge bases. In Proc. IJCAI-03, pages 83-88, Acapulco, Mexico, Au- gust 2003.","title":"A tractability result for reasoning with incomplete first-order knowledge bases","authors":"Y Liu, H J Levesque","year":"2003","venue":"Proc. IJCAI-03","doi":null,"url":null,"internal_url":"/proceedings/2003/12"},{"position":16,"raw":"[Liu and Levesque, 2005] Y. Liu and H. J. Levesque. Tractable rea- soning with incomplete first-order knowledge in dynamic sys- tems with context-dependent actions. In Proc. IJCAI-05, Edin- burgh, Scotland, August 2005.","title":"Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions","authors":"Y Liu, H J Levesque","year":"2005","venue":"Proc. IJCAI-05","doi":null,"url":null,"internal_url":"/proceedings/2005/67"},{"position":17,"raw":"[McCarthy and Hayes, 1969] J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelli- gence. Machine Intelligence, 4:463-502, 1969.","title":"Some philosophical problems from the standpoint of artificial intelligence","authors":"J Mccarthy, P J Hayes","year":"1969","venue":"Machine Intelligence","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Petrick and Levesque, 2002] R. Petrick and H. J. Levesque. Knowledge equivalence in combined action theories. In Proc. KR-02, Toulouse, France, April 2002.","title":"Knowledge equivalence in combined action theories","authors":"R Petrick, H J Levesque","year":"2002","venue":"Proc. KR-02","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Petrick, 2006] R. Petrick. A knowledge-based representation for effective acting, sensing, and planning. PhD thesis, University of Toronto, 2006.","title":"A knowledge-based representation for effective acting, sensing, and planning","authors":"R Petrick","year":"2006","venue":null,"doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Reiter, 2001] R. Reiter. Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.","title":"Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems","authors":"R Reiter","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Sardina and Vassos, 2005] S. Sardina and S. Vassos. The Wumpus World in IndiGolog: A Preliminary Report. In Proc. NRAC-05, pages 90-95, Edinburgh, Scottland, 2005.","title":"The Wumpus World in IndiGolog: A Preliminary Report","authors":"S Sardina, S Vassos","year":"2005","venue":"Proc. NRAC-05","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Scherl and Levesque, 2003] R. Scherl and H. J. Levesque. Knowl- edge, action, and the frame problem. Artificial Intelligence, 144(1-2):1-39, 2003.","title":"Knowledge, action, and the frame problem","authors":"R Scherl, H J Levesque","year":"2003","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Son and Baral, 2001] T. C. Son and C. Baral. Formalizing sensing actions a transition function based approach. Artificial Intelli- gence, 125(1-2):19-91, 2001.","title":"Formalizing sensing actions a transition function based approach","authors":"T C Son, C Baral","year":"2001","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Thielscher, 1999] M. Thielscher. From situation calculus to flu- ent calculus: State update axioms as a solution to the inferential frame problem. Artificial Intelligence, 111(1-2):277-299, July 1999.","title":"From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem","authors":"M Thielscher","year":"1999","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Thielscher, 2004] M. Thielscher. FLUX: A logic programming method for reasoning agents. Theory and Practice of Logic Pro- graming, 5(4-5):533-565, 2004.","title":"FLUX: A logic programming method for reasoning agents","authors":"M Thielscher","year":"2004","venue":"Theory and Practice of Logic Programing","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}