A generated design for a given (generic) goal is supposed to fulfill (all!) its instances …, but in general it won't!
Can we make precise claims about a design, e.g., "If D is true X% of the time, then an ambulance can be in the place of accident anywhere in London within 15' 85% of the time"
Modeling and reasoning with probabilistic actions (e.g., "submit paper to conference") also an issue.
Use DT-Golog, PhD thesis by Mikhail Soutchanski.
Goal models By all means By email - - + + + + - - Collect timetables By person By system Have updated timetables Collect them Choose schedule Manually Automatically Schedule meeting Matching effort Collection effort Minimal conflicts Degree of participation Quality of schedule Minimal effort