8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
1/28
COIT, UNITEN
Chapter 2Logic
Chapter 2Logic
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
2/28
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
3/28
COIT, UNITEN
3
$&
$
+$$ ,$$ '% $
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
4/28
COIT, UNITEN
4
! "
# $ " %
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
5/28
COIT, UNITEN
5
'& * '& * & & & &
' ' ' ' ( & ' ( & ' ( & ' ( & '
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
6/28
COIT, UNITEN
6
-$ *-$ *
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
7/28
COIT, UNITEN
7
!!!!
$ $ $ $
) ( ) %%% #
" *
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
8/28
COIT, UNITEN
8
% & ./
All Malaysians are car-drivers (1) All people in KL are Malaysians (2)
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
9/28
COIT, UNITEN
9
% & ./
% % # ($0
1 2 $(./
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
10/28
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
11/28
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
12/28
COIT, UNITEN
12
7 # ' %7 # ' %
**
. ( $/0The red block is on the green block.
The green block is somewhere ABOVE theblue block.
The green block is NOT on the blue block.
The yellow block is on the green OR the blue.The blue block is on SOME other block.
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
13/28
COIT, UNITEN
13
The red block is on the green block. The green block is on the yellow block.
The yellow block is on the blue block.
The blue block is on the black block.
Main conclusion
The black block is on the table.
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
14/28
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
15/28
COIT, UNITEN
15
Rule InstancesRule Instances
#%% ('%( ' & $ '&+ % #& % $
&& !
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
16/28
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
17/28
COIT, UNITEN
17
Sound Rules of InferenceSound Rules of Inference 3( ./
P Q P Q
--------
Q P
:' .:/ P
-------
P
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
18/28
COIT, UNITEN
18
ProofProof
+ + ,
"
- +
. &
/ ++ ,
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
19/28
COIT, UNITEN
19
ExampleExample
When it is raining, the ground is wet.When the ground is wet, it is slippery.
It is raining. Prove that it is slippery.
;! # *
! *
! # ,*0 ;= ! & ,*0
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
20/28
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
21/28
COIT, UNITEN
21
Implication Introduction: s => (t => s)
Implication Distribution: (r => (s => t))
=> ((r => s) => (r => t))
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
22/28
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
23/28
COIT, UNITEN
23
Inference RulesInference Rules (II)(II)
,$ *$
1 * $ 8 '% = $ * = % 8 !
,$ $ *
1 % * 8 = $ * =
% 8 !
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
24/28
COIT, UNITEN
24
WellWell--FormedFormed Formula (wff)
TAUTOLOGY
CONTRADICTION
A complex formula that includes logical
connectives. The truth value of a wff is known
as its semantics or meaning.
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
25/28
COIT, UNITEN
25
$ &
A set of well-formed formulas (wffs)constructed for any field of knowledge
is said to be the theory of that field.
0 $!$ " &
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
26/28
COIT, UNITEN
26
Some other termsProposition
any statement that can be assigned a value of
true or false.Clausal form
using only connectives such as: and , or and not.
Horn clause
contains only one positive literal.
Literalis an atomic formula or the negation of an atomic
formula.
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
27/28
8/11/2019 CHP-2-LOGIC(Artificial Intelligence)
28/28
Top Related