The AORTA Architecture Integrating Organizational Reasoning in Jason - - PowerPoint PPT Presentation

▶
the aorta architecture
SMART_READER_LITE
LIVE PREVIEW

The AORTA Architecture Integrating Organizational Reasoning in Jason - - PowerPoint PPT Presentation

Dec 10, 2022 139 likes •694 views

The AORTA Architecture Integrating Organizational Reasoning in Jason Andreas Schmidt Jensen 1 , Virginia Dignum 2 and Jrgen Villadsen 1 1 Technical University of Denmark 2 Delft University of Technology Engineering Multi-Agent Systems

slide-1
SLIDE 1

The AORTA Architecture


Integrating Organizational Reasoning in Jason

Andreas Schmidt Jensen1, Virginia Dignum2 and Jørgen Villadsen1



 1 Technical University of Denmark 2 Delft University of Technology

Engineering Multi-Agent Systems @ AAMAS2014 May 5, 2014

slide-2
SLIDE 2

Motivation

  • Programming organization-aware agents
  • Integration
  • Agent platforms
  • Organizational models
  • Should allow focus on agent programming
  • Reusability - across platforms and models
  • Automation
slide-3
SLIDE 3
  • Regulates agents in a society
  • Abstract description of expectations
  • Examples include Moise+ and OperA
  • AORTA uses a meta-model based on roles and
  • bjectives

Organizations in MAS

slide-4
SLIDE 4

AORTA: Adding Organizational Reasoning to Agents

  • Provides agents with organizational reasoning

capabilities

  • Not tied to specific organizational model
  • Formalized using structural operational semantics
  • Each agent has an AORTA program with reasoning

rules

slide-5
SLIDE 5

Agent Organization

slide-6
SLIDE 6

Agent Organization AORTA

slide-7
SLIDE 7

Mailbox Beliefs Desires Intentions

BDI agent

slide-8
SLIDE 8

AORTA reasoning component

Mailbox Beliefs Desires Intentions

BDI agent

slide-9
SLIDE 9

Organizational beliefs

AORTA reasoning component

Mailbox Beliefs Desires Intentions

BDI agent

slide-10
SLIDE 10

Organizational beliefs Options

AORTA reasoning component

Mailbox Beliefs Desires Intentions

BDI agent

slide-11
SLIDE 11

Organizational beliefs Options Actions

AORTA reasoning component

Mailbox Beliefs Desires Intentions

BDI agent

slide-12
SLIDE 12

Organizational beliefs Options Actions

AORTA reasoning component

Mailbox Beliefs Desires Intentions

BDI agent

slide-13
SLIDE 13

Organizational beliefs Options Actions

AORTA reasoning component

Mailbox Beliefs Desires Intentions

BDI agent

slide-14
SLIDE 14

Organizational beliefs Options Coordination Actions

AORTA reasoning component

Mailbox Beliefs Desires Intentions

BDI agent

slide-15
SLIDE 15

Organizational beliefs Options Coordination Actions

AORTA reasoning component

Mailbox Beliefs Desires Intentions

BDI agent

slide-16
SLIDE 16

Organizational beliefs Options Coordination Actions

AORTA reasoning component

Mailbox Beliefs Desires Intentions

BDI agent

slide-17
SLIDE 17

medic

  • fficer

stop fight save injured remove blocking fans

slide-18
SLIDE 18

Bob

Organization Options Beliefs Goals

slide-19
SLIDE 19

Bob

rea(bob, officer) rea(bob, medic)

Organization Options Beliefs Goals

slide-20
SLIDE 20

Bob

rea(bob, officer) rea(bob, medic)

is(physician) Organization Options Beliefs Goals

slide-21
SLIDE 21

Bob

rea(bob, officer) rea(bob, medic)

is(physician)

  • pt(rea(bob, medic)) ∧ bel(is(physician))

= ⇒ enact(medic)

Organization Options Beliefs Goals

slide-22
SLIDE 22

Bob

Query

rea(bob, officer) rea(bob, medic)

is(physician)

  • pt(rea(bob, medic)) ∧ bel(is(physician))

= ⇒ enact(medic)

Organization Options Beliefs Goals

slide-23
SLIDE 23

Bob

Query Alter

rea(bob, officer) rea(bob, medic)

is(physician)

  • pt(rea(bob, medic)) ∧ bel(is(physician))

= ⇒ enact(medic)

Organization Options Beliefs Goals

slide-24
SLIDE 24

Mental state

  • AORTA keeps a copy of the agent’s mental state
  • Query language independent of agent platform
  • Requires synchronization
slide-25
SLIDE 25

MS MS

Organization

AORTA Jason

slide-26
SLIDE 26

MS MS

Organization

AORTA Jason

Bridge

slide-27
SLIDE 27

MS MS

Organization

AORTA Jason

commit(objective)

Bridge

slide-28
SLIDE 28

MS MS

Organization

AORTA Jason

commit(objective)

Bridge

goal(objective)

slide-29
SLIDE 29

MS MS

Organization

AORTA Jason

commit(objective)

Bridge

goal(objective)

slide-30
SLIDE 30

