Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents:...

28
Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1. Logic based agents 2. Reactive agents 3. Belief-desire-intention agents 4. Layered architectures
  • date post

    19-Dec-2015
  • Category

    Documents

  • view

    214
  • download

    1

Transcript of Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents:...

Page 1: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Concrete architectures (Section 1.4)Part II: Shabbir Ssyed

We will describe four classes of agents:1. Logic based agents

2. Reactive agents

3. Belief-desire-intention agents

4. Layered architectures

Page 2: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Reactive architectures (Section 1.4)

Subsumption architecture: Rodney Brooks

• Task accomplishing behavior.

Situation Action.

• Many behaviors can fire simultaneously.

Subsumption hierarchy: Lower layer has higher priority than higher layers.

Page 3: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Background

• Emergent behavior

• Ant colony

• Artificial life

• Intelligence without reason

• Intelligence without representation

Page 4: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Simple algorithm

1. Var fired:f(R)

2. Var selected: A

3. Begin

4. fired:={(c,a)|(c,a) R and p c}

5. for each (c,a) fired do

6. if ¬( (c’,a’) fired such that(c’,a’)<(c,a))then

7. return a

8. End-if

9. End-for

10. Function action(p:P):A

11. Return null

12. End function action

Page 5: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Robot scenario• If detect an obstacle then change direction (1.6)

• If carrying samples and at the base then drop samples (1.7)

• If carrying samples and not at base then travel upgradient (1.8)

• If detect a sample then pick sample up (1.9)

• If true then move randomly (1.10)

(1.6) < (1.7) < (1.8) < (1.9) < (1.10)

Page 6: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Modified sequence

• If carrying samples and at the base then drop samples (1.11)

• If carrying samples and not at the base then drop 2 crumbs and travel up gradient (1.12)

• If sense crumbs then pick up 1 crumb and travel down gradient (1.13)

(1.6) < (1.11) < (1.12) < (1.9) < (1.13) < (1.10)

Page 7: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Advantages & distadvantagesAdvantages:

simplicity, economy, computational tractability,

robustness against failure.

Disadvantages:1. How decision making can be done on non-local information.

2. How purely reactive agents can be designed that learn from experience.

3. Relationships between individual behaviors, environments, and overall behaviors are not understandable

4. It is harder to build agents that contain multiple layers.

Page 8: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Concrete architectures (Section 1.4)

We will describe four classes of agents:1. Logic based agents

2. Reactive agents

3. Belief-desire-intention agents

4. Layered architectures

Page 9: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Belief-Desire-Intention architecture

• Deliberation: what goals we want to achieve.

• Means-ends reasoning/analysis: how are we going to achieve these goals.

If(conditions)

Then{statements};

Else{statements};

Page 10: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Roles of Intentions

• Intentions drive means-ends reasoning

• Intentions constrain future deliberation.

• Intentions persist.

• Intentions influence beliefs upon which future practical reasoning is based.

Page 11: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Tradeoff between degree of commitment

and reconsideration Rate of change of world: If is

1. low bold agents outperform cautious agents.

2. high cautious agents outperform bold agents.

Different environments require different types of decision strategies.

Page 12: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

BDI Architecture

Page 13: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Functions

• Options: (Bel)* (Int) (Des)

• Filter: (Bel)* (Int)* (Des) (Int)

• Execute: (Int)A

• Action:PA

Current intentions are either previously held intentions or newly adopted options

Page 14: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Concrete architectures (Section 1.4)

We will describe four classes of agents:1. Logic based agents

2. Reactive agents

3. Belief-desire-intention agents

4. Layered architectures

Page 15: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Layered architecture

• Horizontal layering

• Vertical layering:1. One pass control

2. Two pass control.

• Examples:– Touring machines (Horizotal arch.)– InteRRaP (Vertical layered two pass arch.)

Page 16: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Turing MachinesInnes Ferguson

Page 17: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

LayersReactive :

• Reactive layer provides more or less immediate response to changes that occur in environment.

• Implemented as set of situation—action rules; like subsumption.

• These rules map sensor I/p directly to effector o/p.

• Makes reference to agents current state.

• Cannot do explicit reasoning about the world.

Planning:

• Does not generate plans from scratch; employs library of plans called skeletons.

Modelling:

• Represents various entities in the worlds.

• Predicts conflicts between agents and generates new goals to resolve the conflicts

Page 18: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

IntRRaP Joerg Mueller

Page 19: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Properties of Layers

• Situation recognition: maps KB and current goals to a new set of goals

• Goal activation: selects which plans to execute, based on the current plans, goals, and KB of that layer

• Bottom up activation

• Top down execution

Page 20: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Difference between TM & InteRRaP

• KB is in InteRRaP; not in TM.

• In TM: each layer directly coupled with I/p and o/p;

so a control layer is necessary.

In InteRRaPP: layers interact with each other.

Page 21: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Layered vs. unlayered architecture

• Layered architecture lacks the conceptual and semantic clarity of unlayered architecture (e.g., logic-based)

• But remains the most popular; because layering represents decomposition of functionality

Page 22: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Agent Programming Languages (Section 1.5)

1. Agent0 Agent-oriented programming [Yoav Shoham, 1990]

2. Concurrent METATEM Logic formulae [Michael Fisher, 1994]

Page 23: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Agent0: language components

1. set of initial capabilities,

2. Set of initial beliefs,

3. Set of initial commitments (intentions)

4. Set of commitment rules

Page 24: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Agent0: commitment rules

A commitment rule has:1. Message condition 2. Mental condition 3. Action

Rule fires when:1. Message condition matches against messages

received by agent and2. Mental condition matches against beliefs held by

agent

Action can be private or communicative

Page 25: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Flow control in Agent0

Page 26: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Concurrent METATEM

• Each agent is programmed by giving a temporal logic specification.

• Agents specification is executed directly to generate its behaviour.

• Pi Fi. Is a rule. Each rule is continuously matched against an internal recorded history, if matched rule fires.

• If rule fires then commitment is updated to future time part.

• Example: Agent X asks Resource Controller(RC) for resource; and RC gives X the resource, after mutual exclusion is performed.

Page 27: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

Conclusions

Goal of Introduction – What is an agent– Why this is an important area for building

flexible autonomous systems

Goal of research activities– Theory, design, construction and

implementation of intelligent agents

Page 28: Concrete architectures (Section 1.4) Part II: Shabbir Ssyed We will describe four classes of agents: 1.Logic based agents 2.Reactive agents 3.Belief-desire-intention.

THANK YOU for your attention

Let’s start the discussion!