Incremental Recruitment Language
Incremental Recruitment Language Incremental Recruitment Language
IRL program irl program = list of expressions: • thing-invocations • constraint-invocations • value-bindings • composite-definitions • specials 4 4
thing-invocation • object-invocation (object thing-id ((fact-name fact-value)*)) e.g. (object obj-b ((hpos .4) (vpos .5))) • object-set-invocation (object-set object-set-id ({ thing-id | th-object-ref }*)) e.g. (object-set set-7 (obj-1 obj-2 (th-object 3))) 5 5
- Page 1 and 2: IRL course part 2 Incremental Recru
- Page 3: identifiers • regular identifiers
- Page 7 and 8: constraint-invocation (constraint-i
- Page 9 and 10: composite-definition (def-composite
- Page 11 and 12: specials • context-set-invocation
- 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
IRL program<br />
irl program = list of expressions:<br />
• thing-invocations<br />
• constraint-invocations<br />
• value-bindings<br />
• composite-definitions<br />
• specials<br />
4<br />
4
Change language