A Hierarchical Situation Calculus

Details A Hierarchical Situation Calculus A Hierarchical Situation Calculus

2003-09-29

arxiv.org/abs/cs/0309053v1

Computer Science

Artificial Intelligence

Internal report, University of North Carolina at Chapel Hill, January 2003

Scientific paper

A situation calculus is presented that provides a solution to the frame problem for hierarchical situations, that is, situations that have a modular structure in which parts of the situation behave in a relatively independent manner. This situation calculus is given in a relational, functional, and modal logic form. Each form permits both a single level hierarchy or a multiple level hierarchy, giving six versions of the formalism in all, and a number of sub-versions of these. For multiple level hierarchies, it is possible to give equations between parts of the situation to impose additional structure on the problem. This approach is compared to others in the literature.

Affiliated with

Also associated with

No associations

Rating

A Hierarchical Situation Calculus does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Hierarchical Situation Calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Hierarchical Situation Calculus will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-370747