Towards a general theory of action and time
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
Logics of time and computation
Logics of time and computation
Toward a mathematical theory of plan synthesis
Toward a mathematical theory of plan synthesis
Representations of commonsense knowledge
Representations of commonsense knowledge
ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Artificial intelligence and mathematical theory of computation
Proving properties of states in the situation calculus
Artificial Intelligence
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Artificial Intelligence
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
SCDBR: An Automated Reasoner for Specifications of Database Updates
Journal of Intelligent Information Systems
The interactive museum tour-guide robot
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
Making them behave: cognitive models for computer animation
Making them behave: cognitive models for computer animation
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
Towards a formal account of diagnostic problem-solving
Towards a formal account of diagnostic problem-solving
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
What is planning in the presence of sensing?
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Autonomous mobile manipulators managing perception and failures
Proceedings of the fifth international conference on Autonomous agents
On knowledge-based programming with sensing in the situation calculus
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Logic-based artificial intelligence
Planning with natural actions in the situation calculus
Logic-based artificial intelligence
Annals of Mathematics and Artificial Intelligence
Probabilistic Situation Calculus
Annals of Mathematics and Artificial Intelligence
History-based diagnosis templates in the framework of the situation calculus
AI Communications - Special issue on KI-2001
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Consistency of Action Descriptions
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Decidability Results for the Propositional Fluent Calculus
CL '00 Proceedings of the First International Conference on Computational Logic
Simulation of Advanced Transaction Models Using GOLOG
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Knowledge, action, and the frame problem
Artificial Intelligence
Non-Markovian control in the situation calculus
Eighteenth national conference on Artificial intelligence
The domestic robot—a friendly cognitive system takes care of your home
Ambient intelligence
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
Planning and programming with first-order markov decision processes: insights and challenges
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Existential assertions and quantum levels on the tree of the situation calculus
Artificial Intelligence
Towards High-Level Programming for Distributed Problem Solving
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Artificial Intelligence
Logical approach for dynamic system in situation dependent services
Mobility '06 Proceedings of the 3rd international conference on Mobile technology, applications & systems
Metatheory of actions: Beyond consistency
Artificial Intelligence
Knowledge and observations in the situation calculus
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Logic-based robot control in highly dynamic domains
Robotics and Autonomous Systems
Reasoning about actions with sensing under qualitative and probabilistic uncertainty
ACM Transactions on Computational Logic (TOCL)
A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus
ICIRA '08 Proceedings of the First International Conference on Intelligent Robotics and Applications: Part I
An Ontology-Based Approach to Validation of E-Services under Static and Dynamic Constraints
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
A Logical Treatment for the Emergence of Control in Complex Self-Organising Systems
Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
A Correlation-Driven Reactive Layer for Situation-Aware BDI Agent Architecture
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
The Two-Variable Situation Calculus
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
On the progression of situation calculus basic action theories: resolving a 10-year-old conjecture
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Automata theory for reasoning about actions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Property persistence in the situation calculus
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Compiling control knowledge into preconditions for planning in the situation calculus
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
An on-line decision-theoretic Golog interpreter
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Symbolic dynamic programming for first-order MDPs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Combining probabilities, failures and safety in robot control
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Cohesion, coupling and the meta-theory of actions
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Existential assertions and quantum levels on the tree of the situation calculus
Artificial Intelligence
Composition of ConGolog programs
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Simple Default Reasoning in Theories of Action
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Embedding fuzzy controllers in Golog
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
SCOPE: A Situation Calculus Ontology of Petri Nets
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
On defaults in action theories
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Event detection and correlation for network environments
IEEE Journal on Selected Areas in Communications
Property persistence in the situation calculus
Artificial Intelligence
Synthesizing advanced transaction models using the situation calculus
Journal of Intelligent Information Systems
Situation based control for cyber-physical environments
MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
A framework of cognitive situation modeling and recognition
MILCOM'06 Proceedings of the 2006 IEEE conference on Military communications
Artificial Intelligence
Non-Markovian control in the Situation Calculus
Artificial Intelligence
Artificial Intelligence
Iterated belief change in the situation calculus
Artificial Intelligence
Relaxing Regression for a Heuristic GOLOG
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Theories of intentions in the framework of situation calculus
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
How to progress a database III
Artificial Intelligence
Hi-index | 0.00 |
We focus on a rich axiomatization for actions in the situation calculus that includes, among other features, a solution to the frame problem for deterministic actions. Our work is foundational in nature, directed at simplifying the entailment problem for these axioms. Specifically, we make four contributions to the metatheory of situation calculus axiomatizations of dynamical systems: (1) We prove that the above-mentioned axiomatization for actions has a relative satisfiability property; the full axiomatization is satisfiable iff the axioms for the initial state are. (2)We define the concept of regression relative to these axioms, and prove a soundness and completeness theorem for a regression-based approach to the entailment problem for a wide class of queries. (3) Our formalization of the situation calculus requires certain foundational axioms specifying the domain of situations. These include an induction axiom, whose presence complicates human and automated reasoning in the situation calculus. We characterize various classes of sentences whose proofs do not require induction, and in some cases, some of the other foundational axioms. (4)We prove that the logic programming language GOLOG never requires any of the foundational axioms for the evaluation of programs.