Incremental Recruitment Language

ePAPER READ

DOWNLOAD ePAPER

arti.vub.ac.be

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

START NOW

thing-invocation<br />

• comparison-invocation<br />

(comparison comparison-id fact-name<br />

relation-function-name)<br />

e.g. (comparison compar-3 hpos

thing-invocation • comparison-invocation (comparison comparison-id fact-name relation-function-name) e.g. (comparison compar-3 hpos

constraint-invocation (constraint-id variable-id*) e.g. • (equal-to-context ?set-1) • (unique-element ?obj-1 ?set-2) • (filter-set-average ?set-3 ?set-4 ?compar-1) • (filter-set-prototype ?set-5 ?set-6 ?proto-1) 7 7

Page 1 and 2: IRL course part 2 Incremental Recru
Page 3 and 4: identifiers • regular identifiers
Page 5: thing-invocation • object-invocat
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

Incremental Recruitment Language

Create successful ePaper yourself

Delete template?

Save as template?