Professional Documents
Culture Documents
ARTIFICIAL INTELEGENCE
Dosen Pengampu :
Dr. I Gusti Putu Asto Buditjahtjanto, S.T, M.T.
Oleh :
Muhammad Alil Mafahir : 18070895017
Wiwit Wahyu Setyowati : 18070895002
PROPOSITIONAL LOGIC
1. Syntax
2. Semantics
3. Proof Systems
4. Resolution
5. Horn Clauses
6. Computability and Complexity
7. Applications and Limitations
PROPOSITIONAL LOGIC FORMULAS
1. Syntax
PROPOSITIONAL LOGIC FORMULAS
2. Semantics
In propositional logic there are two truth values: t for “true” and f
for “false”
example, if A stands for “It is raining today” and B for “It is cold
today” and these are both true, then A ∧ B is true. If, however, B
represents “It is hot today” (and this is false), then A ∧ B is false.
Definition
Definition
of the logical
of the logical
operators by truth table
operators by truth table
The statement “A ≡ B” conveys that the two formulas A and B are semantically
equivalent. The statement “A ⇔ B” on the other hand is a syntactic object of the
formal language of propositional logic.
PROPOSITIONAL LOGIC FORMULAS
3. Proof Systems
in taking existing knowledge and from that deriving
new knowledge or answering questions.
Proof Observe
the truth table for implication
PROPOSITIONAL LOGIC FORMULAS
4. Resolution
We now generalize the resolution rule again by
allowing clauses with an arbitrary number of literals.
With the literals A1,...,Am,B, C1,...,Cn the general
resolution rule reads.
Factoring out ¬S in the middle sub-formula brings the formula into CNF in one step.
Numbering the clauses with subscripted indices yields
KB ≡ (S∨N)1 ∧ (¬S)2 ∧ (P ∨N)3 ∧ (¬N ∨P)4.
Now we begin the resolution proof, at first still without a query Q. An expression of the
form “Res(m,n):clause k” means that clause is obtained by resolution of clause m with
clause n and is numbered k.
with the variables A1, . . . , Am and B1, . . . , Bn. This clause can be
transformed in two simple steps into the equivalent form
Clearer statement
“If the weather is nice and there is snow on the
ground, I will go skiing.”
(nice_weather)1
(snowfall)2 MP(2, 3) : (snow)5
(nice_weather ∧ snow⇒skiing)4
(nice_weather)1
Res(5, 4) : (nice_weather ∧ snow⇒f )6
(snowfall)2
Res(6, 1) : (snow⇒f )7
(snowfall⇒snow)3
Res(7, 3) : (snowfall⇒f )8
(nice_weather ∧ snow⇒skiing)4
Res(8, 2) : ()
(skiing⇒f )5
PROPOSITIONAL LOGIC FORMULAS
6. Computability and Complexity