Академический Документы
Профессиональный Документы
Культура Документы
Knowledge-based Systems
Tatiana Gavrilova 2
Saint-Petersburg State Technical University
Intelligent Computer Technologies Department
Tatiana Gavrilova 3
Prof. Tatiana Gavrilova
Tatiana Gavrilova 4
Tatiana Gavrilova
Education:
1975 - MSc, St.Petersburg State Railway University
1986 - Ph.D in computer science at St. Petersburg State Technical University.
1996 - Doctor of Science Degree in Artificial Intelligence at the same University.
Research area: Knowledge Acquisition, Cognitive Modelling, Human-Computer
Interaction, Distance Learning.
Experience:
1996 - present:
present Full Prof. in Intelligent Computer Technologies Dpt at St.Petersburg
State Technical University, Head of AI Lab in the Institute of High Performance
Computing and Data Bases.
Membership:
Head of St.Petersburg Association for Artificial Intelligence, Member of editorial
board of journal “AI News”, chair-person of Programme Committee of Int. conference
PEG (Prolog Education Groupe), member of St.Petersburg Scientific Union.
Publications
More than 150
International co-operation
30 countries
Tatiana Gavrilova 5
My hats
Lab
University
Consulting
company Trainings
Tatiana Gavrilova 6
Course Outline
1. Introduction to Artificial intelligence
2. Knowledge and Data
3. Knowledge-based systems (KBS)
20 tests, 1 paper
Tatiana Gavrilova 7
Motto
Tatiana Gavrilova 8
Test N 1
(who is who) (what is it)
McCarthy ? AI
Colmerauer Branches of AI
Turing
Knowledge Management
Tatiana Gavrilova 9
I. Introduction to AI
Tatiana Gavrilova 10
First steps (not very serious)
■ Myths:
– God AMON statue, Egypt, 800 BC
– God Gefest made automatic people (“Iliada” by
Gomer)
■ Great names:
– Aristotle
■ Literature:
– Pigmalion
– Pinoccio
Tatiana Gavrilova 11
Raimon Lully (12??-13??)
Tatiana Gavrilova 13
Mathematical and philosophical
ascenders
In the 16th and 17th century, Descartes from
France and Leibnitz from Germany tried to
formulate the “universal language of Science”.
Tatiana Gavrilova 14
Rene Descartes (1596 – 1650)
■ Rene Descartes was a philosopher whose
work, “La geometrie”, includes his
application of algebra to geometry from
which we now have Cartesian geometry.
Tatiana Gavrilova 15
Gottfried Wilhelm Leibnitz
(1646-1716)
■ Founder of Berlin Academy, integral
calculation, tried to invent universal
methods for problem solving and to build
calculating devices (as Pascal did) first
summerising machine (1676).
■ He first understood the role of binary
system "Explication de l`Arithmetique
Binairy" (1703) . Only 250 later it will be
used.
Tatiana Gavrilova 16
John Stuart Mill (1806 - 1870)
Tatiana Gavrilova 17
Hardware ascender:
Mechanical Calculator
■ It was in the 19th
century that
Charles Babbage
made the analytical
engine which was
the first mechanical
programmable
computer.
Tatiana Gavrilova 18
XX century scientists that
influenced AI
Turing (1912-1954)
Shannon (1916- 1970)
Ashby (1903- 1967)
Wiener (1894-1964)
Tatiana Gavrilova 19
Alan TURING (1912-1954)
Main works in mathematical logics and
calculations. In 1936-1937гг. he
coined the term of abstract
algorithm equivalent
or calculated function,
later called Turing machine.
■ He is also an author of
famous “Turing” test.
Tatiana Gavrilova 20
Ross Ashby (1903- 1967)
Tatiana Gavrilova 23
1.2. History of AI
AI - as a basement
of NIT
AI Definition
2 branches
Tatiana Gavrilova 24
New Information Technology vs
Traditional Information Technology
Natural
Language Model Program Code
Computer
User
Domain Controller
user
User Intelligent
Interface
Tatiana Gavrilova 25
The term Artificial Intelligence was first coined
by John McCarthy in a proposal for the
conference at Dartmouth college in 1956.
Tatiana Gavrilova 27
Artificial Intelligence: Definition
Tatiana Gavrilova 28
Two branches of
Artificial Intelligence
The two fundamental approaches are
AI
Tatiana Gavrilova 29
Short history of AI
«Black box» Neuro-cybernetics
■ 50-60 - «maze ■ 50-70 - neural
scheme»(romantic) networks,
■ 60-70 – logical PERCEPTRON
approach ■ 70-90 - scepticism,
AI computers, industrial
software
Tatiana Gavrilova 30
Four Phases of Artificial intelligence
Phase I - Romantic period (50-th)
Great enthusiasm,
maze scheme,
“toy” applications,
computer plays chess,
machine “translation”, etc.
Tatiana Gavrilova 31
Four Phases of Artificial intelligence
Phase 2 - Logical period (1960-
1976)
•The scientists have generated the axiomatic approach
to problems solving. It was based on a set of axioms and
problems were treated as theorems to be solved.
•Resolution method by Robinson helped in automatic
proving of theorems.
•In 1973, Alain Colmerauer invented the PROLOG
programming language, which used the above principle.
PROLOG is used prominently in Europe and Japan.
• In 1965, Mc Carthy invented LISP, which was the first
language which did symbol processing instead of just
numerical computation.
Tatiana Gavrilova 32
Four Phases of Artificial intelligence
Phase 3 - Knowledge based period (1976- 1990)
Tatiana Gavrilova 33
Pyramid of Newell
Knowledge
Intelligence
Efficiency
Representation
Languages
Speed/
1970 - 1990
level
Programming
languages
ALGOL, FORTRAN
1960 - 1970
Tatiana Gavrilova 34
Situation and Prospect of AI Market
mln $ mln $
SW for AI
AI Languages
420 840
ES
650 NL-interface
230 Personal computer’s
languages Speech
270 recognition
20 Mainframe computer’s
languages 1986 1990 1994
1984 1988 1992 1996
Tatiana Gavrilova 35
AI Market
Tatiana Gavrilova 36
Situation and Prospect of AI Market
Gain % year
250
200
150 Europe
Japan
100 USA
50
0
1984 1987 1989 1991 1993 1995 2000
Tatiana Gavrilova 37
Situation and Prospect of AI Market
Tatiana Gavrilova 38
Main IS Applications
Agriculture
Business
Chemestry
Communication
Computer Systems
Education
Electronics
Engineering
Environment
Geology
Image Processing
Information
Jurisprudence
Manufacturing
Mathematics
Medicine
Meteorology
Military science
Mining
Control systems
Science
Astronautics
Transport Systems
Natural
Language
Understanding
Games
Intelligent
and computer-
robots
assisted
composition
New computer
Pattern
architectures
AI recognition
Knowledge-
Speech
based
Analysis and
systems Synthesis
AI
Software
Tatiana Gavrilova 40
Artificial chess-player
http://www.atariarchives.org/deli/artificial_intelligence.php
Tatiana Gavrilova 41
Robotics
The term ROBOT was coined by Karel
Chapek, Chec writer, who called artificial
workers as “robots”. “ROBOTA” – is a
term for “hard work”.
Tatiana Gavrilova 42
Target Robots
Military Classifications
Manufacturing
Research Control
Home-purpose Mechanical
Hydravlique
Weight Digital
Heavy Perception
Middle Autonomy Antropomorphism Camera-eyed
Light Mobility Blind
Super- Embedded
Autonomous Hearing
light Stable
Human-like Other
On-wheels
Partly human-like Going
Abstract Swimming
Animal-like Flying
Tatiana Gavrilova 43
Climbing
Machine vision problems
■ Clash between signal and symbol.
■ No recognition only reconstruction.
■ Knowledge/context (car<->road).
■ Compound ness.
■ Attempts: blocks->industrial objects->faces
->generalized objects.
■ Adding movement can help.
Tatiana Gavrilova 44
Test 2
(robots)
?
Tatiana Gavrilova 45
Test N3
Find regularity:
0 --> 1 9 --> 1
100 --> 2 2007 --> 2
45 --> 0 1995 --> 2
1 --> 0 45 --> 0
4 --> 0 27 --> 0
8 --> 2 368 --> 3
1986--> ?Tatiana Gavrilova 46
Test N 4
“Trains” problem
?
Tatiana Gavrilova 47