CSE 412 Artificial Intelligence: Course Teacher

Summer 2016
CSE 412
Artificial Intelligence
Topic - 1: Introduction
Course Teacher:
Md. Tarek Habib
Assistant Professor
Department of Computer Science and Engineering
Daffodil International University
Topic Contents
What Is AI?
The Foundations of Artificial Intelligence
The History of Artificial Intelligence
The State of the Art
Philosophical Foundations
Introduction to Prolog
Md. Tarek Habib 2

What Is AI?
AI (Artificial Intelligence) is a branch of
computer science concerned with the study and
creation of computer systems that exhibit some
form of intelligence:
systems that learn new concepts and tasks,
systems that can reason and draw useful conclusions
about the world around us,
systems that can understand a natural language or
perceive and comprehend a visual scene,
and
systems that perform other types of feats that require
human types of intelligence.
Md. Tarek Habib 3

What Is AI?
Systems that Systems that
think like humans think rationally
Systems that act Systems that act

like humans rationally
Md. Tarek Habib 4

The Foundations of AI
Philosophy (428 B.C. present)
Can formal rules be used to draw valid conclusions?
How does mental mind arise from a physical brain?
Where does knowledge come from?
How does knowledge lead to action?
Mathematics (800 B.C. present)

How are the formal rules to draw valid conclusions?
What can be computed?
How do we reason with uncertain information?
o Algorithms
o Intractability
o NP-completeness
o probability
Md. Tarek Habib 5

Neuroscience (1861 present)
How do brain process information?
o Neurons
Economics (1776 present)

How do we make decisions so as to maximize payoff?
How should we do this when others may not go along?
How should we do this when the payoff may be far in
the future?
o Decision theory ( probability theory + utility theory)
Md. Tarek Habib 6

Computer Engineering (1940 present)
How can we build an efficient computer?
Cybernetics (1948 present)

How can artifacts operate under their own control?
Psychology (1879 present)

How do human and animals think and act?
Linguistics (1957 present)

How do languages relate to thought?
Md. Tarek Habib 7

The History of AI
The gestation of AI (1943 1955)
The birth of AI (1956)
Early enthusiasm, great expectations (1952 1969)
A dose of reality (1966 1973)
Genetic algorithm
Knowledge base systems (1969 1979)
AI becomes an industry (1980 present)
The return of neural network (1986 present)
AI becomes a science (1987 present)
Md. Tarek Habib 8

The State of the Art
Autonomous planning and scheduling
Game playing
Autonomous control
Medical diagnosis
Logistic planning
Robotics
Language understanding and problem solving
etc.
Md. Tarek Habib 9

Philosophers have been around far
longer than computers and have been
trying to resolve some questions that
relate to AI:
How do minds work?
Is it possible for machines to act intelligently
in the way that people do, and if they did,
would they have real, conscious minds?
What are the ethical implications of
intelligent machines?
Md. Tarek Habib 10

The assertion that machines could act as
if they were intelligent is called the weak
AI hypothesis by philosophers.
The assertion that machines that do so

strong Al are actually thinking (not just
simulating thinking) is called the strong
AI hypothesis.
Md. Tarek Habib 11
Philosophers are interested in the
problem of comparing two
architectureshuman and machine.
Furthermore, they have traditionally

posed the question not in terms of
maximizing expected utility but rather
as, "Can machines think?
Md. Tarek Habib 12
Alan Turing suggested that instead of
asking whether machines can think, we
should ask whether machines can pass a
behavioral intelligence test, which has
come to be called the Turing Test.
The test is for a program to have a
conversation (via online typed messages)
with an interrogator for five minutes. The
interrogator then has to guess if the
conversation is with a program or a person;
the program passes the test if it fools the
interrogator 30% of the time.
Md. Tarek Habib 13
Turing conjectured that, by the year 2000, a
computer with a storage of 109 units could be
programmed well enough to pass the test.
He was wrong programs have yet to fool a
sophisticated judge.
On the other hand, many people have been
fooled when they didn't know they might be
chaffing with a computer.
The ELIZA program
The Internet chatbots such as MGONZ and
NATACHATA
The chatbot CYBERLOVER
Md. Tarek Habib 14

Prolog: Programming in Logic
Prolog is a logic programming language.
Programming in Prolog is accomplished by creating
a data base of facts and rules about objects, their
properties, and their relationships to other objects.
Queries can be posed about the objects and valid
conclusions will be determined through a form of
inferencing control known as resolution.
Facts: sister(sarah, bill).
parent(ann, sam).
parent(joe, ann).
male(joe).
female(ann).
Md. Tarek Habib 15
Rules:
Grandfather(X, Z) :- parent(X,Y), parent(Y,Z), male(X).
For all X, Y, and Z:
X is the grandfather of Z
If X is the parent of Y, and Y is the parent of Z and X is

a male.
Md. Tarek Habib 16

Acknowledgement
Mr. Md. Sumon Shahriar

Former Lecturer
Dept. of CSE
BRAC University
17

CSE 412 Artificial Intelligence: Course Teacher

Uploaded by

Copyright:

Available Formats

CSE 412 Artificial Intelligence: Course Teacher

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

CSE 412 Artificial Intelligence: Course Teacher

Uploaded by

Copyright:

Available Formats

Summer 2016

The Foundations of Artificial Intelligence

The History of Artificial Intelligence

The State of the Art

Md. Tarek Habib 2

Md. Tarek Habib 3

Systems that act Systems that act

Md. Tarek Habib 4

Mathematics (800 B.C. present)

Md. Tarek Habib 5

Economics (1776 present)

Md. Tarek Habib 6

Cybernetics (1948 present)

Psychology (1879 present)

Linguistics (1957 present)

Md. Tarek Habib 7

Md. Tarek Habib 8

Md. Tarek Habib 9

Md. Tarek Habib 10

The assertion that machines that do so

Furthermore, they have traditionally

Md. Tarek Habib 14

For all X, Y, and Z:

If X is the parent of Y, and Y is the parent of Z and X is

Md. Tarek Habib 16

Mr. Md. Sumon Shahriar

You might also like