Incremental Recruitment Language
Incremental Recruitment Language Incremental Recruitment Language
composite-definition (def-composite (composite-id slot-spec*) constraint-invocation*)) e.g. (def-composite (identify-object-12 (?object object) (?prototype prototype) (?comparison comparison)) (equal-to-context ?set-1) (filter-set-prototype ?set-2 ?set-1 ?prototype) (filter-set-average ?set-3 ?set-2 ?comparison) (unique-element ?object ?set-3)) 10 10
specials • context-set-invocation (context-set context-set-id (object-name*)) e.g. (context-set obj-set-a (obj-a obj-b obj-c)) • th-object-ref (th-object object-number) e.g. (bind ?obj-5 (th-object 2)) (object-set set-7 ((th-object 2) (th-object 3))) 11 11
- Page 1 and 2: IRL course part 2 Incremental Recru
- Page 3 and 4: identifiers • regular identifiers
- Page 5 and 6: thing-invocation • object-invocat
- Page 7 and 8: constraint-invocation (constraint-i
- Page 9: composite-definition (def-composite
- Page 13 and 14: writing primitives 13
- Page 15 and 16: variable’s value status • unspe
- Page 17 and 18: abduction filter-set-average target
- Page 19 and 20: IRL internship & thesis • interns
specials<br />
• context-set-invocation<br />
(context-set context-set-id (object-name*))<br />
e.g. (context-set obj-set-a (obj-a obj-b obj-c))<br />
• th-object-ref<br />
(th-object object-number)<br />
e.g.<br />
(bind ?obj-5 (th-object 2))<br />
(object-set set-7 ((th-object 2) (th-object 3)))<br />
11<br />
11