AI Module 1 Lecture 2
AI Module 1 Lecture 2
Topic: Applications of AI
Dr. Shuchi Mala, Assistant Professor
Department of CSE, ASET
Module 1
8
Applications of Expert System
9
Natural language processing
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.
13
Robotics
14
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).
• Military robots
17
Theorem Proving
Theorem Proving
19
Theorem Proving
Binary Resolution
Theorem Proving
Resolution in FOL
Theorem Proving
Theorem Proving
Thank
You
24