Metatheory of actions: beyond consistency

Details Metatheory of actions: beyond consistency Metatheory of actions: beyond consistency

2006-03-09

arxiv.org/abs/cs/0603034v1

Computer Science

Artificial Intelligence

Scientific paper

Consistency check has been the only criterion for theory evaluation in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the metatheory of actions by investigating what other properties a good domain description in reasoning about actions should have. We state some metatheoretical postulates concerning this sore spot. When all postulates are satisfied together we have a modular action theory. Besides being easier to understand and more elaboration tolerant in McCarthy's sense, modular theories have interesting properties. We point out the problems that arise when the postulates about modularity are violated and propose algorithmic checks that can help the designer of an action theory to overcome them.

Affiliated with

Also associated with

No associations

Rating

Metatheory of actions: beyond consistency 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 Metatheory of actions: beyond consistency, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Metatheory of actions: beyond consistency will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-711544