SLIDE 1
Incremental Recruitment Language
Wouter Van den Broeck Sony Computer Science Laboratory Paris
IRL course part 2
1
IRL language specification
2
Incremental Recruitment Language Wouter Van den Broeck Sony - - PowerPoint PPT Presentation
Incremental Recruitment Language Wouter Van den Broeck Sony - - PowerPoint PPT Presentation
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
SLIDE 2
SLIDE 3
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
SLIDE 4
IRL program
irl program = list of expressions:
- thing-invocations
- constraint-invocations
- value-bindings
- composite-definitions
- specials
4
4
SLIDE 5
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
SLIDE 6
thing-invocation
- comparison-invocation
(comparison comparison-id fact-name relation-function-name) e.g. (comparison compar-3 hpos <)
- prototype-invocation
(prototype prototype-id (fact-specification*)) e.g. (prototype proto-a ((brightness .92)))
6
6
SLIDE 7
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
SLIDE 8
value-binding
(bind variable-id { thing-id | th-object-ref }) e.g. (bind ?set-2 source-set-1)
8
8
SLIDE 9
composite-definition
(def-composite (composite-id slot-spec*) constraint-invocation*)) where:
- slot-spec = (variable-id type-spec)
- type-spec = { object, object-set,
comparison, prototype }
9
9
SLIDE 10
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
SLIDE 11
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
SLIDE 12
exercises
do exercises in examples-1 and examples-2
12
12
SLIDE 13
writing primitives
13
SLIDE 14
variable’s domain status
- open
- bound
- empty
14
14
SLIDE 15
variable’s value status
- unspecified
- given (giv)
- derived (der)
- to-account-for (taf)
15
15
SLIDE 16
deduction
16
filter-set-average source-set target-set comparison DER / GIV DER / GIV DER / GIV DER / GIV DER derived filter-set-average source-set target-set comparison
16
SLIDE 17
abduction
17
filter-set-average source-set target-set comparison TAF TAF DER TAF derived filter-set-average source-set target-set comparison derived
17
SLIDE 18
abduction
18
filter-set-average source-set target-set comparison DER / GIV TAF DER / GIV DER TAF derived filter-set-average source-set target-set comparison derived
18
SLIDE 19
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
SLIDE 20
to be continued
- in a couple of weeks:
- conceptualization of semantic programs
20
20