Incremental Recruitment Language
Incremental Recruitment Language
Incremental Recruitment Language
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
IRL course part 2<br />
<strong>Incremental</strong> <strong>Recruitment</strong> <strong>Language</strong><br />
Wouter Van den Broeck Sony Computer Science Laboratory Paris<br />
1
IRL language specification<br />
2
identifiers<br />
• regular identifiers:<br />
e.g. object-23<br />
• variable identifiers:<br />
e.g. ?object-2<br />
• system generated regular identifiers:<br />
e.g. |object-53|<br />
• system generated variable identifiers:<br />
e.g. |?object-24|<br />
3<br />
3
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
thing-invocation<br />
• object-invocation<br />
(object thing-id ((fact-name fact-value)*))<br />
e.g. (object obj-b ((hpos .4) (vpos .5)))<br />
• object-set-invocation<br />
(object-set object-set-id<br />
({ thing-id | th-object-ref }*))<br />
e.g. (object-set set-7 (obj-1 obj-2 (th-object 3)))<br />
5<br />
5
thing-invocation<br />
• comparison-invocation<br />
(comparison comparison-id fact-name<br />
relation-function-name)<br />
e.g. (comparison compar-3 hpos
constraint-invocation<br />
(constraint-id variable-id*)<br />
e.g.<br />
• (equal-to-context ?set-1)<br />
• (unique-element ?obj-1 ?set-2)<br />
• (filter-set-average ?set-3 ?set-4 ?compar-1)<br />
• (filter-set-prototype ?set-5 ?set-6 ?proto-1)<br />
7<br />
7
value-binding<br />
(bind variable-id { thing-id | th-object-ref })<br />
e.g. (bind ?set-2 source-set-1)<br />
8<br />
8
composite-definition<br />
(def-composite (composite-id slot-spec*)<br />
where:<br />
constraint-invocation*))<br />
• slot-spec = (variable-id type-spec)<br />
• type-spec = { object, object-set,<br />
comparison, prototype }<br />
9<br />
9
composite-definition<br />
(def-composite (composite-id slot-spec*)<br />
constraint-invocation*))<br />
e.g.<br />
(def-composite<br />
(identify-object-12 (?object object)<br />
(?prototype prototype)<br />
(?comparison comparison))<br />
(equal-to-context ?set-1)<br />
(filter-set-prototype ?set-2 ?set-1 ?prototype)<br />
(filter-set-average ?set-3 ?set-2 ?comparison)<br />
(unique-element ?object ?set-3))<br />
10<br />
10
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
exercises<br />
do exercises in examples-1 and examples-2<br />
12<br />
12
writing primitives<br />
13
variable’s domain status<br />
• open<br />
• bound<br />
• empty<br />
14<br />
14
variable’s value status<br />
• unspecified<br />
• given (giv)<br />
• derived (der)<br />
• to-account-for (taf)<br />
15<br />
15
deduction<br />
filter-set-average<br />
target-set<br />
source-set<br />
comparison<br />
filter-set-average<br />
target-set<br />
source-set<br />
comparison<br />
16<br />
DER / GIV<br />
DER / GIV<br />
DER / GIV<br />
DER / GIV<br />
DER derived<br />
16
abduction<br />
filter-set-average<br />
target-set<br />
source-set<br />
comparison<br />
filter-set-average<br />
target-set<br />
source-set<br />
comparison<br />
17<br />
TAF<br />
TAF<br />
DER<br />
TAF<br />
derived<br />
derived<br />
17
abduction<br />
filter-set-average<br />
target-set<br />
source-set<br />
comparison<br />
filter-set-average<br />
target-set<br />
source-set<br />
comparison<br />
18<br />
DER / GIV<br />
TAF<br />
DER / GIV<br />
DER<br />
TAF<br />
derived<br />
derived<br />
18
IRL internship & thesis<br />
• internship:<br />
• help with implementation<br />
• do experiments<br />
• thesis:<br />
• e.g. optimization of algorithm,<br />
conceptualizing events, speech-acts, repair-<br />
strategies, ...<br />
• interested: talk to us!<br />
19<br />
19
to be continued<br />
• in a couple of weeks:<br />
• conceptualization of semantic programs<br />
20<br />
20