AIML Unit1 1
AIML Unit1 1
9/10/2023
What is Artificial Intelligence?
• Requires
• Natural language
• Knowledge representation
• Automated reasoning
• Machine learning
• (vision, robotics) for full test
What is AI?
• Turing test (1950)
• Requires:
• Natural language
• Knowledge representation
• automated reasoning
• machine learning
• (vision, robotics.) for full test
• Thinking humanly:
• Introspection, the general problem solver (Newell and
Simon 1961)
• Cognitive sciences
• Thinking rationally:
• Logic
• Problems: how to represent and reason in a domain
• Acting rationally:
• Agents: Perceive and act
AI examples
Common sense reasoning
• Tweety is a bird => it can fly
• Yale Shooting problem
Update vs revise knowledge
• The OR gate example: A or B -→ C
• Observe C=0, vs Do C=0
Chaining theories of actions
Looks-like(P) → is(P)
Make-looks-like(P) → Looks-like(P)
----------------------------------------
Makes-looks-like(P) ---is(P) ???
Garage-door example: garage door not included.
• Planning benchmarks
• 8-puzzle, 8-queen, block world, grid-space world
Abduction: cambridge parking example
9/10/2023
History of AI
• McCulloch and Pitts (1943)
• Neural networks that learn
• Minsky (1951)
• Built a neural net computer
• Darmouth conference (1956):
• McCarthy, Minsky, Newell, Simon met,
• Logic theorist (LT)- proves a theorem in Principia Mathematica-Russel.
• The name “Artficial Intelligence” was coined.
• 1952-1969
• GPS- Newell and Simon
• Geometry theorem prover - Gelernter (1959)
• Samuel Checkers that learns (1952)
• McCarthy - Lisp (1958), Advice Taker, Robinson’s resolution
• Microworlds: Integration, block-worlds.
• 1962- the perceptron convergence (Rosenblatt)
The Birthplace of
“Artificial Intelligence”, 1956
• Darmouth workshop, 1956: historical meeting of the precieved founders
of AI met: John McCarthy, Marvin Minsky, Alan Newell, and Herbert
Simon.
9/10/2023
271- Fall 2006
271- Fall 2006
271- Fall 2006
271- Fall 2006
271- Fall 2006
271- Fall 2006
271- Fall 2006
271- Fall 2006
Agent types