Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Appears in Proceedings of 8th Int'l Conference on Principles of Knowledge Representation and Reasoning (KR '2002). Projection in Decomposed Situation Calculus
 

Summary: Appears in Proceedings of 8th Int'l Conference on Principles of Knowledge Representation and Reasoning (KR '2002).
Projection in Decomposed Situation Calculus
Eyal Amir
Computer Science Division
University of California at Berkeley
Soda Hall 387, Berkeley, CA 94720­1776, USA
eyal@cs.berkeley.edu
Abstract
We investigate the impact of decomposition on
projection in the situation calculus. We show
that performing projection with situation calcu­
lus theories can benefit from their decomposition
into parts associated with sub­domains. Partic­
ularly, we provide message­passing algorithms
that take advantage of the particular structure of
situation calculus theories to perform the task of
projection. These algorithms are shown to be
sound and complete for this task for different sce­
narios, including actions with non­deterministic
effects, partially specified initial situation and ob­

  

Source: Amir, Eyal - Department of Computer Science, University of Illinois at Urbana-Champaign

 

Collections: Computer Technologies and Information Sciences