Knowledge rationality action
This presentation is the property of its rightful owner.
Sponsored Links
1 / 38

Knowledge, Rationality, & Action PowerPoint PPT Presentation


  • 68 Views
  • Uploaded on
  • Presentation posted in: General

Knowledge, Rationality, & Action. Courtesy of Prof. Wiebe van der Hoek Computer Science The University of Liverpool United Kingdom.

Download Presentation

Knowledge, Rationality, & Action

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Knowledge rationality action

Knowledge, Rationality, & Action

Courtesy of Prof. Wiebe van der Hoek

Computer Science

The University of Liverpool

United Kingdom


Agents paradigm

``..eventually, when you put enough feelingless calculations together in a huge coordinated organization, you’ll get something that has properties on another level. You can see it .... as a system of tendencies and desires and beliefs and so on’’

Hofstadter, 1981,

Scientific American

Agents’ Paradigm


Sense plan act cycle agents

sense

sense

act

act

goal

info

sense

act

sense-plan-act cycle (Agents)

plan


Sense plan act cycle mas

sense

sense

act

act

goal

info

sense

act

sense-plan-act cycle (MAS)

plan


Rationality

Rationality

A

B

B

A

A

A

1

4

$4

$3

$1

$5

$2

$4

$7

$3

$6

$5

$1 for A

$6 for B


Rationality1

Rationality

A

B

B

A

A

A

1

4

4

3

1

5

2

4

7

3

6

5

$1 for A

$6 for B


Rationality2

Rationality

A

B

B

A

A

A

1

4

4

3

1

5

2

4

7

3

6

5

$1 for A

$6 for B


Rationality3

Rationality

A

B

B

A

A

A

1

4

4

3

1

5

2

4

7

3

6

5

$1 for A

$6 for B


Rationality4

Rationality

A

B

B

A

A

A

1

4

4

3

1

5

2

4

7

3

6

5

$1 for A

$6 for B


Rationality5

Rationality

A

B

B

A

A

A

1

4

4

3

1

5

2

4

7

3

6

5

$1 for A

$6 for B


Rationality6

Rationality

A

B

B

A

A

A

1

4

4

3

1

5

2

4

7

3

6

5

$1 for A

$6 for B


E pistemic l ogic relies on 4 axioms

K(f y)  (Kf  Ky)

agents reason logically

Kf  f

veridicality

Kf  KKf

positive introspection

¬Kf  K¬Kf

negative introspection

Epistemic Logic Relies on 4 Axioms


Knowledge rationality action

Multiagent Knowledge

KAm: A knows m

A sends m to B

KAm ?

KBm ? Em ?

KAKB m?

KBKAKB m? KAKBKAKB m, ..., Cm?


Knowledge

Knowledge

: Monica and Chandler are ...

¬: they are just friends


Nested knowledge

Nested Knowledge

Post:

Kc, Km, Kj

E{cmj} , E{cmj}E{cmj} 

E{cmj} (¬Kr & ¬Kp &¬Kro)

Goal{m,c}(¬Kr & ¬Kp &¬Kro)

Goalj(Kr & Kp &Kro)


Rachel finds out

Rachel Finds Out …

  • Pre:

  • Kj, ¬Kr, Br

  • ¬KjKr, ¬Kj ¬Kr


Rachel found out

Rachel Found Out 

  • Pre:

  • Kj, ¬Kr, Br

  • ¬KjKr, ¬Kj ¬Kr

  • Post:

  • Kj, Kr,

  • KjKr, KrKj,

  • E{j,r}, E{j,r} E{j,r} 


Phoebe found out

Phoebe Found Out 

  • Pre:

  • Kj, Km, Kp, Kr

  • E{j,r,p},

  • ¬E{j,r,p}E{j,r,p}

Let us call this team the Friends team (r, p, and j)

and let {c, m, and j } be the Lovers team: ¬EFEF


Phoebe found out1

Phoebe Found Out 

  • Pre:

  • Kj, Km, Kp, Kr, Kc

  • EF,

  • ¬EFEF

  • Post:

  • EFEF

  • ¬KmEF, ¬KcEF

  • ¬ELEF, Goalp ¬ELEF, Goalj ELEF

    (Phoebe tries to seduce Chandler)


M and c learn e f

m and c Learn EF

  • Post:

  • EFEF

  • ¬KmEF, ¬KcEF

  • ¬ELEF

    (Chandler tells Monica about the attempted seduction)


M and c learn e f1

m and c Learn EF

  • Pre:

  • EFEF

  • ¬KmEF, ¬KcEF

  • ¬ELEF

  • Post:

  • KmEF, KcEF

  • EL EF

  • ¬EF EL EF


P and r learn e l e f

p and r Learn EL EF

  • Pre:

  • KmEF, KcEF

  • EL EF

  • ¬EF EL EF, BF EL EF


P and r learn e l e f1

p and r learn EL EF

  • Pre:

  • KmEF, KcEF

  • EL EF

  • ¬EF EL EF, BF EL EF

  • Post:

  • EF EL EF

  • ¬E LEFELEF


E friends happy

E (Friends) Happy?


Common knowledge

Common Knowledge

  • Ej: Everybody knows j

  • Ej  EEj

  • Cj: it is Common Knowledge that j

  • idea: Cj = Ej & EEj & EEEj & EEEEj & …..

  • so: ¬Cj if somebody

    • considers it possible that

      • somebody considers it possible thatsomebody considers it possible that…………. j does not hold


Enemies

Enemies

“The message is, that

There are known knowns, there are things we know that we know.

There are known unknowns, that is to say, there are things that we now know, we don’t know.

But there are also unknown unknowns—there are things we do not know we don’t know.

And each year, we discover a few more of those unknown unknowns.’’ Play


Foot in mouth award

Foot in Mouth Award

  • “Despite Mr. Rumsfeld’s rather outlandish mode of speaking, fans of the though-talking US defence secretary argue he is misunderstood.”


Knowledge rationality action1

Knowledge, Rationality, Action

  • Knowledge

    • about world, other’s knowledge, & rationality

    • uncertainty, beliefs, suspicion

    • dynamic aspects: updating, learning

  • Rationality

    • optimize utilities, do what is best/most economic

  • Action

    • emphasis on choice

    • abilities: physical (robots), computational

    • epistemic actions


  • Login