MS MS

Organization

AORTA Jason

commit(objective)

Bridge

goal(objective)

slide-31
SLIDE 31

MS MS

Organization

AORTA Jason

commit(objective)

Bridge

goal(objective) +!objective

slide-32
SLIDE 32

MS MS

Organization

AORTA Jason

Bridge

slide-33
SLIDE 33

MS MS

Organization

AORTA Jason

Bridge

+new_belief

slide-34
SLIDE 34

MS MS

Organization

AORTA Jason

Bridge

+new_belief

slide-35
SLIDE 35

MS MS

Organization

AORTA Jason

Bridge

+new_belief

slide-36
SLIDE 36

MS MS

Organization

AORTA Jason

Bridge

bel(new_belief) +new_belief

slide-37
SLIDE 37

+!injuredFound : room(R) & not(visited(R)) <- !visited(R). +!injuredFound <- +injuredFound.

  • +!visited(R) : in(R) <- +visited(R).

+!visited(R) : not(state(traveling)) <- goTo(R); !visited(R).

slide-38
SLIDE 38

+!injuredFound : room(R) & not(visited(R)) <- !visited(R). +!injuredFound <- +injuredFound.

  • +!visited(R) : in(R) <- +visited(R).

+!visited(R) : not(state(traveling)) <- goTo(R); !visited(R).

  • ptions {

[org(role(R,Os), rea(bob,R), member(O,Os), active(O)] => consider(objective(O)). } actions { [opt(objective(O))] => commit(O). }

slide-39
SLIDE 39

+!injuredFound : room(R) & not(visited(R)) <- !visited(R). +!injuredFound <- +injuredFound.

  • +!visited(R) : in(R) <- +visited(R).

+!visited(R) : not(state(traveling)) <- goTo(R); !visited(R).

  • ptions {

[org(role(R,Os), rea(bob,R), member(O,Os), active(O)] => consider(objective(O)). } actions { [opt(objective(O))] => commit(O). }

Bob has already enacted the medic role.

slide-40
SLIDE 40

AORTA Jason

commit(injuredFound)

slide-41
SLIDE 41

AORTA Jason

commit(injuredFound) goal(injuredFound)

slide-42
SLIDE 42

AORTA Jason

commit(injuredFound) goal(injuredFound) +!injuredFound

slide-43
SLIDE 43

AORTA Jason

commit(injuredFound) goal(injuredFound) +!injuredFound +!visited(room1)

slide-44
SLIDE 44

AORTA Jason

commit(injuredFound) goal(injuredFound) +!injuredFound goal(visited(room1)) +!visited(room1)

slide-45
SLIDE 45

AORTA Jason

commit(injuredFound) goal(injuredFound) +!injuredFound goal(visited(room1)) +!visited(room1) +visited(room1)

slide-46
SLIDE 46

AORTA Jason

commit(injuredFound) goal(injuredFound) +!injuredFound goal(visited(room1)) +!visited(room1) +visited(room1) bel(visited(room1)) not(goal(visited(room1))) not(goal(injuredFound))

slide-47
SLIDE 47

AORTA Jason

commit(injuredFound) commit(injuredFound) goal(injuredFound) +!injuredFound goal(visited(room1)) +!visited(room1) +visited(room1) bel(visited(room1)) not(goal(visited(room1))) not(goal(injuredFound))

slide-48
SLIDE 48

AORTA Jason

commit(injuredFound) commit(injuredFound) goal(injuredFound) goal(injuredFound) +!injuredFound goal(visited(room1)) +!visited(room1) +visited(room1) bel(visited(room1)) not(goal(visited(room1))) not(goal(injuredFound))

slide-49
SLIDE 49

AORTA Jason

commit(injuredFound) commit(injuredFound) goal(injuredFound) goal(injuredFound) +!injuredFound goal(visited(room1)) +!visited(room1) +visited(room1) bel(visited(room1)) not(goal(visited(room1))) not(goal(injuredFound)) +!injuredFound

slide-50
SLIDE 50

AORTA Jason

commit(injuredFound) commit(injuredFound) goal(injuredFound) goal(injuredFound) +!injuredFound goal(visited(room1)) +!visited(room1) +visited(room1) bel(visited(room1)) not(goal(visited(room1))) not(goal(injuredFound)) +injuredFound +!injuredFound

slide-51
SLIDE 51

AORTA Jason

commit(injuredFound) commit(injuredFound) goal(injuredFound) goal(injuredFound) +!injuredFound goal(visited(room1)) +!visited(room1) +visited(room1) bel(visited(room1)) not(goal(visited(room1))) not(goal(injuredFound)) +injuredFound +!injuredFound bel(injuredFound)

slide-52
SLIDE 52

Conclusion

  • Organizational reasoning capabilities
  • Integrated with BDI agents
  • Independent from organization
  • Integrated into the Jason platform
  • Decentralized organization
slide-53
SLIDE 53

Future work

  • Integration with other platforms
  • Support for norms
  • Centralization of certain aspects
  • Shared organization component
  • Inspired by artifacts
slide-54
SLIDE 54

Thank you