Download presentation

Presentation is loading. Please wait.

Published byCarson Meriwether Modified over 2 years ago

1
CS344 : Introduction to Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 15, 16, 17- Completeness Proof; Self References and Paradoxes Week of 9/2/09 (with a quiz on 9 th )

2
Soundness, Completeness & Consistency Syntactic World ---------- Theorems, Proofs Semantic World ---------- Valuation, Tautology Soundness Completeness * *

3
An example to illustrate the completeness proof pqp (p V q) TFT TTT FTT FFT

4
Running the completeness proof For every row of the truth table set up a proof: 1. p, ~q |- p (p V q) 2. p, q |- p (p V q) 3. ~p, q |- p (p V q) 4. ~p, ~q |- p (p V q)

5
Completeness Proof

6
We have a truth table with 2 n rows P1 P2 P3... Pn A F F F... F T F F F... T T. T T T... T T

7
If we can show P 1 ’, P 2 ’, …, P n ’ |- A’ For every row where P i ’ = P i if V(P i ) = T = ~Pi if V(P i ) = F And A’ = A if V(A) = T = ~A if V(A) = F

8
Completeness of Propositional Calculus Statement If V(A) = T for all V, then |--A i.e. A is a theorem. Lemma: If A consists of propositions P 1, P 2, …, P n then P’ 1, P’ 2, …, P’ n |-- A’, where A’ = A if V(A) = true = ~Aotherwise Similarly for each P’ i

9
Proof for Lemma Proof by induction on the number of ‘ → ’ symbols in A Basis: Number of ‘ → ’ symbols is zero. A is ℱ or P. This is true as, |-- (A → A) i.e. A → A is a theorem. Hypothesis: Let the lemma be true for number of ‘ → ’ symbols ≤ n. Induction: Let A which is B → C contain n+1 ‘ → ’

10
Induction: By hypothesis, P’ 1, P’ 2, …, P’ n |-- B’ P’ 1, P’ 2, …, P’ n |-- C’ If we show that B’, C’ |-- A’ (A is B → C), then the proof is complete. For this we have to show: B, C |-- B → C True as B, C, B |-- C B, ~C |-- ~(B → C) True since B, ~C, B → C |-- ℱ ~B, C |-- B → C True since ~B, C, B |-- C ~B, ~C |-- B → C True since ~B, ~C, B, C → ℱ |-- ℱ Hence the lemma is proved. Proof of Lemma (contd.)

11
Proof of Theorem A is a tautology. There are 2 n models corresponding to P 1, P 2, …, P n propositions. Consider, P 1, P 2, …, P n |--A and P 1, P 2, …, ~P n |--A P 1, P 2, …, P n-1 |-- P n → A and P 1, P 2, …, P n-1 |-- ~P n → A RHS can be written as: |--((P n → A) → ((~P n → A) → A)) |--(~P n → A) → A |--A Thus dropping the propositions progressively we show |-- A

12
Self Reference and Paradoxes

13
Paradox -1 “This statement is false” The truth of this cannot be decided

14
Paradox -2 (Russell Paradox or Barber Paradox) “In a city, a barber B shaves all and only those who do not shave themselves” Question: Does the barber shave himself? Cannot be answered

15
Paradox -3 (Richardian Paradox) Order the statements about properties of number in same order. E.g., 1. “A prime no. is one that is divisible by itself of 1.” 2. “ A square no. is one that is product of 2 identical numbers.”.

16
Paradox -3 (Richardian Paradox) Definition: A number is called Richardian if it does not have the property that it indexes. For example, in the above arrangement 2 is Richardian because it is not a square no.

17
Paradox -3 (Richardian Paradox) Now, suppose in this arrangement M is the number for the definition of Richardian M : “A no. is called Richardian … “ Question : is M Richardian? Cannot be answered.

18
All these paradoxes came because of 1. Self reference 2. Confusion between what is inside a system and what is outside

19
Answer to Quiz-1 (9/2/09)

20
Question: proof of MR theorem “Prove that if monotone restriction is satisfied, the path to a node taken up for expansion is optimal.” i.e., for a node n being expanded, g(n) = g*(n) Arpit’s Maheswari’s contribution in the proof is acknowledged

21
Proof Lemma: If monotone restriction is satisfied, f values of nodes expanded is non decreasing. i.e., if n q is expanded after n p, f(n p ) ≤ f(n q ) Proof of Lemma: Case 1 : n q is child of n p g(n q ) + h(n q ) = g(n p ) +c(n p, n q ) + h(n q ) but, c(n p, n q ) + h(n q ) ≥ h(n p ) hence, f(n q ) ≥ g(n p ) + h(n p ) = f(n p ) npnp g nqnq h(n p ) h(n q )

22
Proof of Lemma Case 2 : n p and n q are both in open list, n q expanded after n p by definition of A*, f(n p ) ≤ f(n q ) Case 3 : n q did not exist on open list when n p was expanded. But there was another node n r which led to n q later i.e., f(n p ) ≤ f(n r )... ≤ f(n q ) Thus, the lemma is proved.

23
Actual Proof of the Theorem Proof by induction on the length of the path to an expanded node n. n q is in OL. Base Case: k = 0 g(s) = g*(s) statement is true Hypothesis: Suppose the statement is true for length = k. i.e., g(n p ) = g(n k ) = g*(n p ) s n n1n1 nqnq npnp k All in closed list

24
Actual Proof of the Theorem Induction: To examine g(n) = g(n k+1 ) By lemma, f(n) ≤ f(n q ) i.e., g(n) + h(n) ≤ g(n q ) + h(n q ) c(n p, n) + g(n p ) + h(n) ≤ g(n q ) + h(n q ) Add c(n q, n) to both sides, c(n p, n) + g(n p ) +h(n) + c(n q, n) ≤ g(n q ) + c(n q, n) +h(n q ) But, h(n) + c(n q, n) ≥ h(n q ) hence, c(n p, n) + g(n p ) ≤ g(n q ) + c(n q, n) Thus, g(n) = g*(n) nqnq n g h(n q ) h(n) g(n) through n p g(n) through n q

25
Assignment-2 Create a system to prove syntactically the theoremhood of any propositional calculus expression. This will be an automatic theorem prover for propositional calculus. The input to the system will be any propositional calculus expression and the output a yes/no answer depending on whether the expression is a theorem or not.

Similar presentations

OK

Review for CS1050. Review Questions Without using truth tables, prove that (p q) q is a tautology. Prove that the sum of an even integer and an.

Review for CS1050. Review Questions Without using truth tables, prove that (p q) q is a tautology. Prove that the sum of an even integer and an.

© 2018 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on regional rural banks Download ppt on life process for class 10 cbse all 10 Ppt on switching devices on clash Ppt on service oriented architecture Ppt on limits and derivatives help Ppt on 2 stroke ic engines Ppt on soil pollution Ppt on heritage tourism in india Ppt on kingdom of dreams Ppt on object oriented programming with c++ pdf