A first-order Temporal Logic for Actions

Details A first-order Temporal Logic for Actions A first-order Temporal Logic for Actions

2007-05-14

arxiv.org/abs/0705.1999v1

Computer Science

Artificial Intelligence

Scientific paper

We present a multi-modal action logic with first-order modalities, which contain terms which can be unified with the terms inside the subsequent formulas and which can be quantified. This makes it possible to handle simultaneously time and states. We discuss applications of this language to action theory where it is possible to express many temporal aspects of actions, as for example, beginning, end, time points, delayed preconditions and results, duration and many others. We present tableaux rules for a decidable fragment of this logic.

Affiliated with

Also associated with

No associations

Rating

A first-order Temporal Logic for Actions 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 first-order Temporal Logic for Actions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A first-order Temporal Logic for Actions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-366178