Incremental Recruitment Language Wouter Van den Broeck Sony - - PowerPoint PPT Presentation

incremental recruitment language
SMART_READER_LITE
LIVE PREVIEW

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-1
SLIDE 1

Incremental Recruitment Language

Wouter Van den Broeck Sony Computer Science Laboratory Paris

IRL course part 2

1

slide-2
SLIDE 2

IRL language specification

2

slide-3
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
SLIDE 4

IRL program

irl program = list of expressions:

  • thing-invocations
  • constraint-invocations
  • value-bindings
  • composite-definitions
  • specials

4

4

slide-5
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
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
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
SLIDE 8

value-binding

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

8

8

slide-9
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
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
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
SLIDE 12

exercises

do exercises in examples-1 and examples-2

12

12

slide-13
SLIDE 13

writing primitives

13

slide-14
SLIDE 14

variable’s domain status

  • open
  • bound
  • empty

14

14

slide-15
SLIDE 15

variable’s value status

  • unspecified
  • given (giv)
  • derived (der)
  • to-account-for (taf)

15

15

slide-16
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
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
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
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
SLIDE 20

to be continued

  • in a couple of weeks:
  • conceptualization of semantic programs

20

20