What is Deductive Synthesis?
≈ means Goals, Constraints are preserved.
What services, logic would satisfy goal(s)? Work backwards.
Prefer steps that correspond to old process
Each step should be
sound
(may need new definition)
Sufficiently
complete
Interactive
If pre-conditions/effects are used with AI planning,
all paths are reachable, deadlock-free. (?)
Distinct from process algebra synthesis approaches:
messages are an epiphenomenon.
Recovery from failure? Undo commitment?
Loops? Homestasis processes?
© 2007 Charles Petrie - permission to reproduce widely with attribution