lecture 3- pedicate calculus (AI).ppt
-
Upload
sulman-shahzad -
Category
Documents
-
view
233 -
download
0
Transcript of lecture 3- pedicate calculus (AI).ppt
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
1/22
Artificial Intelligence
Lecture 3: The Predicate
Calculus-I
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
2/22
Today
The Propositional Calculus
The Predicate Calculus
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
3/22
Declarative vs. Procedural
Declarative programming Design representation language maing it
easy to e!press no"ledge
#implify construction of solution Procedural programming
$no"ledge is em%odied in the algorithms and
program code itself Potentially more efficient& %ut more difficult to
develop solution
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
4/22
Propositional Logic
A very simple logic
#ynta!& #emantics& Inference algorithm
Centered around propositions #tatements a%out the "orld that may %e true
or false
e.g.& 'rass is green( )ater is "et( It sno"ed
last Tuesday.
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
5/22
#ym%ols
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
6/22
#entences
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
7/22
#emantics
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
8/22
For propositional expressions P, Q and R :
Proposition *+uivalence
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
9/22
Truth table for the
operator ∧.
Truth Ta%le
Truth table demonstrating theequivalence of and .
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
10/22
Today
The Propositional Calculus
The Predicate Calculus
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
11/22
Predicate Logic
At a high level, Predicate Logic allo"s you to represent
o%ects&
properties of o%ects& and relations among o%ects
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
12/22
Predicate logic
)hereas propositional logic assumes the "orld containsfacts that are true or false/
Predicate logic lie natural language/ assumes the"orld contains 0%ects: people& houses& num%ers& colors& %ase%all games&
"ars& ,
1elations: red& round& prime& %igger than& part of& comes%et"een& ,
2unctions: father of& %est friend& one more than& plus& ,
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
13/22
#ynta!
Constants dept0fC#& cA#PA...
Predicates %rother& near& loves&...
2unctions s+rt& father0f&...
4aria%les 5& 6& A& 7&... Connectives ¬& ⇒& ∧& ∨
*+uality 8
9uantifiers ∀& ∃
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
14/22
#ym%ols
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
15/22
#ym%ols cont.
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
16/22
Terms
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
17/22
Atomic #entences
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
18/22
#entences
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
19/22
Interpretation
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
20/22
Interpretation cont.
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
21/22
Interpretation cont.
-
8/16/2019 lecture 3- pedicate calculus (AI).ppt
22/22
*+uivalence
2or predicates p and +& and varia%les 5
and 6
¬∃5p5/ ≡ ∀5¬p5/
¬∀5p5/ ≡ ∃5¬p5/
∃5p5/ ≡ ∃6p6/
∀5p5/ ≡ ∀6p6/
∀5p5/∧+5// ≡ ∀5p5/∧∀6+6//
∃5p5/∨+5// ≡ ∃5p5/∨∃6+6/ /