The Two-Variable Situation Calculus

Authors:
Yilan Gu;Mikhail Soutchanski
Affiliations:
Department of Computer Science, University of Toronto, email: yilan@cs.toronto.edu;Department of Computer Science, Ryerson University, email: mes@scs.ryerson.ca
Venue:
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Year:
2006

Citing 15
Cited 0

On the relative expressiveness of description logics and predicate logics

Artificial Intelligence
Some contributions to the metatheory of the situation calculus

Journal of the ACM (JACM)
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
A survey of temporal extensions of description logics

Annals of Mathematics and Artificial Intelligence
A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Complexity of Two-Variable Logic with Counting

LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Two-variable logic with counting is decidable

LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Analysis and simulation of Web services

Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
The process specification language (PSL) theory and applications

AI Magazine
Tools for composite web services: a short overview

ACM SIGMOD Record
Integrating description logics and action formalisms: first results

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
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
Automated composition of web services by planning at the knowledge level

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
HTN planning for Web Service composition using SHOP2

Web Semantics: Science, Services and Agents on the World Wide Web

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider a modified version of the situation calculus built using a two-variable fragment of the first-order logic extended with counting quantifiers. We mention several additional groups of axioms that need to be introduced to capture taxonomic reasoning. We show that the regression operator in this framework can be defined similarly to regression in the Reiter's version of the situation calculus. Using this new regression operator, we show that the projection problem (that is the main reasoning task in the situation calculus) is decidable in the modified version. We mention possible applications of this result to formalization of Semantic Web services.