Date post: | 02-Jan-2016 |
Category: |
Documents |
Upload: | jennifer-silva |
View: | 32 times |
Download: | 1 times |
Artificial Intelligence 15-381
Introduction to AI & Search Methods I
Jaime Carbonell
28 August 2001
Today’s Topics
Are we in the right class?
What exactly is AI, anyway?
AI = search+knowledge+learning
AI application areas
Course Outline
Administration and grading Basic search methods
What is AI: Some Quick Answers
From the Media: AI is…
…What socially-inept superhackers do …The opposite of natural stupidity …Building useful idiot-savant programs …Deep Blue (IBM’s chess program) …Robots with feelings (Spielberg)
What is AI: Some Quick Answers (cont.)
From Academia: AI is… …modeling aspects of human cognition by
computer …the study of solving ill-formed problems …"nothing more" than advanced algorithms
research …cool stuff! Machine learning, data mining,
speech, language, vision, web agents…and you can actually get paid a lot for having fun!
…what other CS folks don’t yet know how to do, and we AIers aren’t always too sure either
Operationally Speaking, AI is:
Applied Cognitive Science
Computational models of human reasoning• Problem solving• Scientific thinking
Models of non-introspective mental processes• Language comprehension, language learning• Human memory organization (STM, LTM)
Operationally Speaking, AI is:
Knowledge Engineering Codify human knowledge for specific tasks E.g.: Medical diagnosis, Machine Translation Central in 1970s & 80sjust one lecture here
Problem-Solving Methods How to encode and use knowledge to find answer E.g. HS, MEA, A*, Logic resolution Always at the very core of AImany lectures
Operationally Speaking, AI is:
Machine Learning
Learning as the hallmark of intelligence…but it is already practical in multiple applications
E.g.: D-trees, rule-induction, reinforcement, NNets Discredited in 1960s Vibrant core in 1990s Applications: data & text mining, speech, robotics Most active research area in AI many lectures
AI “Application” Areas
Rule-Based Expert Systems Medical Diagnosis: MYCIN, INTERNIST,
PUFF CSP Scheduling: ISIS, Airline scheduling
Data Mining Financial: Fraud detection, credit scoring Sales: Customer preferences, inventory Science: NASA galaxy DB, genome analysis
AI “Application” Areas (cont.)
Language Processing Speech: dictation, HCI Language: Machine Translation ML & NLP: Fact Extraction ML & words: Information Retrieval
Robotics Machine Vision Mobile Robots & “agents” Manipulation
AI-Based Problem Solving
State-Space <{S}, S0, {SGj}, {Oi}>
S0: Initial State
SG: Goal State (to achieve)
Oi: Operators O: {S} => {S}
AI-Based Problem Solving (cont.)
State-Space Navigation Forward Search: BFS, DFS, HS,… Backward Search: BFS-1, Backchaining,… Bi-Directional Search: BFS2,… Goal Reduction: Island-S, MEA… Transformation: {S} {S’} Abstraction: {S} {SA} + MEA ({SA})… Analogy: If Sim(P,P’) then Sol(P) Sol’(P’) …
More on the State Space
Useful Functions: Succ(si) = {sk | oj(si) = sk}
Reachable(si) = {U{sk} | Succ *(si)}
Succ-1(si) = {sk | oj(sk) = si)
Reachable-1(si) = {U{sk} | (Succ-1)*(si)}
s-Path(sa0, san
) = (sa0, sa1
,…, san)
…such that for all sa1 exists oj(sai
) = sai+1
o-Path(sa0, san
) = (oj0, oj1
,…, ojn-1)
…such that for all sa1 exists oj(sai
) = sai+1
More on the State Space (cont.)
Useful Concepts: Solution = o-Path(s0, sG) [or s-Path]
Cost(Solution) = cost(oj) … (often cost(oj) = 1)
P is solvable if at least one o-Path(s0, sG) exists Solutions may be constructed forward, backward
or any which way State spaces may be finite, infinite, implicit or
explicit
Zero-Knowledge Search
Simple Depth-First SearchDFS(Scurr, Sgoal, S-queue)
IF Scurr = Sgoal, SUCCESS
ELSE Append(Succ(Scurr), S-queue)
IF Null(S-queue), FAILURE
ELSE DFS(First(S-queue), Sgoal, Trail(S-queue))
Depth First Search
1
7
8
6
5
2
3
4… SG
SI
DFS (cont.)
Problems with DFS Deep (possibly infinite) rat holes
depth-bounded DFS, D = max depth Loops: Succ(Succ(..Succ(S))) = S
Keep s-Path and always check Scurr
Non-Optimality: Other paths may be less costly
No fix here for DFS Worst-case time complexity (O(bmax(D,d))
DFS (cont.)
When is DFS useful? Very-high solution density Satisficing vs. optimizing Memory-limited search: O(d) space Solution at Known-depth (then D=d)
Zero Knowledge Search (cont.)
Simple Breadth-First SearchBFS(Scurr, Sgoal, S-queue)
IF Scurr = Sgoal, SUCCESS
ELSE Append(Succ(Scurr), S-queue)
IF Null(S-queue), FAILURE
ELSE BFS(Last(S-queue), Sgoal, All-But-Last(S-queue))
Breadth-First Search
1
12
111098765
432
SG
…
Simple BFS cont.
Problems with BFS: Loops: Succ(Succ(…Succ(S)))=S
Pseudo-loops: Revisiting old states off-path Keep full visited prefix tree
Worst case time complexity O(bd) Worst case space complexity O(bd)
When is BFS Useful? Guarantee shortest path Very sparse solution space (better if some solution is
close to SI)
Zero Knowledge Search (cont.)
Backwards Breadth-First SearchBFS(Scurr, Sinit, S-queue)
IF Scurr = Sinit, SUCCESS
ELSE Append(Succ-1(Scurr), S-queue)
IF Null(S-queue), FAILURE
ELSE BFS(Last(S-queue), Sinit, All-But-Last(S-queue))
Backwards Breadth-First Search
9
87654
32
1
…SI
SG
Backward-BFS (cont.)
Problems with Backward-BFS All the ones for BFS Succ(Scurr) must be invertible: Succ-1(Scurr)
When is Backward-BFS useful? In general, same as BFS If backward branching<forward branching
Bi-Directional SearchAlgorithm:
1. Initialize Fboundary:= {Sinit}
2. Initialize Bboundary:= {Sgoal}
3. Initialize treef:= Sinit
4. Initialize treeb:= Sgoal
5. For every Sf in Fboundary
IF Succ(Sf) intersects Bboundary
THEN return APPEND(Path(treef), Path-1(treeb))
ELSE Replace Sf by Succ(Sf) & UPDATE (treef)
6. For every Sb in Bboundary
IF Succ(Sb) intersects Fboundary
THEN return APPEND(Path(treef), Path-1(treeb))
ELSE Replace Sb by Succ-1(Sb) & UPDATE (treeb) 7. o to 5.
Note: where’s the bug?
Bi-Directional Breadth-First Search
1
3 4
8 9 10 11 12
2
13
75 6
SG
SI
…
Bi-Directional Search (cont.)
Problems with Bi-BFS Loops: Succ(Succ(…Succ(S))) = S
Loops: Succ-1(Succ-1(… Succ-1(S)))) = SPseudo-loops: Revisiting old states off-path
Keep full visited prefix treef, trees
Succ(Scurr)must be invertible: Succ-1(Scurr)
When is Bi-BFS useful? Space and time complexity:
O(bfd/2) + O(bb
d/2) = O(bd/2) if bf = bb
Island-Driven BFS
Definition:An island is a state known a-priori to be on the solution path between Sinit and Sgoal.
If there are k sequential islands: BFS(Sinit, S-(goal)=
APPEND(BFS(Sinit, Sk1), BFS(Sk1
, Sk2),…BFS(SIk
, Sgoal))
Upper bound complexity: O(k*maxi=0:k[bdki,ki+1])
Complexity if islands are evenly spaced:O((k+1)*bd/(k+1))
Island-Driven Search
1 SI
…
SG
SIsland