Progression of situation calculus action theories with incomplete information

Authors:
Stavros Vassos;Hector Levesque
Affiliations:
Department of Computer Science, University of Toronto, Toronto, ON, Canada;Department of Computer Science, University of Toronto, Toronto, ON, Canada
Venue:
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Year:
2007

Citing 15
Cited 8

A logic-based calculus of events

New Generation Computing
How to progress a database

Artificial Intelligence
From situation calculus to fluent calculus: state update axioms as a solution to the inferential frame problem

Artificial Intelligence
Formalizing sensing actions—a transition function based approach

Artificial Intelligence
Incremental execution of guarded theories

ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowledge, action, and the frame problem

Artificial Intelligence
Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width

Journal of Computer and System Sciences - Special issu on PODS 2001
FLUX: A logic programming method for reasoning agents

Theory and Practice of Logic Programming
A knowledge-level approach for effective acting, sensing, and planning

A knowledge-level approach for effective acting, sensing, and planning
Handbook of Knowledge Representation

Handbook of Knowledge Representation
Logical filtering

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A tractability result for reasoning with incomplete first-order knowledge bases

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Planning with loops

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

A Theorem Prover with Dependent Types for Reasoning about Actions

Proceedings of the 2008 conference on STAIRS 2008: Proceedings of the Fourth Starting AI Researchers' Symposium
Architecture for Hybrid Robotic Behavior

HAIS '09 Proceedings of the 4th International Conference on Hybrid Artificial Intelligence Systems
A Semantical Account of Progression in the Presence of Defaults

Conceptual Modeling: Foundations and Applications
A semantical account of progression in the presence of defaults

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Reasoning with knowledge, action and time in dynamic and uncertain domains

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
How to Track Absolutely Everything

Proceedings of the 2010 conference on Ontologies and Semantic Technologies for Intelligence
First-order logical filtering

Artificial Intelligence
Proof Systems for Planning Under Cautious Semantics

Minds and Machines

Quantified Score

Hi-index	0.00

Visualization

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.