# AI News, Artificial Intelligence/Symbolic Programming

- On Wednesday, October 3, 2018
- By Read More

## Artificial Intelligence/Symbolic Programming

Theorem-proving method of Prolog is resolution refutation (assume the negated hypothesis and try to resolve the empty clause) - if you succeed, then it's safe to assert the hypothesis, otherwise not.

{~p,q},{p} stands for 'if socrates is a man (p) then he is mortal (q)' in CNF (p implies q is equivalent to ~p or q);

If we have a goal q, then it might make sense to assert the negated goal for resolution refutation, which is essentially proof by reductio.

This is a form of backward reasoning with sub-goaling: we assert the negated goal and try to work backwards, unifying and resolving clauses until we get to

The recursion goes down to a stopping condition, which returns a definite result that is passed on to the next higher level until we reach the top level again.

'Smart' compilers recognize tail recursion and stop the program once we hit the bottom - but some compilers 'bubble' the result up to the top level before returning it.

- On Wednesday, March 20, 2019

**Lecture 6 -Resolution Principles & Application to PROLOG**

Discrete Maths-Resolution Principles & Application-PROLOG.

**Lecture - 12 Resolution Refutation Proofs**

Lecture Series on Artificial Intelligence by Prof. P. Dasgupta, Department of Computer Science & Engineering, IIT Kharagpur. For more Courses visit ...

**Lecture - 11 Resolution - Refutation Proofs**

Lecture Series on Artificial Intelligence by Prof. P. Dasgupta, Department of Computer Science & Engineering, IIT Kharagpur. For more Courses visit ...

**Mod-01 Lec- 44 Resolution Refutation for PL**

Artificial Intelligence by Prof. Deepak Khemani,Department of Computer Science and Engineering,IIT Madras.For more details on NPTEL visit

**Prolog - PartA**

In this video, we talk about the Logic Programming Language, Prolog. We start with a small description of what is Logic Programming and what differences it has ...

**Mod-01 Lec-41 Knowlege Based Systems**

Artificial Intelligence by Prof. Deepak Khemani,Department of Computer Science and Engineering,IIT Madras.For more details on NPTEL visit

**How to Solve Travelling Salesman Problems - TSP**

A short tutorial on finding intervals for optimal routes, using nearest neighbour for upper bounds and using minimum spanning trees to find lower bounds for ...

**Lecture - 15 Prolog: Exercising Control**

Lecture Series on Artificial Intelligence by Prof. P. Dasgupta, Department of Computer Science & Engineering, IIT Kharagpur. For more Courses visit ...

**Lecture - 15 Resolution in FOPL**

Lecture Series on Artificial Intelligence by Prof.Sudeshna Sarkar and Prof.Anupam Basu, Department of Computer Science and Engineering,I.I.T, Kharagpur .

**Lecture - 13 First Order Logic**

Lecture Series on Artificial Intelligence by Prof.Sudeshna Sarkar and Prof.Anupam Basu, Department of Computer Science and Engineering,I.I.T, Kharagpur .