Amity School of Engineering and Technology
B. Tech. (CSE), 6th Semester
Artificial Intelligence CSE401
Module 1
Scope of AI & Problem Solving
Topic: Applications of AI
Dr. Shuchi Mala, Assistant Professor
Department of CSE, ASET
Module 1
Introduction to Artificial Intelligence
Applications
Games
Vision and speech processing
Expert systems
Natural language processing
Robotics
Theorem proving
3
5
6
Advantages of Expert System
Limitations of Expert System
8
Applications of Expert System
9
Natural language processing
• Natural Language Understanding
• Natural Language Generation
10
Natural Language Understanding
11
Natural Language Generation
• NLG is a type of AI that produces text from structured data. With the right
data in the right format.
• An NLG system can automatically turn numbers in a spreadsheet into
data-driven narratives.
Steps of NLP
13
Robotics
14
Robotics
• A robot is a machine: especially one programmable by a computer,
capable of carrying out a complex series of actions automatically.
• Robots can be guided by an external control device or the control may
be embedded within.
• Robots may be constructed on the lines of human form, but most
robots are machines designed to perform a task with no regard to their
aesthetics.
Robotics
• Mobile robot
Mobile robots have the capability to move around in their environment and are
not fixed to one physical location. An example of a mobile robot that is in
common use today is the automated guided vehicle or automatic guided
vehicle (AGV).
• Industrial robots (manipulating)
The International Organization for Standardization gives a definition of a
manipulating industrial robot in ISO 8373:
"an automatically controlled, reprogrammable, multipurpose, manipulator
programmable in three or more axes, which may be either fixed in place or
mobile for use in industrial automation applications."
Robotics
• Educational (interactive) robots
There have also been robots such as the teaching
computer, Leachim (1974). Leachim was an early example
of speech synthesis using the Diphone synthesis method.
2-XL (1976) was a robot shaped game / teaching toy
based on branching between audible tracks on an 8-track
tape player, both invented by Michael J. Freeman.
• Military robots
Military robots include the SWORDS robot which is currently
used in ground-based combat. It can use a variety of weapons
and there is some discussion of giving it some degree of
autonomy in battleground situations.
17
Theorem Proving
Theorem Proving
19
Theorem Proving
Binary Resolution
Theorem Proving
Resolution in FOL
Theorem Proving
Theorem Proving
Thank
You
24