Telecharger Cours

Default Reasoning about Actions - CORE

? r |= Poss(?i, ?i?1, ?i) for all 1 ? i ? n,. ? ?n = ?. This notion of reachability coincides with the one from [Reiter, 1993] for the Situation. Calculus ...



Download