1 Lect1-4 - AI - SPS
1 Lect1-4 - AI - SPS
Artificial Intelligence
Textbooks
● S. Russell and P. Norvig, "Artificial Intelligence: A
Modern Approach" (Second Edition), Prentice Hall,
1995
● Nils Nilsson, "Artificial Intelligence: A New Synthesis",
Morgan Kauffmann, 1998
● Elaine Rich and Kevin Knight, "Artificial Intelligence"
(Second Edition), TMH, 1991
Overview
Thought processes
● “The exciting new effort to make computers
think .. Machines with minds, in the full and
literal sense” (Haugeland, 1985)
Behavior
● “The study of how to make computers do
things at which, at the moment, people are
better.” (Rich, and Knight, 1991)
● The automation of activities that we
associate with human thinking, activities
such as decision-making, problem solving,
learning… (Bellman)
Formal Definitions:
Branch of Computer Science concerned with study and
creation of computer system that exhibits some form
intelligence:
Formal Tasks
• Games(Chess, Backgammon, Checkers, etc.)
• Mathematics(Geometry, Logic, Integral calculus, Theorem
Proving properties of programs)
Expert Tasks:
• Scientific Analysis
• Chemical Synthesis
• Medical Diagnosis
• Financial Analysis
• Engineering (Designing, Fault Finding and Manufacturing
Planning)
Recall
Belief: It is defined as essentially any meaningful and coherent expression that can be
represented. Thus, a belief can be true or false.
Knowledge: a true justified belief and can be defined as the body of facts and principles
accumulated by humankind or the act, fact, or state of knowing.
Data: Data in computer terminology mean raw facts and figures. For example 'Rocky',
197701, 'A' are data. Data are processed to form information.
Information: Data arranged in useful and meaningful form is known as information. For
example 'Rocky, whose roll number is 197701, has got grade A' is an information as it is
conveying some meaning.
DIKW hierarchy:
(Source: “Lokers, Rob, et al. "Analysis of Big Data technologies for use in agro-environmental science. " Environmental Modelling & Software 84 (2016): 494-504.”)
The Turing Test
(Can Machine think? A. M. Turing, 1950)
Requires:
● Natural language
● Knowledge representation
● Automated reasoning
● Machine learning
● (vision, robotics) for full test
Acting/Thinking
Humanly/Rationally
Turing test (1950)
Requires:
● Natural language
● Knowledge representation
● automated reasoning
● machine learning
● (vision, robotics.) for full test
Methods for 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 (1980-1990)
Tweety
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
Cambridge parking example
Smoked fish example
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.
Real-World Applications of AI
● AI is alive and well in various “every day” applications
• many products, systems, have AI components
Assigned Reading
● Chapters 1 and 2 in the text R&N