Configuration System (S, ??

• S is a system (?????

• ? : g0, g1 ??? called goal configurations, is a sequence of propositional formulae on ?.

(S??????generates a configuration trajectory

? : s0, s1 ?

• si ?????

• si+1 satisfies gi or contains a failure value not in si

Previous slide

Next slide

Back to first slide

View graphic version