Behaviour and Reasoning Description Language (BRDL) Antonio Cerone - - PowerPoint PPT Presentation
Behaviour and Reasoning Description Language (BRDL) Antonio Cerone Department of Computer Science School of Science and Technology Nazarbayev University Nur-Sultan, Kazakhstan email: antonio.cerone@nu.edu.kz A. Cerone, Nazarbayev University
Antonio Cerone Department of Computer Science School of Science and Technology Nazarbayev University Nur-Sultan, Kazakhstan email: antonio.cerone@nu.edu.kz
CIFMA 2019, 17 September 2019
CIFMA 2019, 17 September 2019
❄
Input Channel
✻
Output Channel
CIFMA 2019, 17 September 2019
❄
Input Channel
✻
Output Channel
✛
❄
CIFMA 2019, 17 September 2019
❄
Input Channel
✻
Output Channel
✛ ❄
knowledge
“knowing what”
CIFMA 2019, 17 September 2019
❄
Input Channel
✻
Output Channel
✛ ❄
knowledge
“knowing what”
refers to human skills “knowing how”
CIFMA 2019, 17 September 2019
❄
Input Channel
✻
Output Channel
✛ ❄
knowledge
“knowing what”
refers to human skills “knowing how”
events
CIFMA 2019, 17 September 2019
❄
Input Channel
✻
Output Channel
✛ ❄
knowledge
“knowing what”
refers to human skills “knowing how”
events
facts
CIFMA 2019, 17 September 2019
❄
Input Channel
✻
Output Channel
✛ ❄
human skills
events
facts
CIFMA 2019, 17 September 2019
❄
Input Channel
✻
Output Channel
✛ ❄
human skills
events
facts semantic network
deliberate control processing
CIFMA 2019, 17 September 2019
❄
Input Channel
✻
Output Channel
✛ ❄
human skills
events
facts semantic network
deliberate control processing
does
❄
does
❍ ❍ ❍ ❍ ❨
is_a
✻
does
✟✟✟✟ ✯
has
❍❍❍❍ ❥
has
does
❄
does
❍ ❍ ❍ ❍ ❨
is_a
✻
does
✟✟✟✟ ✯
has
❍❍❍❍ ❥
has
✛
is_a
✻
works
✻
is_a
✻ is_a
✻
is_a
❍❍❍❍ ❥
does
✻
is_a
✲
is_a
✲
is_a
✛doesnt
does
❄
does
❍ ❍ ❍ ❍ ❨
is_a
✻
does
✟✟✟✟ ✯
has
❍❍❍❍ ❥
has
✛
is_a
✻
works
✻
is_a
✻
is_a
✻
is_a
❍❍❍❍ ❥
does
✻
is_a
✲
is_a
✲
is_a
✛doesnt
(knowledge domain)
does
❄
does
❍ ❍ ❍ ❍ ❨
is_a
✻
does
✟✟✟✟ ✯
has
❍❍❍❍ ❥
has
✛
is_a
✻
works
✻
is_a
✻
is_a
✻
is_a
❍❍❍❍ ❥
does
✻
is_a
✲
is_a
✲
is_a
✛doesnt
(knowledge domain)
does
❄
does
❍ ❍ ❍ ❍ ❨
is_a
✻
does
✟✟✟✟ ✯
has
❍❍❍❍ ❥
has
✛
is_a
✻
works
✻
is_a
✻
is_a
✻
is_a
❍❍❍❍ ❥
does
✻
is_a
✲
is_a
✲
is_a
✛doesnt
(knowledge domain)
✻
character
✻
character
CIFMA 2019, 17 September 2019
d1
does
❄
does
CIFMA 2019, 17 September 2019
d1
d2
does
❄
does
❍ ❍ ❍ ❍ ❨
is_a
✻
does
✟✟✟✟ ✯
has
❍❍❍❍ ❥
has
CIFMA 2019, 17 September 2019
d1
d2
d3
d4
CIFMA 2019, 17 September 2019
d1
d2
d3
d4
d5
d6
d7
d8
CIFMA 2019, 17 September 2019
d1
d2
d3
d4
d5
d6
d7
d8
d9
CIFMA 2019, 17 September 2019
domain : category |
d
= ⇒ | type(attribute)
❄
Input Channel
✻
Output Channel
✛ ❄
human skills
events
facts Example: dogs : dog |
d
= ⇒ | is_a(animal) semantic network
deliberate control processing
CIFMA 2019, 17 September 2019
domain : category |
d
= ⇒ | type(attribute)
❄
Input Channel
✻
Output Channel
✛ ❄
human skills
events
facts Example: dogs : dog |
d
= ⇒ | is_a(animal) dogs : dog |
d
= ⇒ | is_a(animal)
CIFMA 2019, 17 September 2019
domain : category |
d
= ⇒ | type(attribute) goal(domain, type?(category, attribute))
❄
Input Channel
✻
Output Channel
✛ ❄
dogs : dog |
d
= ⇒ | is_a(animal)
human skills
events
facts
CIFMA 2019, 17 September 2019
domain : category |
d
= ⇒ | type(attribute) goal(domain, type?(category, attribute))
❄
Input Channel
✻
Output Channel
✛ ❄
dogs : dog |
d
= ⇒ | is_a(animal)
human skills
events
facts
goal(dogs, is_a?(dog, animal)
CIFMA 2019, 17 September 2019
domain : category |
d
= ⇒ | type(attribute) goal(domain, type?(category, attribute))
❄
Input Channel
✻
Output Channel
✛ ❄
dogs : dog |
d
= ⇒ | is_a(animal)
human skills
events
facts
goal(dogs, is_a?(dog, animal)
✲
pattern matching
✛
CIFMA 2019, 17 September 2019
domain : category |
d
= ⇒ | type(attribute) goal(domain, type?(category, attribute))
❄
Input Channel
✻
Output Channel
✛ ❄
dogs : dog |
d
= ⇒ | is_a(animal)
human skills
events
facts
is_a(dog, animal)
✲
after time d (mental processing delay)
CIFMA 2019, 17 September 2019
domain : category |
d
= ⇒ | type(attribute) goal(domain, type?(category, attribute))
❄
Input Channel
✻
Output Channel
✛ ❄
dogs : dog |
d1
= ⇒ | is_a(animal) animal : animal |
d2
= ⇒ | does(breath)
human skills
events
facts
goal(dogs, does_a?(dog, breath)
CIFMA 2019, 17 September 2019
domain : category |
d
= ⇒ | type(attribute) goal(domain, type?(category, attribute))
❄
Input Channel
✻
Output Channel
✛ ❄
dogs : dog |
d1
= ⇒ | is_a(animal) animal : animal |
d2
= ⇒ | does(breath)
human skills
events
facts
goal(dogs, does_a?(dog, breath)
✲
pattern matching
✛
CIFMA 2019, 17 September 2019
domain : category |
d
= ⇒ | type(attribute) goal(domain, type?(category, attribute))
❄
Input Channel
✻
Output Channel
✛ ❄
dogs : dog |
d1
= ⇒ | is_a(animal) animal : animal |
d2
= ⇒ | does(breath)
human skills
events
facts
goal(dogs, does_a?(dog, breath)
✲
pattern matching
✛ ✛
along the is_a hierarchy matching on animal
CIFMA 2019, 17 September 2019
domain : category |
d
= ⇒ | type(attribute) goal(domain, type?(category, attribute))
❄
Input Channel
✻
Output Channel
✛ ❄
dogs : dog |
d1
= ⇒ | is_a(animal) animal : animal |
d2
= ⇒ | does(breath)
human skills
events
facts
does(dog, breath)
✲
after time d1 + d2 (mental processing delay)
does
❄
does
❍ ❍ ❍ ❍ ❨
✻
does
✟✟✟✟ ✯
has
❍❍❍❍ ❥
has
✛
is_a
✻
works
✻
is_a
✻
is_a
✻ ❍❍❍❍ ❥
does
✻
is_a
✲
is_a
✲ ✛doesnt
(knowledge domain)
is_a
is_a
is_a
does
❄
does
❍ ❍ ❍ ❍ ❨
✻
does
✟✟✟✟ ✯
has
❍❍❍❍ ❥
has
✛
is_a
✻
works
✻
is_a
✻
is_a
✻ ❍❍❍❍ ❥
does
✻
is_a
✲
is_a
✲ ✛doesnt
(knowledge domain)
is_a
is_a
is_a
CIFMA 2019, 17 September 2019
in fer(domain) : prem |
d
= ⇒ | conseq
❄ ✻
✛ ❄
in fer(domain) : prem |
d
= ⇒ | conseq
human skills
events
facts
in fer(domain) prem . . .
CIFMA 2019, 17 September 2019
in fer(domain) : prem |
d
= ⇒ | conseq
❄ ✻
✛ ❄
in fer(domain) : prem |
d
= ⇒ | conseq
human skills
events
facts
conseq prem . . .
CIFMA 2019, 17 September 2019
in fer(dr) : {zebra, ped} |
d
= ⇒ | goal(dr, {gw}) Example: Give way to pedestrians who are ready to walk across a zebra crossing
❄ ✻
✛ ❄
in fer(dr) : {zebra, ped} |
d
= ⇒ | goal(dr, {gw)}
human skills
events
facts
in fer(dr) {zebra, ped} . . .
CIFMA 2019, 17 September 2019
in fer(dr) : {zebra, ped} |
d
= ⇒ | goal(dr, {gw}) Example: Give way to pedestrians who are ready to walk across a zebra crossing
❄ ✻
✛ ❄
in fer(dr) : {zebra, ped} |
d
= ⇒ | goal(dr, {gw)}
human skills
events
facts
goal(dr, {gw}) zebra, ped . . .
CIFMA 2019, 17 September 2019
in fer(dr) : {zebra, ped} |
d
= ⇒ | goal(dr, {gw}) Example: Give way to pedestrians who are ready to walk across a zebra crossing
❄ ✻
✛ ❄
in fer(dr) : {zebra, ped} |
d
= ⇒ | goal(dr, {gw)}
human skills
events
facts
goal(dr, {gw}) zebra, ped . . . zebra, ped
CIFMA 2019, 17 September 2019
in fer(dr) : {zebra, ped} |
d
= ⇒ | goal(dr, {gw}) Example: Give way to pedestrians who are ready to walk across a zebra crossing
❄ ✻
✛ ❄
in fer(dr) : {zebra, ped} |
d
= ⇒ | goal(dr, {gw)}
human skills
events
facts
goal(dr, {gw}) zebra, ped . . . zebra, ped implement the rule gw
CIFMA 2019, 17 September 2019
goal : in fo1 ↑ perc
d
= ⇒ act ↓ in fo2
❄
perc
✻
✛ ❄
goal . . .
human skills
events
facts goal : in fo1 perc
d
= ⇒ act in fo2 selected in fo
✲ ✻
in fo1 . . . perc
CIFMA 2019, 17 September 2019
goal : in fo1 ↑ perc
d
= ⇒ act ↓ in fo2
❄
perc
✻
✛ ❄
goal . . .
human skills
events
facts goal : in fo1 perc
d
= ⇒ act in fo2 selected in fo
✲ ✻
after delay d (mental processing) in fo2 . . . act
CIFMA 2019, 17 September 2019
❄
perc
✻
act
✛ ❄
goal(dom, in fo) . . .
human skills
events
facts goal(dom, in fo) : in fo1 ↓ perc
d
= ⇒ act ↑ in fo2 selected in fo perc
✲ ✻
goal(dom, in fo) : in fo1 ↑ perc
d
= ⇒ act ↓ in fo2 in fo = ∅ and in fo⊆{perc,act}∪ in fo2∪ in foR in fo1 ∪ in foR
CIFMA 2019, 17 September 2019
❄
perc
✻
act
✛ ❄
goal(dom, in fo) . . .
human skills
events
facts goal(dom, in fo) : in fo1 ↓ perc
d
= ⇒ act ↑ in fo2 selected in fo perc
✲ ✻
goal(dom, in fo) : in fo1 ↑ perc
d
= ⇒ act ↓ in fo2 in fo = ∅ and in fo⊆{perc,act}∪ in fo2∪ in foR in fo1 ∪ in foR
❄
CIFMA 2019, 17 September 2019
❄
perc
✻
act
✛ ❄
goal(dom, in fo) . . .
human skills
events
facts goal(dom, in fo) : in fo1 ↓ perc
d
= ⇒ act ↑ in fo2 selected in fo perc
✲ ✻
goal(dom, in fo) : in fo1 ↑ perc
d
= ⇒ act ↓ in fo2 in fo = ∅ and in fo⊆{perc,act}∪ in fo2∪ in foR in fo2 ∪ cloMod(in foR)
✲ Closure ❄ ✟ ✟ ✯
CIFMA 2019, 17 September 2019
goal(dom, in fo) : in fo1 ↑ perc
d
= ⇒ act ↓ in fo2 in fo1 ↑ perc
d
= ⇒ act ↓ in fo2
❄
perc
✻
act
✛ ❄
goal(in fo)
human skills
events in fo1 ↓ perc
d
= ⇒ act ↑ in fo2
facts goal(dom, in fo) : in fo1 ↓ perc
d
= ⇒ act ↑ in fo2 selected in fo in fo1 ∪ in foR perc
✲ ✻ ✲
Skill Acquisition Closure
❄ ✟✟ ✟ ✯ ✻ ✻
Explicit Attention Implicit Attention ✻
CIFMA 2019, 17 September 2019
goal(dr, {ped}) : zebra ↑ ped
d
= ⇒ ↓ zebra, ped, in fer(dr)
❄
ped
✻
✛ ❄
human skills
events
facts goal(dr, {ped}) : zebra | ped
d
= ⇒ ↓ ped, in fer(dr) selected in fo
✲
ped goal(dr, {ped}), zebra
✻
CIFMA 2019, 17 September 2019
goal(dr, {ped}) : zebra ↑ ped
d
= ⇒ ↓ zebra, ped, in fer(dr)
❄
ped
✻
✛ ❄
human skills
events
facts goal(dr, {ped}) : zebra | ped
d
= ⇒ ↓ ped, in fer(dr) selected in fo
✲ ✟✟✟ ✟ ✯
zebra in fer(dr), ped
CIFMA 2019, 17 September 2019
in fer(dr) : zebra, ped |
d
= ⇒ | goal(dr, {gw}) Example: Give way to pedestrians who are ready to walk across a zebra crossing
❄ ✻
✛ ❄
in fer(dr) : zebra, ped |
d
= ⇒ | goal(dr, {gw})
human skills
events
facts
zebra in fer(dr), ped
❅ ❅ ❅ ❅ ❅ ■
CIFMA 2019, 17 September 2019
in fer(dr) : zebra, ped |
d
= ⇒ | goal(dr, {gw}) Example: Give way to pedestrians who are ready to walk across a zebra crossing
❄ ✻
✛ ❄
in fer(dr) : zebra, ped |
d
= ⇒ | goal(dr, {gw})
human skills
events
facts
zebra goal(dr, {gw}), ped
✟✟✟ ✟ ✯
CIFMA 2019, 17 September 2019
goal(dr, {gw}) : ∅ ↑
d
= ⇒ stop ↓ gw Example: Give way to pedestrians who are ready to walk across a zebra crossing
❄ ✻
✛ ❄
goal(dr, {gw}) : ∅ ↓
d
= ⇒ stop ↓ gw
human skills
events
facts
zebra goal(dr, gw), ped
❅ ■
CIFMA 2019, 17 September 2019
goal(dr, {gw}) : ∅ ↑
d
= ⇒ stop ↓ gw Example: Give way to pedestrians who are ready to walk across a zebra crossing
❄ ✻
✛ ❄
goal(dr, {gw}) : ∅ ↓
d
= ⇒ stop ↓ gw
human skills
events
facts
gw, ped
✟ ✟ ✯ ✻ ❄
Closure
CIFMA 2019, 17 September 2019
CIFMA 2019, 17 September 2019
CIFMA 2019, 17 September 2019
CIFMA 2019, 17 September 2019
CIFMA 2019, 17 September 2019