Upload
taffy
View
20
Download
0
Tags:
Embed Size (px)
DESCRIPTION
An Alternative Classification of Agent Types based on BOID Conflict Resolution. Jan Broersen Mehdi Dastani Zisheng Huang Joris Hulstijn Leendert van der Torre Utrecht Universiteit Vrije Universiteit Amsterdam http://www.cs.vu.nl/~boid. Conflicts. - PowerPoint PPT Presentation
Citation preview
25-26 Oct. 2001 , BNAIC’01
1
An Alternative Classification of Agent Types based on BOID Conflict Resolution
Jan Broersen Mehdi Dastani Zisheng HuangJoris Hulstijn Leendert van der Torre
Utrecht UniversiteitVrije Universiteit Amsterdam
http://www.cs.vu.nl/~boid
25-26 Oct. 2001 , BNAIC’01
2
Conflicts• Internal conflicts, e.g. between two desires
• External conflicts, e.g.:– if you go to Amsterdam, then you believe that there are
no cheap rooms close to the conference site– if you go to Amsterdam, then you are obliged to take a
cheap room– if you go to Amsterdam, then you desire to stay close to
the conference site– you intend to go to Amsterdam
• Agent type based on conflicts resolution
25-26 Oct. 2001 , BNAIC’01
3
Layout of this Talk
• BOID architecture
• Conflicts and agent types
• Agent architectures and agent types
• Mapping agent types to agent architectures
• Examples
• Conclusion
25-26 Oct. 2001 , BNAIC’01
4
BDI (e.g. R&G and C&L)
• Internal conflicts: axiomatizating each attitude– KD45 for beliefs; KD for desires and intentions
• External conflicts: axiomatizating relations between attitudes– Static: realism Inta() Bela() – Dynamic: commitment strategies
A(Inta(A) U(Bela() Bela(E)))
25-26 Oct. 2001 , BNAIC’01
5
BDP (Thomason 2000)
• Beliefs and desires are (Reiter) defaults– Internal conflicts are possible
– { T p , T p } leads to multiple extensions
– In contrast to BDI: no modalities
• Wishful thinking:– { T rain , rain wet , T wet}
25-26 Oct. 2001 , BNAIC’01
6
BOID architecture
Interpreter (Reasoner)
Obligations
Beliefs Desires
Intentions
Sensor
Effectors
Goal selection
Planning
25-26 Oct. 2001 , BNAIC’01
7
Conflicts and Agent Types
• Realistic agent: beliefs override others
• Social agent: obligations override desires
• Selfish agent: desires override obligations
• Simple-minded agent: intentions override
obligations and desires (stable)
• Open-minded agent: desires and obligations override intentions
25-26 Oct. 2001 , BNAIC’01
8
B I O DObs.Goals
Social Simple Minded Agent Specialized Architecture 1
( rb ) < ( ri ) < ( ro ) < ( rd )
25-26 Oct. 2001 , BNAIC’01
9
BI
OD
Super Selfish AgentSpecialized Architecture 2
( rb ) < ( rd ) < ( ri )
&( rb ) < ( rd ) < ( ro )
Obs. Goals
25-26 Oct. 2001 , BNAIC’01
10
B<OB<IB<DI<D
B<OB<IB<DO<D
B<OB<IB<DI<O
B<OB<IB<DO<I
B<OB<IB<DD<O
B<OB<IB<DD<I
B<OB<IB<DI<DI<O
B<OB<IB<DO<DI<D
B<OB<IB<DO<IO<D
B<OB<IB<DI<OD<O
B<OB<IB<DD<ID<O
B<OB<IB<DO<ID<I
B<OB<IB<DI<DI<OO<D
B<OB<IB<DO<IO<DI<D
B<OB<IB<DI<DI<OD<O
B<OB<IB<DO<IO<DD<I
B<OB<IB<DD<ID<OI<O
B<OB<IB<DD<OD<IO<I
B<O , B<I , B<D
BO
ID
BIO
D
BID
O
BO
DI
BD
IO
BD
OI
BX
XI
BD
XX
BX
XO
BO
XX
BX
XD
BIX
X
25-26 Oct. 2001 , BNAIC’01
11
O
D
Realistic AgentGeneral Architecture
Obs.B
I
Goals
25-26 Oct. 2001 , BNAIC’01
12
a r c
a c r T a
a r
a c
Example 1Social Simple-minded Agent
a = going to Amsterdamr = cheap room c = close to conference site
BO
I
D
25-26 Oct. 2001 , BNAIC’01
13
a r c
a c r T a
a r
a c
Step 1Social Simple-minded Agent
a = going to Amsterdamr = cheap room c = close to conference site
BO
I
D
25-26 Oct. 2001 , BNAIC’01
14
a r c
a c r T a
a r
a c
a = going to Amsterdamr = cheap room c = close to conference site
{a}
BO
I
D
Step 2Social Simple-minded Agent
25-26 Oct. 2001 , BNAIC’01
15
T a
a r
a c
a = going to Amsterdamr = cheap room c = close to conference site
{a}
{a}a r c
a c r
BO
I
D
Step 3Social Simple-minded Agent
25-26 Oct. 2001 , BNAIC’01
16
T a
a r
a c
a = going to Amsterdamr = cheap room c = close to conference site
{a}a r c
a c r
{a,r}BO
I
D
Step 4Social Simple-minded Agent
25-26 Oct. 2001 , BNAIC’01
17
T a
a r
a c
a = going to Amsterdamr = cheap room c = close to conference site
a r c
a c r
{a,r}
{a,r,c}
BO
I
D
Step 5Social Simple-minded Agent
25-26 Oct. 2001 , BNAIC’01
18
T a
a r
a c
a = going to Amsterdamr = cheap room c = close to conference site
a r c
a c r
{a,r,c}
{a,r,c}
BO
I
D
Step 6Social Simple-minded Agent
25-26 Oct. 2001 , BNAIC’01
19
T a
a r
a c
a = going to Amsterdamr = cheap room c = close to conference site
a r c
a c r
{a,r,c}
{a,r,c}
BO
I
D
Step 7Social Simple-minded Agent
25-26 Oct. 2001 , BNAIC’01
20
T a
a r
a c
Example 2Selfish Simple-minded Agent
a = going to Amsterdamr = cheap room c = close to conference site
a r c
a c r
{a,r,c}
BO
I
D
25-26 Oct. 2001 , BNAIC’01
21
Conclusion• Benchmark examples for agent types• Norm, Conflicts, Agent types, Architectures• Small gap between architecture, logic and
implementation by mapping conflicts into agent architecture
Future Research• Extending architecture: planning and scheduling• Updating BOID rules• BOID verification and implementation
http://www.cs.vu.nl/~boid