Interested in this College?
Get updates on Eligibility, Admission, Placements Fees Structure

Quick Facts

Medium Of Instructions	Mode Of Learning	Mode Of Delivery
English	Self Study	Video and Text Based

Course Overview

Introduction to Artificial Intelligence certification by IIT Kanpur in collaboration with the MeitY offers basic techniques for building intelligent computer systems and application of artificial intelligence to solve the problems. Candidates will be given a chance to learn about formal logic, syntax, semantics, entailment and models, and much more.

Introduction to Artificial Intelligence training is a complete package that provides high-quality video lectures and hands-on assignments that have a practical purpose. Students also become a part of group projects and partake in a final assessment examination that will ease the participants' learning process and help evaluate their progress. Various applications of Artificial Intelligence in robotics, vision, Natural Language Processing, etc., are covered in the curriculum.

Individuals participating in the Introduction to Artificial Intelligence certification course by IIT Kanpur stand to gain a lot from the programme. With bright career prospects in the field of artificial intelligence to look forward to, they also get 24*7 access to all the study material for a period of three months. The course also offers a hard copy to those candidates who complete all the assignments, pass the final exam and complete the course successfully.

The Highlights

Latest content that meets industry standards
Online course
No prerequisites to join course
Practical assignments and group projects
IIT Kanpur faculty as educators of the course
Final exam of multiple-choice questions
High-quality video lectures of nearly twenty hours
Certification offered by the course
Study at one’s own pace
Three months of 24*7 access to all course material

Programme Offerings

24*7 access
Self-study
Online Course
High-quality video lectures of nearly twenty hours
Final Assessment
Multiple-choice questions exam
Educator from IIT Kanpur
Practical assignments and group projects
No prerequisite

Courses and Certificate Fees

Certificate Availability	Certificate Providing Authority
yes	IIT Kanpur

The Introduction to Artificial Intelligence certification fees is as follows:

Course Name	Fee in INR
Introduction to Artificial Intelligence	Rs. 4,237 + 18% GST

Eligibility Criteria

Introduction to Artificial Intelligence online course has no prerequisites to fulfill before joining.

Certificate Qualifying Details

To become eligible for the certificate, participants need to qualify by scoring 60% or above in the final multiple choice questions exam.

What you will learn

Knowledge of Artificial Intelligence

Candidates who successfully complete the Introduction to Artificial Intelligence certification course will have extensive knowledge about:

The underlying concepts of Artificial Intelligence.
Applications of AI in natural language processing, robotics, and vision
Using appropriate algorithms
Using Prolog
CD theory, backward chaining, and natural language processing

Who it is for

AI DeveloperSoftware DeveloperData ScientistTeacherMachine Learning EngineerIT Engineer

Introduction to Artificial Intelligence would be useful for graduate and post-graduate students studying IT or computer science. It would also be beneficial for educators or professionals working in the IT industry who want to improve upon their existing AI concepts.

Admission Details

To gain admission into the Introduction to Artificial Intelligence certification by IIT Kanpur and MeitY the candidates need to follow the following guidelines.

Create a profile or login on the E&ICT Academy, IIT Kanpur website https://ict.iitk.ac.in/.
Search for ‘Introduction to Artificial Intelligence’ on the website or visit https://ict.iitk.ac.in/product/introduction-to-artificial-intelligence/ and click on ‘Enroll & pay’.
Enter any valid coupon if available and confirm the final fee amount. Click on ‘Proceed to checkout’.
Pay the fee amount and join the course.

Application Details

The introduction to Artificial Intelligence certification course application form is equivalent to signing in to logging into the E&ICT, IIT Kanpur website. Individuals can create a profile by providing their contact information, postal address, email address, phone number, education details, professional details if any, and their photograph in the form of a scanned copy.

The Syllabus

What is AI: Some Definitions?
Can Machines Think?
What is Arithmetic (as related to AI)?
What are some basic ideas in Representation and Reasoning?

What are some more ideas in Knowledge Representation and reasoning?
What is the history of AI (in brief)?
What is Physical Symbol system hypothesis?
What are some important features of intelligent agents?

What is formal logic?
What are the various types of logic?
What are the different types of First Order Logic?
What are the Properties of Logic systems?

How is knowledge represented in Propositional Logic?
How is reasoning related to Propositional Logic?
What is Propositional Language?
What is the syntax of Propositional Language?

What are the formulae related to Propositional Language?
What are truth values as related to Propositional Logic?
How many binary connectives do we need?
What are the types of formulae in Propositional Logic?

Can we look at a proof system in Propositional Logic 1/2?
What are the Rules of inference in Propositional Logic?
What are the Rules of Substitution in Propositional Logic?
Can we look at a proof system in Propositional Logic 2/2?

Can we have a recap of Propositional Language?
Can we have a recap of Proof systems?
What are indirect and direct Proof systems?
What are some examples of Proof systems?

What is Frege's system as related to Propositional Logic?
What are derived rules in Propositional Logic?
What are Hilbert Style Proofs in Propositional Logic?

What is the Tableau Method?
What are the rules of the Tableau Method?
What are some examples of the Tableau Method?

