This is a trace generated by the system. Much of it has been edited out for brevity
and presentation in this format. The trace was turned on to show plan selection. This
trace is not from the Air-cylinder domain. This trace shows an example of a specialist
SpA selecting amongst four plans P1, P2, P3 and P4. Each plan has two tasks
selected from T1, T2 and T3. Each plan contains T1. The tasks each check one
constraint. T1 always fails, while the others succeed. The selector and the sponsors
are as follows:
(SPONSOR
(NAME
P1
Sponsor)
(USED-BY SpASelector)
(PLANP1)
(COMMENT "each plan has a sponsor")
(COMMENT "i ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month, and much more.