IT Madras is offering a free online course on artificial intelligence that students with basic knowledge on programming can take.

With respect to that, IIT Madras has invited applications from students for a free online course on artificial intelligence which is known as “Artificial Intelligence: Knowledge Representation And Reasoning”. This course can be completed in 12 weeks which starts with simple language of propositions, and then moves on to first order logic, representations for reasoning about action, change, situations, and about other agents in incomplete information situations. The course requires students to have basic knowledge on formal languages, logic and programming.

Deepak Khemani who is a professor at the Department of Computer Science and Engineering at the Indian Institute of Technology Madras will conduct the course. The professor completed his BTech in Mechanical Engineering, and MTech and PhD in Computer Science from IIT Bombay.

Who Can Take the IIT Madras Free Online Course on Artificial Intelligence?

    Is the course free of cost or any money is charged for taking it?

      What the the IIT Madras Free Online Course on Artificial Intelligence Will Cover?

        Ankit
        Anyone interested can take the course but it would be most beneficial for students pursuing the following degrees:

        • BE

        • ME

        • MSc

        • MS

        • PhD

        Ankit
        The course is free to take BUT to obtain certificates, the participants will have to pay Rs 1000 and take an examination that will be conducted on 23 April 2022.

        Ankit
        The following topics will be covered as part of the course over a period of 12 weeks:

        • Introduction, Propositional Logic, Syntax and Semantics.

        • Proof Systems, Natural Deduction, Tableau Method, Resolution Method.

        • First Order Logic (FOL), Syntax and Semantics, Unification, Forward Chaining.

        • The Rete Algorithm, Rete example, Programming Rule Based Systems.

        • Representation in FOL, Categories and Properties, Reification, Event Calculus.

        • Deductive Retrieval, Backward Chaining, Logic Programming with Prolog.

        • Resolution Refutation in FOL, FOL with Equality, Complexity of Theorem Proving.

        • Description Logic (DL), Structure Matching, Classification.

        • Extensions of DL, The ALC Language, Inheritance in Taxonomies.

        • Default Reasoning, Circumscription, The Event Calculus Revisited.

        • Default Logic, Autoepistemic Logic, Epistemic Logic, Multi Agent Scenarios.

        a month later