Download presentation

Presentation is loading. Please wait.

Published byElvis Stetson Modified over 2 years ago

1
The Wumpus World! 2012 级 ACM 班 金汶功

2
Hunt the wumpus!

3
Description Performance measure Environment Actuators Sensors: Stench & Breeze & Glitter & Bump & Scream

4
An Example

6
Reasoning via logic

7
Semantics

8
Models

9
Knowledge base Axioms Current States Sensors Actuators Agent Tell Ask Tell Model checking Answer

10
Efficient Model Checking DPLL Early termination Pure symbol heuristic Unit clause heuristic Component analysis …

11
Drawbacks Model checking is NP-complete Knowledge base may tell nothing.

12
Probabilistic Reasoning

13
Full joint probability distribution P(X, Y) = P(X|Y)P(Y) X: {1,2,3,4} -> {0.1,0.2,0.3,0.4} Y: {a,b} -> {0.4, 0.6} P(X = 2, Y = a) = P(X = 2|Y = a)P(Y = a) The probability of all combination of values

15
Normalization

16
The Wumpus World Aim: calculate the probability that each of the three squares contains a pit.

17
Full joint distribution

18
How likely is it that [1,3] has a pit?

19
Using independence

20
Simplification

22
Finally

23
Bayesian Network

24
Simple Example BurglaryEarthquake Alarm(Bark) John CallsMary Calls P(B).001 P(E).002 BEP(A) Truetrue.95 truefalse.94 falsetrue.29 false.001 BarkP(J) true.90 false.05 BarkP(M) true.70 false.01

25
Specification

26
Conditional Independence

27
Exact Inference

29
P1,3known b P3,1P2,2 P1,3P2,2P3,1b True 1 False1 TrueFalseTrue1 False 0 True 1 FalseTrueFalse1 True0 False 0 P(1,3) 0.2 P(known) P(P3,1) 0.2 P(P2,2) 0.2

30
Approximate Inference Markov Chain Monte Carlo Gibbs Sampling Idea: The long-run fraction of time spent in each state is exactly proportional to its posterior probability.

32
Reference http://zh.wikipedia.org/wiki/Hunt_the_Wumpus http://zh.wikipedia.org/wiki/%E8%B4%9D%E5%8F%B6%E6%9 6%AF%E7%BD%91%E7%BB%9C http://zh.wikipedia.org/wiki/%E8%B4%9D%E5%8F%B6%E6%9 6%AF%E7%BD%91%E7%BB%9C Stuart Russell, Peter Norvig Artificial Intelligence—A Modern Approach 3 rd edition, 2010

Similar presentations

OK

1 Logical Inference Algorithms CS 171/271 (Chapter 7, continued) Some text and images in these slides were drawn from Russel & Norvig’s published material.

1 Logical Inference Algorithms CS 171/271 (Chapter 7, continued) Some text and images in these slides were drawn from Russel & Norvig’s published material.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google