MatchingTask-Based Capabilities and Requests

• Represent task descriptions more declaratively

(give (obj (spec-of demonstration)) (of Teamcore))

(process (obj (spec-of reimbursement)) (for (set-of receipt)))

(demo (obj Teamcore))

• Reformulations of requests: class partition & sets

(setup (obj (equipment)))

(setup (obj (lcd)))

(setup (obj (vcr)))

(demo (obj (Ariadne Teamcore)))

(demo (obj (Ariadne)))

(demo (obj (Teamcore)))

task qualification parameter

• matches concept in goal
• further specifies task to be done (i.e., how action is done)
• allows same method to be used for variety of tasks

exploits definitions during matching

(demo (obj sw)) = (give (obj (spec-of demonstration)) (of sw))

Previous slide

Next slide

Back to first slide

View graphic version