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 <) • prototype-invocation ( prototype prototype-id (fact-specification*)) e.g. (prototype proto-a ((brightness .92))) 6 6
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*) constraint-invocation*)) where: • 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 DER / GIV source-set DER / GIV comparison filter-set-average target-set DER / GIV source-set DER / GIV comparison DER derived 16 16
abduction filter-set-average target-set source-set TAF comparison filter-set-average target-set TAF derived source-set DER derived comparison TAF 17 17
abduction filter-set-average target-set DER / GIV source-set TAF comparison filter-set-average target-set DER / GIV derived source-set DER derived comparison TAF 18 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
Recommend
More recommend