sif8072 distributed artificial intelligence and intelligent agents 20 february 2003 lecture 6:...
DESCRIPTION
3 References - Curriculum Wooldridge: ”Introduction to MAS”, –Chapter 12 Not in curriculum: –M. J. Wooldridge, N. R. Jennings. Intelligent Agents: Theory and Practice Knowledge Engineering Review, 1995, (Section 2).TRANSCRIPT
![Page 1: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/1.jpg)
SIF8072 Distributed Artificial Intelligence
andIntelligent Agents
http://www.idi.ntnu.no/~agent/20 February 2003
Lecture 6: Agent Theory
Lecturer: Sobah Abbas PetersenEmail: [email protected]
![Page 2: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/2.jpg)
2
Lecture Outline
1. Why agent theory?
2. Agents as intentional systems
3. Foundations of formal logic
4. Introduction to modal logic
5. Logic of knowledge
6. Examples of agent theory amd models
![Page 3: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/3.jpg)
3
References - Curriculum
• Wooldridge: ”Introduction to MAS”,
– Chapter 12
• Not in curriculum:– M. J. Wooldridge, N. R. Jennings. Intelligent Agents: Theory and
Practice Knowledge Engineering Review, 1995, (Section 2).
![Page 4: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/4.jpg)
4
Why Thoery?
• Formal theory have (arguably) had little impact on the general practice
of software development. Why should they be relevant in agent-based
systems?
Answer: we need to be able to give a semantics to the architecture,
languages and tools that we use – literally a meaning.
• Without a semantics, it is never clear exactly what is happenng and
why it works.
• End users (e.g. programmers) need never read or understand these
semantics.
• We need a theory to reach any kind of profound understanding of these
tools.
![Page 5: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/5.jpg)
5
Use of Formalisms
• Formalisation of agents have been used for 2 distinct
purposes:
1. As internal specification language to be used by the agent in
its reasoning or action.
2. As external metalanguage to be used by the designer to
specify, design and verify certain behavioural properties of
agents situated in a dynamic environment.
Ref: Singh et. al., 1999
![Page 6: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/6.jpg)
6
What is Agent Theory?
• Agent theory gives:
– An overview of the ways in which an agent is conceptualised.
– Semantics to the architecture, language and tools.
• An agent model is needed to develop a theory of agents.
– e.g: Intentional systems - agent’s behavior is explained in terms of
attitudes such as believing and wanting.
• Two main issues: semantic and syntactic.
![Page 7: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/7.jpg)
7
Study of Knowledge 1
1. What do we know?
2. What can we know?
3. What does it mean to say someone knows something?
4. What does an agent need to know in order to perform an action?
5. How does an agent know whether it knows enough to perform an
action?
6. At what point does an economic agent know enough to stop
gathering information and make a decision?
![Page 8: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/8.jpg)
8
• Individual Perspective
• Group Perspective
– True facts about the world
– Knowledge of other agents in the group
– Everyone knows, everyone knows that everyone knows ...
– Distributed Knowledge
Study of Knowledge 2
![Page 9: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/9.jpg)
9
Where do theorists start from?
The notion of an agent as an intentional system.
• So, agent theorists start with the strong view of agents as
intentional systems: one whose simplest consistent
description requires the intentional stance.
Agents as Intentional Systems
![Page 10: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/10.jpg)
10
• We want to be able to design and build computer
systems in terms of mentalistic notions.
• Before we can do this, we need to identify a manageable
subset of these attitudes and a model of how they
interact to generate system behaviour.
So first, which attitutes?
Thoeries of Attitudes 1
![Page 11: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/11.jpg)
11
• Two categories:
– information attitudes
– pro-attitudes
Thoeries of Attitudes 2
beliefknowledge
desireintentionobligationcommitmentchoice…..
![Page 12: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/12.jpg)
12
• How do we formalise attitudes?
• Consider…
Janine believes Cronos is father of Zeus
• Naive translation into first-order logic:
Bel(Janine, Father(Zeus,Cronos)
– Father(Zeus, Cronos) is a formula of first-order logic and not a
term
Need to be able to apply ”Bel” to formulae
Formalising Attitudes 1
![Page 13: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/13.jpg)
13
• Allows us to substitute terms with the same denomination:
– Consider (Zeus = Jupiter)
Bel(Janine, Father(Jupiter,Cronos)
– But believing that father of Zeus is Cronos is not the same as
believing that father of Zeus is Jupiter.
Intentional systems are referentially opaque
– Standard substitution rules of first-order logic do not apply.
• (intentional notions are not truth functional)
Formalising Attitudes 2
![Page 14: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/14.jpg)
14
• There are 2 sorts of problems to be addressed in
developing a logical formalism for intentional notions:
1. Syntactic
2. Semantic
• Thus, any formalism can be characterised in terms of
two attributes: its language of fomulation and semantic
model.
Formalising Attitudes 3
![Page 15: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/15.jpg)
15
• Two fundamental approaches to the syntactic problem:
1. Use a modal language, which contains modal operators, which are
applied to formulae;
2. Use a meta-language: a first-order language containing terms that
denote formulae of some other object language.
• Two basic approaches to the semantic problem:
1. Possible worlds semantics
2. Interpreted symbol structures
We will focus on the possible world semantics and modal logic.
Formalising Attitudes 4
![Page 16: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/16.jpg)
16
Foundations of Formal Logic 1
• A formal logic is a game for producing symbolic objects according to given rules.
• Syntax: Alphabet:– Variables (X, Y, ..)
– Constants (a, abc, 15, ...)
– Functors (f/n)
– Predicate symbols (p, q, ..)
– Logical Connectivities (, , , , )
– Quantifiers (, )
– Auxiliary symbols
![Page 17: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/17.jpg)
17
Foundations of Formal Logic 2
• Terms:
– any constant in T is in A
– any variable in T is in A
– if f is an n-ary functor in A and t1..tn T,
then f(t1..tn) T
![Page 18: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/18.jpg)
18
Foundations of Formal Logic 3
• Semantics of formulae:
– Negation: A is true if A is false
– Conjunction: A B is true if both A and B are true
– Disjunction: AB is true if either A or B is true
– Implication: AB is true if either A or B are true
– Universal quantifier X: A(x) is true if A is true for every X
– Existential quantifier X: A(x) is true if A is true for some X
![Page 19: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/19.jpg)
19
Foundations of Formal Logic 4
• Semantics of formulae continued:
– Propositional logic is the logic of connectives, , , ,
– Adding quantifiers give First-Order Logic, sometimes called
Predicate Calculus
– Adding quantifiers over formula variables give Higher Order Logic
• Example: Janine believes Cronos is father of Zeus can be
expressed as:
Bel(Janine, Father(Zeus,Cronos)
![Page 20: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/20.jpg)
20
Possible Worlds 1
• Intuitive Idea:
– Besides the true states of affairs, there are a number of states of
affairs, or ”worlds”.
• Each world represents one state of affairs.
An agent’s beliefs can be characterised as a set of possible worlds.
• Can be represented using modal logic.
• Advantages of this approach:
– mathematical theory is appealing.
– neutral on the subject of the cognitive structure.
![Page 21: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/21.jpg)
21
Possible Worlds 2
• Consider an agent playing a card game (e.g. poker), who possessed
the ace of spades.
• How could the agent deduce what cards were possessed by the
opponents?
• First, calculate all the various ways that the pack of cards could possibly
have been distributed among the various players.
• Then, systematically eliminate all those configurations which are not
possible, given what the agent knows. (e.g. any configuration in which the
agent did not possess the ace of spades could be rejected.)
![Page 22: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/22.jpg)
22
Possible Worlds 3
• Each configuration remaining after this is a world;
• A state of affairs considered possible, given what the agent knows.
Epistemic alternatives
• Something true in all our agent’s possibilities is believed by the agent.
• e.g. In all our agent’s epistemic alternatives, it has the ace of spades.
How can possible worlds be incorporated into the semantic framework of
logic?
![Page 23: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/23.jpg)
23
Modal Logic 1
• Modal logic was used by philosophers to
investigate different modes of truth,
– e.g. possibly true, necessarily true
• In the study of agents, it is used to give meaning
to concepts such as belief and knowledge.
![Page 24: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/24.jpg)
24
Modal Logic – 2
• Modal logic can be considered as the logical theory of necessity and
possibility
• It is essentially classical propositional logic extended by two
operators
necessity
possibility
• Examples:
– ”it is necessary that the sun rises in the east” –
sun-rises-in-the-east
– ”it is possible that it rains” - rain
![Page 25: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/25.jpg)
25
Modal Logic – 3
Syntax:
Let S = {p, q, ... } be a set of atomic propositions
• If p S then p is a formula
• If A, B are formulae, then so are A and A B
• If A is a formulae, then so are A and A
![Page 26: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/26.jpg)
26
Modal Logic 4
• Duality of operators A A
A A
• Two Basic Properties
1. K axiom schema: (AB) (A B) (K in honour of Kripke)
2. Necessitation Rule: if A is valid, then A is valid
![Page 27: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/27.jpg)
27
Modal Logic 5
• The semantics of modal logic is traditionally given in terms of
possible worlds.
– The formula A is true if A is true in every world accessible from the
current world
– The formula A is true if A is true in at least one world accessible from
the current world
• With sets of worlds as primitive, the structure of the model is
captured by relating the different worlds via a binary accessibility
relation.
![Page 28: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/28.jpg)
28
Modal Logic 6
• Formalising possible worlds (Kripke structure):
– (S, π, K1…Kn)
• S – set of possible worlds
• Π – set of formulae true at a world
• Ki – a binary accessibility relation on S (a set of pairs of
elements of S)
w1
w2
w3
P,Q
P, Q
P, Q
w1: P Q
Worlds w2 and w3 are accessible from world w1.
![Page 29: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/29.jpg)
29
Modal Logic 7
• Possible properties of accessibility relations:
– Reflexive, for all sS, we have (s,s)K
– Symmetric, for all s,tS, we have (s,t)K iff (t,s)K
– Transitive, for all s,t,uS, we have that if
(s,t)K and (t,u)K, then (s,u)K
– Serial, for all sS, there is some t such that (s,t)K
– Euclidian, for all s,t,uS, whenever
(s,t)K and (s,u)K, then (t,u)K
![Page 30: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/30.jpg)
30
Modal Logic 7
• Properties of acessibility relation are represented by axiom schemas:
– T axiom : corresponds to reflexive accessibility relation
A A
– D axiom : corresponds to serial accessibility relation
A A
– 4 axiom : corresponds to transitive accessibility relation
A A
– 5 axiom : corresponds to euclidean accessibility relation
A A
![Page 31: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/31.jpg)
31
Modal Logic 8
w1 w2
P,Q P, Q
w4
P, Q w1: P w2: P w1: P
Transitivity:
w1: P w2: P w1: P
Euclidean
w1 w2
P,Q P, Q
w4
P, Q
w5
P,Q
![Page 32: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/32.jpg)
32
Logic of knowledge 1
• The formula A is read as ”it is known that A”
or ”agent knows A”
• For group knowledge, we have an indexed set of
modal operators
• K1, .., Kn for
• K1 A is read as ”agent 1 know A”
![Page 33: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/33.jpg)
33
Logic of knowledge 2
• Some examples:
K1K2pK2K1K2p
– Agent1 knows that Agent2 knows p, but Agent2 doesn’t know
that Agent1 knows that Agent2 knows p
K1 (K2 K1K2p) K1 ( K2 K1K2p)
– Agent1 doesn’t know whether Agent2 knows that Agent1 knows
that Agent2 knows p
![Page 34: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/34.jpg)
34
Modal Logic and Knowledge and Belief 1
How well does normal modal logic serve as a logic of knowledge and belief?
• Consider the K axiom and the necessitation rule:
K axiom schema: (AB) (A B)
Necessitation Rule: if A is valid, then A is valid
• Necessitation rule: an agent knows all valid formulae, (an agent will have
an infinite number of items of knowledge).
• K axiom: agent’s knowledge is closed under logical consequence.
![Page 35: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/35.jpg)
35
• Logical omniscience problem – constituted by that of knowing
all valid formulae and that of knowledge/belief being closed
under consequence.
• Disadvantages of using possible world semantics for agents are:
• agents believe all valid formulae
• agents’ beliefs are closed under logical consequence
• equivalent propositions are identical beliefs
• if agents are inconsistent, then they believe everything.
Modal Logic and Knowledge and Belief 2
![Page 36: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/36.jpg)
36
• T axiom (Knowledge axiom) KiA A
• what is known is true
• D axiom KiA Ki A
• if i knows A then i doesn’t know A
• 4 axiom (positive introspection) KiA KiKiA
• if i knows A then i knows that it knows A
• 5 axiom (negative introspection) KiA Ki Ki A
• i is aware of what it doesn’t know
Modal Logic and Knowledge and Belief 3
![Page 37: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/37.jpg)
37
• Knowledge is often defined as true belief:
agent knows A if agent believes A and A is true.
• Axioms KTD45 are often chosen as a logic of
knowledge
• Axioms KD45 are often chosen as a logic of belief
Modal Logic and Knowledge and Belief 4
![Page 38: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/38.jpg)
38
• Systems and formalisms that give primary importance to intentions are
often referred to as BDI-architecture.
• Formalisation of intentions based on branching-time possible worlds
model.
• Crucial elements are:
– Intentions are treated on a par with beliefs and goals.
– Distinguishes between choices and the possibilities of the different outcomes
of actions.
– Interrelationship between beliefs, goals and intentions are specified.
– (Goals are chosen desires of an agent.)
BDI Architecture 1-belief, desire, intentions
![Page 39: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/39.jpg)
39
BDI Architecture 2
• Informal semantics:
• The world is modelled by using a temporal structure with a
branching time future and a single past – this is called a time tree.
• A particular time point in a particular world is a situation.
• Event types transform one time point to another.
• Primitive events are those events directly performable by the agent
and uniquely determines the next time point.
• The branches in a time tree represent the choices available to an
agent.
![Page 40: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/40.jpg)
40
belief-accessible world goal-accessible world intentions-accessible world
Example of an interrelationship: Intentions are goals that the agents have committed to attempt to realise.
BDI Architecture 5
![Page 41: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/41.jpg)
41
• Uses 2 modal operators:
– Optional: a path formula is said to be optional if, at a particular time point in a
time tree, it is true of atleast one path emanating from that point.
– Inevitable: a path formula is said to be inevitable if it is true of all paths
emanating from that point.
• Temporal operators: next, eventually, always and until.
• A combination of these modalities can be used to describe the options
available to an agent.
BDI Architecture 3
![Page 42: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/42.jpg)
42
p: it is optional that John will eventually visit London
r: it is optional that Mary will always live in Australia
q: it is inevitable that the world with eventually come to an end
s: it is inevitable that one plus one will always be two
BDI Architecture 4
s
s
rs
rs
s
ps
rs
q
q
qoptionally eventually p
optionally always r
inevitable eventually q
inevitably always s
![Page 43: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/43.jpg)
43
• Intentions: intentions are represented by a set of intention-accessible
worlds.
• These worlds are ones that an agent has committed to attempt to
realise.
• The intention-accessible worlds of an agent must be compatible with
its goal-accessible worlds.
• For each goal-accessible world w in time t, there must be an intention-
accessible sub-world of w at time t.
BDI Architecture 6
![Page 44: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/44.jpg)
44
• Per wants to have a party. He believes that Ole and
Kristin would also like a party and will help him plan
and organise it.
• Per recognises the potential for cooperation with Ole
and Kristin to organise the party.
• Let’s define Per’s beliefs about organising the party.
Let’s plan a party….
![Page 45: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/45.jpg)
45
• Per’s beliefs:
goal(Per, drinks) goal(Ole, food)
goal(Kristin, music)
bel(Per, food) bel(Per, I-can(Ole, food))
bel(Per, I-can(Kristin, music))
can(Per, music) can(Per, drinks)…….
• Ole and kristin will have similar beliefs.
Let’s plan a party….
![Page 46: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/46.jpg)
46
Summary
1. Why agent theory?
2. Agents as intentional systems
3. Foundations of formal logic
4. Introduction to modal logic
5. Logic of knowledge
6. Examples of agent theory amd models
![Page 47: SIF8072 Distributed Artificial Intelligence and Intelligent Agents 20 February 2003 Lecture 6: Agent Theory Lecturer: Sobah](https://reader036.vdocuments.net/reader036/viewer/2022062306/5a4d1b3b7f8b9ab05999eaa3/html5/thumbnails/47.jpg)
47
Next Lecture:Agent-oriented Software Engineering
Will be based on:
”Methodologies”, Chapter 10 in Wooldridge: ”Introduction to MultiAgent Systems”