Topic - 1 (Introduction to AI)
Topic - 1 (Introduction to AI)
Lecture 1: Introduction
Department of CSE
Daffodil International University
1 of 29
Topic Contents
❖ What Is AI?
❖ Philosophical Foundations
❖ Logic Programming Language
2 of 29
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.
3 of 29
What Is AI?...
4 of 29
Major Branches of AI
5 of 29
Major Branches of AI…
6 of 29
The Foundations of AI
❑ A brief history of the disciplines that contributed ideas,
viewpoints, and techniques to AI is provided here.
❑ The history is organized around a series of questions.
❑ It is not wished to give the impression that these questions
are the only ones the disciplines address or that the
disciplines have all been working toward AI as their ultimate
fruition.
7 of 29
The Foundations of AI…
8 of 29
The Foundations of AI…
9 of 29
The Foundations of AI…
10 of 29
The Foundations of AI…
❑ What is Cybernetics?
• The term cybernetics was coined by Norbert Wiener,
an American mathematician of the twentieth century.
• The scientific study of communication and control processes
in biological, mechanical, and electronic systems.
• The study of human control functions and of mechanical
and electronic systems designed to replace them, involving
the application of statistical mechanics to communication
engineering.
11 of 29
The Foundations of AI…
12 of 29
The History of AI
13 of 29
The State of the Art
14 of 29
Philosophical Foundations
15 of 29
Philosophical Foundations…
16 of 29
Philosophical Foundations…
17 of 29
Philosophical Foundations…
❑ 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.
19 of 29
Philosophical Foundations: A Big
Controversy
20 of 29
Philosophical Foundations:
A Big Controversy
❑ In June 2012, at an event marking what would have been
the 100th birthday of the test's namesake, Alan Turing,
Goostman won a competition promoted as the largest-ever
Turing test contest, in which it successfully convinced
29% of its judges that it was human.
❑ On 7 June 2014, at a contest marking the 60th anniversary
of Turing's death, 33% of the event's judges thought that
Goostman was human; the event's organiser Kevin
Warwick considered it to have passed Turing's test.
21 of 29
Philosophical Foundations: A Big
Controversy
❑ The validity and relevance of the announcement of
Goostman's pass was questioned by critics.
❑ Altough there had been several claims that the Turing test
is not the best way to test a computer's intelligence,
Turing test remains the most popular one.
22 of 29
Philosophical Foundations: Some
Facts about Turing Test
❑ The field of AI as a whole has paid little attention to Turing test.
❑ Few AI researchers pay attention to the Turing test, preferring to
concentrate on their systems' performance on practical tasks,
rather than the ability to imitate humans.
❑ Arguments for and against strong AI are inconclusive.
❑ Few mainstream A1 researchers believe that anything
significant hinges on the outcome of the debate.
23 of 29
Logic Programming Language
❑ Logic programming is a type of programming languages, in
which a program is written as a set of sentences in logical form,
expressing facts and rules about some problem domain.
❑ A program is executed by an inference engine that answers a
query by searching these sentences systematically to
make inferences that will answer a query.
❑ Major logic programming language families
include Prolog, Answer set programming (ASP) and Datalog.
24 of 29
Introduction to Prolog
❑ 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).
25 of 29
Introduction to Prolog…
❑ Rules:
• grandfather(X, Z) :- parent(X,Y), parent(Y,Z), male(X).
X is the grandfather of Z
26 of 29
Thank you