Artificial Intelligence: CS60045 Course Introduction
Artificial Intelligence: CS60045 Course Introduction
Artificial Intelligence: CS60045 Course Introduction
Modern AI is the
Symbolic methods: Classical AI Statistical methods: ML
convergence of these two
Reasoning Learning
Knowledge Communication
Planning Perception
Kinesthetic
3
IIT KHARAGPUR
What is “Artificial Intelligence”?
IIT KHARAGPUR 4
Evolution of AI
IIT KHARAGPUR
Kasparov versus Deep Blue
IIT KHARAGPUR
What are the green fields for AI in India?
IIT KHARAGPUR
Artificial Intelligence
CORE CAPABILITIES
• The ability to solve problems
• Constraint satisfaction, Optimization,
Search
• The ability to plan
• Abstraction
• The ability to deduce
• Logic, Reasoning algorithms
• The ability to learn
• Models, Data, Learning algorithms
• The ability to handle uncertainty
• The ability to interface with the real world
Path Finding
• I wish to find a shortest path
• I wish to find a path with minimum congestion
• I wish to find a path with combination of transportation
options (metro, bus, taxi)
• I wish to find a path which goes past a medicine shop
• I wish to find a path which minimizes energy
consumption from my battery in a e-vehicle
When the size and complexity becomes too big we use
“heuristic functions” to cut out unnecessary parts.
IIT KHARAGPUR 9
AI Planning
Elements of a Planning Problem
• A set of states (worlds) described in terms of predicates
• A set of actions which transforms some parts of one world to
take us to another world
• An initial world
• A goal in terms of the predicates that must hold in the final
world
IIT KHARAGPUR 10
Logical Reasoning
• Automated ways to use what is known to reason
about something which is not explicitly known.
• Automated Reasoning:
• Deduction
Rule: All the marbles in this bag are blue
Case: These marbles are from this bag
Inference: These marbles are blue Five color theorem: All maps can be colored with five
colors, where neighboring countries get different colors
• Abduction [Proved in 1800s]
Rule: All the marbles in this bag are blue
Four color theorem: All maps can be colored with four
Observation: These marbles are blue
colors, where neighboring countries get different colors
Case: These marbles are from this bag [Proved in 1976 with help of computers]
mother( x, z ), father( z, y )
⇒ maternalgrandfather( x, y )
mother( x, z ), mother( z, y )
⇒ maternalgrandmother( x, y )
father( x, z ), mother( z, y )
⇒ grandmother( x, y )
maternalgrandmother( x, z ),
mother( z, p ), son( p, y )
⇒ maternalgreatuncle( x, y )
maternalgrandmother( Freya, Charlotte ),
mother( Charlotte, Lindsey ), son( Lindsey, Fergus )
⇒ maternalgreatuncle( Freya, Fergus )
We could build this into a social media platform which suggests Freya to post a picture of Fergus on
the Maternal-Great-Uncle day !!
IIT KHARAGPUR 12
Reasoning under Uncertainty
P(Obesity)
0.24 History of History of viral History P(Chronic
Obesity
alcohol abuse hepatitis of VH Hepatitis)
T 0.3
F 0.05
Hepatitic steatosis Cirrhosis Chronic Hepatitis
Jaundice
• We know the relations between events in probabilistic terms
• We are given a set of known events
Challenge: Sometimes we do not know
• Goal: Find the probability of some other event
which is the cause and which is the effect. 13
IIT KHARAGPUR
Machine Learning
IIT KHARAGPUR
Deep Learning and the Problem of Explainability
16
INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR