QEEE SESSION

QEEE Session on Predicate Logic / First Order Logic (FOL) – Artificial Intelligence was conducted by IIT Madras on 23rd, 28th and 29th September 2016 under D2S (Direct to Student) Program with an objective to clarify the principles and process of Artificial Intelligence. The session was an interactive educational experience through distinct learning modules where live classes through video conferencing were conducted by Prof. Deepak Khemani, IIT Madras. Final year students of IT Department attended the session which was organized at Dronacharya Group of Institutions, Greater Noida and coordinated by Ms. Shalini Sharma from Department of Computer Science & Engineering.

Day 1: 23rd September 2016

Prof. Deepak Khemani greeted all the coordinators and introduced himself. He then started the session on First Order Logic, in which he explained that the Logic is a formal system and Logical reasoning is only concerned with the form of the argument, and not with content. It is the fact that “If the form is valid and antecedents are true ,the conclusion has to be true”. During this session, he covered several topics including Syntax, Semantics, Entailment and Models, Proof Systems and Knowledge Representation. Prof. Khemani also used simple examples to explain the topics.

The Session-1 concluded with Q & A Session.

Day 1: 28th September 2016

Prof. Deepak Khemani began the session with greetings and brief revision of Session-1. He then delivered a lecture on Skolemization, Unification, Deductive Retrieval, Forward Chaining and Backward Chaining. He explained the Backward chaining using the examples of propositional logic and also explained the incompleteness of Forward and Backward Chaining. He further explained shortest path algorithms like “Depth First Search & Breath First Search”. A detail information on “A Prolog KB (program)” was also presented.

Day 3: 29th September 2016

Prof. Deepak Khemani commenced the session with greetings and brief revision of Session-2. He delivered a lecture on Resolution Refutation in First Order Logic, Horn Clauses and Logic Programming.

He also explained the Resolution Method in Propositional Logic, Resolution Rule and Validity of the Resolution Rule. He discussed the Deduction Theorem and proved them by Contradiction. Later he explained how to convert the formula into clause form. The three clauses for the Socratic argument were also discussed. He explained The Horn Clauses and draw diagrams to show how to eliminate resolvents.

The QEEE Session ended with the Q & A and Feedback Session.