Can we have a recap of the Tableau Method?
What is Resolution Refutation Method?
What is the clause form of the Resolution Refutation Method?
What is the Tautological Equivalence of the Resolution Refutation Method?
Can we look at an example of the Resolution Refutation Method?

How is First Order Logic different from Propositional Logic?
What is the syntax of First Order Logic?
What are the set of terms for the First Order Logic?
What are the set of formulae for First Order Logic?
What are the sentences in First Order Logic?

What are semantics of the First Order Logic?
What is interpretation mapping in First Order Logic?
How is truth assignment done to formulae in First Order Logic?

What are Unary Relations in Semantics of First Order Logic?
What are the restrictions of First Order Logic?
What are the Entailment and models of First Order Logic?

What are the Rules of inference of First Order Logic?
What are the Rules of Substitution of First Order Logic?
What is Modus Ponens in First Order Logic?
What is Universal Quantifier in Implicit Quantifier Form?

Can we have a recap of Modified Modus Ponens?
What is the Most General Unifier in Modified Modus Ponens?
What is the List notation in Unification algorithm?
How do we deal with variables, constants and lists in Unification algorithm?

Can we have a recap on dealing with variables, constants and lists in Unification algorithm?
Can we look at Example 1 of Unification algorithm?
Can we look at Example 2 of Unification algorithm?
Can we look at Example 3 of Unification algorithm?

What are Reasoning algorithms in Forward chaining?
What is Theorem Proving in Forward Chaining?
What are Rules in Forward Chaining?
What is Inference engine in Forward Chaining?

How is Rete Algorithm different from match algorithm?
What is Discrimination in Rete Network?
What is the Assimilative Part in Rete Network?
Can we look at an example of Rule in Rete Algorithm?

Can we have a recap of the Rete Algorithm?
How do we write rules in Rete network?
How do we construct the Rete network based on rules?
What are rule based expert systems?

How are rule based expert systems used in forward chaining?
What are some of the Patterns in Expert systems?
What are the Negative Patterns in Expert systems?

What is OPS5?
What are conflict resolution strategies?
What is specificity strategy for conflict resolution?
Can we look at an example of how conflict resolution strategies work?

What is Existential Quantifier in Representation (in FOL)?
How is existential quantifier represented in implicit quantifier form?
What is skolemisation?
How do we identify the nature of a variable?

What is explicit and implicit form in representation in FOL-I?
What is explicit and implicit form in representation in FOL-II?
What is recursion in FOL?
What are terminological facts?

How do we represent properties in FOL-I?
How do we represent properties in FOL-II?
Can we have an introduction of reification?
How can we represent abstract ideas?

Can we know more about reification?
How do we compare and add properties in FOL?
How do we represent numbers in FOL?
What are numbers?

What are the problems associated with using ad-hoc predicates?
How can we use reification to present events?
What is resource description framework?
What are resources in RDF?

What is Event Calculus?
What are the predicates in Event Calculus?
What are the shortcuts and axioms in Event Calculus?
What is the Yale Shooting Problem?

What do we mean by Understanding and Expectations?
Can we have an introduction to the CD theory?
What are conceptualizations?
What are state variables?

How do we make inferences using CD theory?
What are conceptual cases?
What are some CD actions?
What are Instruments and state change verbs in CD theory?

How do we model various actions in CD theory-I?
How do we model various actions in CD theory-II?
How do we model the action "Believe" in CD theory?
What are the physical actions that we talk about in CD theory?

What is conceptual analysis?
How do you differentiate between the various senses of a word - and can we look at an example?
What is conceptual semantics?
What is syntactic ambiguity?

What is the difference between backward and forward chaining?
Can we look at an example of backward chaining?
How can we do programming using backward chaining?
Can we look at an example of logic programming?

Can we have a recap of logic programming?
How do we define addition in logic programming?
What are goal trees in Logic programming?

Can we have a recap of addition in Logic Programming?
What are Fibonacci sequence in Logic Programming?
How can we make programs more efficient?
What is Prolog?
Can we look at an example in Prolog?

Can we look at some efficiency problems in Prolog?
How can we make Prolog more efficient?
How to make Prolog more efficient - An example I?
How to make Prolog more efficient - An example (cont.)?

How do we define the sort function in Logic Programming?
How do we define the permutation function in Logic Programming?
How do we avoid useless search in Prolog?
What is negation by failure in Prolog?

What is the Cut operator in Prolog?
What are the different types of cut operator?
Can we look example of different types of cut operator?
Can we learn more about green cuts?
Can we look at an example of green cuts?

Can we have a recap of theorem proving?
Can we look at a recap of how to convert formulae into clause form?
What is incompleteness of Forward and Backward Chaining?
What is the Completeness of Resolution Refutation Method?

Can we look at an example of clause form?
What are resolution rules?
What is the resolution refutation method for FOL?

Can we at some properties of the resolution method ?
Can we look at an example to illustrate the semidecidability of FOL?
How do we use answer prediction method?
How do we use answer prediction method-An example?

Evaluation process

Individuals participating in the Introduction to Artificial Intelligence training course need to pass a final exam and score 60% or above to pass. The exam will be in the form of multiple choice questions.