CS4811 Artificial Intelligence Spiffy Introduction to...
Transcript of CS4811 Artificial Intelligence Spiffy Introduction to...
![Page 1: CS4811 Artificial Intelligence Spiffy Introduction to AInilufer/classes/cs4811/2007-spring/lecture... · Spring 2007: You take CS4811 Artificial Intelligence ….and its high-time](https://reader036.fdocuments.in/reader036/viewer/2022071220/605a9b179c043735d9317fe0/html5/thumbnails/1.jpg)
CS4811Artificial Intelligence
Some slides from: Subbarao Kambhampati,Arizona State University
Spiffy Introduction to AI
MTU
![Page 2: CS4811 Artificial Intelligence Spiffy Introduction to AInilufer/classes/cs4811/2007-spring/lecture... · Spring 2007: You take CS4811 Artificial Intelligence ….and its high-time](https://reader036.fdocuments.in/reader036/viewer/2022071220/605a9b179c043735d9317fe0/html5/thumbnails/2.jpg)
1946: ENIAC heralds the dawn of Computing
![Page 3: CS4811 Artificial Intelligence Spiffy Introduction to AInilufer/classes/cs4811/2007-spring/lecture... · Spring 2007: You take CS4811 Artificial Intelligence ….and its high-time](https://reader036.fdocuments.in/reader036/viewer/2022071220/605a9b179c043735d9317fe0/html5/thumbnails/3.jpg)
I propose to consider the question:“Can machines think?”
--Alan Turing, 1950
1950: Turing asks the question….
![Page 4: CS4811 Artificial Intelligence Spiffy Introduction to AInilufer/classes/cs4811/2007-spring/lecture... · Spring 2007: You take CS4811 Artificial Intelligence ….and its high-time](https://reader036.fdocuments.in/reader036/viewer/2022071220/605a9b179c043735d9317fe0/html5/thumbnails/4.jpg)
1995: RALPH takes a trip from coast to coast
CMU’s RALPH program drove a van for all but 52 milesof a trip from D.C. to San Diego
![Page 5: CS4811 Artificial Intelligence Spiffy Introduction to AInilufer/classes/cs4811/2007-spring/lecture... · Spring 2007: You take CS4811 Artificial Intelligence ….and its high-time](https://reader036.fdocuments.in/reader036/viewer/2022071220/605a9b179c043735d9317fe0/html5/thumbnails/5.jpg)
1996: EQP proves that Robbin’s Algebras are all boolean
[An Argonne lab program] has come up with a major mathematical proof that would have been called creative if a human had thought of it.
-New York Times, December, 1996
----- EQP 0.9, June 1996 ----- The job began on eyas09.mcs.anl.gov, Wed Oct 2 12:25:37 1996 UNIT CONFLICT from 17666 and 2 at 678232.20 seconds. ---------------- PROOF ---------------- 2 (wt=7) [] -(n(x + y) = n(x)). 3 (wt=13) [] n(n(n(x) + y) + n(x + y)) = y. 5 (wt=18) [para(3,3)] n(n(n(x + y) + n(x) + y) + y) = n(x + y). 6 (wt=19) [para(3,3)] n(n(n(n(x) + y) + x + y) + y) = n(n(x) + y). …….17666 (wt=33) [para(24,16426),demod([17547])] n(n(n(x) + x) ….
![Page 6: CS4811 Artificial Intelligence Spiffy Introduction to AInilufer/classes/cs4811/2007-spring/lecture... · Spring 2007: You take CS4811 Artificial Intelligence ….and its high-time](https://reader036.fdocuments.in/reader036/viewer/2022071220/605a9b179c043735d9317fe0/html5/thumbnails/6.jpg)
Jan 12, 1997: HAL 9000 becomes operationalin fictional Urbana, Illinois
…by now, every intelligent person knew that H-A-L is derived from Heuristic ALgorithmic
-Dr. Chandra, 2010: Odyssey Two
![Page 7: CS4811 Artificial Intelligence Spiffy Introduction to AInilufer/classes/cs4811/2007-spring/lecture... · Spring 2007: You take CS4811 Artificial Intelligence ….and its high-time](https://reader036.fdocuments.in/reader036/viewer/2022071220/605a9b179c043735d9317fe0/html5/thumbnails/7.jpg)
May, 1997: Deep Blue beats theWorld Chess Champion
I could feel human-level intelligence across the room-Gary Kasparov, World Chess Champion (human)
vs.
![Page 8: CS4811 Artificial Intelligence Spiffy Introduction to AInilufer/classes/cs4811/2007-spring/lecture... · Spring 2007: You take CS4811 Artificial Intelligence ….and its high-time](https://reader036.fdocuments.in/reader036/viewer/2022071220/605a9b179c043735d9317fe0/html5/thumbnails/8.jpg)
For two days in May, 1999, an AI Program called Remote Agentautonomously ran Deep Space 1 (some 60,000,000 miles from earth)
Real-time ExecutionAdaptive Control
HardwareScripted
Executive
GenerativePlanner &Scheduler
Generative Mode Identification
& Recovery
Scripts
Mission-levelactions &resources
component models
ESL
Monitors
GoalsGoals
May, 1999: Remote Agent takes Deep Space 1 on a galactic ride
![Page 9: CS4811 Artificial Intelligence Spiffy Introduction to AInilufer/classes/cs4811/2007-spring/lecture... · Spring 2007: You take CS4811 Artificial Intelligence ….and its high-time](https://reader036.fdocuments.in/reader036/viewer/2022071220/605a9b179c043735d9317fe0/html5/thumbnails/9.jpg)
May 2000: SCIFINANCEsynthesizes programsfor financial modeling
Develop pricing models for complex derivative structuresInvolves the solution of a set of PDEs (partial differential equations) Integration of object-oriented design, symbolic algebra, and plan-based scheduling
![Page 10: CS4811 Artificial Intelligence Spiffy Introduction to AInilufer/classes/cs4811/2007-spring/lecture... · Spring 2007: You take CS4811 Artificial Intelligence ….and its high-time](https://reader036.fdocuments.in/reader036/viewer/2022071220/605a9b179c043735d9317fe0/html5/thumbnails/10.jpg)
Sept. 2002: Cindy Smart marketed
Vision: can read, tell the timeSpeech recognition: can recognize 700 words and 77 phrases Voice synthesis: speaks with a soft voice
![Page 11: CS4811 Artificial Intelligence Spiffy Introduction to AInilufer/classes/cs4811/2007-spring/lecture... · Spring 2007: You take CS4811 Artificial Intelligence ….and its high-time](https://reader036.fdocuments.in/reader036/viewer/2022071220/605a9b179c043735d9317fe0/html5/thumbnails/11.jpg)
2005: AI in Manufacturing
General Motors Variation-Reduction AdviserOntology-guided search and case-based reasoning techniques for quality management
GE Plastics’ Plastics Color Formulation ToolCase-based reasoning to retrieve, reuse, revise, and retain color formulas
![Page 12: CS4811 Artificial Intelligence Spiffy Introduction to AInilufer/classes/cs4811/2007-spring/lecture... · Spring 2007: You take CS4811 Artificial Intelligence ….and its high-time](https://reader036.fdocuments.in/reader036/viewer/2022071220/605a9b179c043735d9317fe0/html5/thumbnails/12.jpg)
Spring 2007: You take CS4811
Artificial Intelligence
….and its high-time you did it too. Some over-zealous soul has to stop HAL before it is too late...
![Page 13: CS4811 Artificial Intelligence Spiffy Introduction to AInilufer/classes/cs4811/2007-spring/lecture... · Spring 2007: You take CS4811 Artificial Intelligence ….and its high-time](https://reader036.fdocuments.in/reader036/viewer/2022071220/605a9b179c043735d9317fe0/html5/thumbnails/13.jpg)
Welcome!
![Page 14: CS4811 Artificial Intelligence Spiffy Introduction to AInilufer/classes/cs4811/2007-spring/lecture... · Spring 2007: You take CS4811 Artificial Intelligence ….and its high-time](https://reader036.fdocuments.in/reader036/viewer/2022071220/605a9b179c043735d9317fe0/html5/thumbnails/14.jpg)
Welcome!