Incremental Recruitment Language

IRL course part 2
Incremental Recruitment Language
Wouter Van den Broeck Sony Computer Science Laboratory Paris
1

IRL language specification
2

identifiers
• regular identifiers:
e.g. object-23
• variable identifiers:
e.g. ?object-2
• system generated regular identifiers:
e.g. |object-53|
• system generated variable identifiers:
e.g. |?object-24|
3
3

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

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

value-binding
(bind variable-id { thing-id | th-object-ref })
e.g. (bind ?set-2 source-set-1)
8
8

composite-definition
(def-composite (composite-id slot-spec*)
where:
constraint-invocation*))
• slot-spec = (variable-id type-spec)
• type-spec = { object, object-set,
comparison, prototype }
9
9

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

exercises
do exercises in examples-1 and examples-2
12
12

writing primitives
13

variable’s domain status
• open
• bound
• empty
14
14

variable’s value status
• unspecified
• given (giv)
• derived (der)
• to-account-for (taf)
15
15

deduction
filter-set-average
target-set
source-set
comparison
filter-set-average
target-set
source-set
comparison
16
DER / GIV
DER / GIV
DER / GIV
DER / GIV
DER derived
16

abduction
filter-set-average
target-set
source-set
comparison
filter-set-average
target-set
source-set
comparison
17
TAF
TAF
DER
TAF
derived
derived
17

abduction
filter-set-average
target-set
source-set
comparison
filter-set-average
target-set
source-set
comparison
18
DER / GIV
TAF
DER / GIV
DER
TAF
derived
derived
18

IRL internship & thesis
• internship:
• help with implementation
• do experiments
• thesis:
• e.g. optimization of algorithm,
conceptualizing events, speech-acts, repair-
strategies, ...
• interested: talk to us!
19
19

to be continued
• in a couple of weeks:
• conceptualization of semantic programs
20
20