Α.Θεωρία 1) Ενοποίηση και Κανόνες Συλλογισμού 1.1) Ενοποίηση 1.2) Κανόνες Συλλογισμού 1.3) Παραδείγματα Αναγωγών 2) Αναγωγή μέσω αντίκρουσης της αντίφασης 2.1) Ορισμός 2.2) Παράδειγμα 2.3) Αλγόριθμος Αναγωγής μέσω Αντικρουσης της Αντίφασης 2.4) Ευρετικά για την εύρεση της απόδειξης 2.5) Εξαγωγή Απαντήσεων 3) Επεκτάσεις 3.1) Εξαγωγή Απαντήσεων 3.2) Συμπερασμός 3.3) Διορθώσεις σε Αντιφατική Βάση Γνώσης Β.Ασκήσεις

1. 31
2:
2.3:
! "
.
1.
1.
2.
3.
2.
1.
2. !
3. "
4. ! #
5. #
3. !
1. #
2.
3. $ " %! &
%.
! "
. #$
1. % & ' ( $ )) & "
1. %
%) " $ "% & ) & $ & ( .
* ) $ +$& ( & , ' .
& % *$& * ) & ) & :
+$& ( & Tom $ & Bob.
*& *& $ % % *& +$& & % %$& & ,"$& % $& *" * )- $&
+ &.
& % *$& & + & & * )- $& :
%$& $ .) x $& $ tom & $ .) y $& $ jim.
$ ( & $ & $ % x=tom & y=jim.
! "
parent(tom,bob)
parent(x,jim)
parent(tom,y).
. #$
1. % & ' ( $ )) & "
1. %
' ( $ $ % :
#! "
!
parent(tom,x)
parent(y,bob)
bob/x
tom/y
parent(tom,bob)
person(x,date(11,10,1954))
person(tom,date(y,z,w))
tom/x
11/y
10/z
1954/w
person(tom,date(11,10,1954))
person(tom,y)
person(x ,date(11,10,1954))
tom/x
date(11,10,1954)/y
person(tom,date(11,10,1954)),
parent(tom,x)
parent(y,z)
tom/y
z/x
parent(tom,x)
Q(f(x))
Q(x)
$ $ & $ % . $ .) *$ $ % &$ & $ ( %
%$ & ,$& *& $ .) .
Q(f(y))
Q(x)
f(y)/x Q(f(y))
( )
)! ! ) .
parent(tom,x)
parent(bob,y)
$ $ & $ % . "

2. . #$
1. % & ' ( $ )) & "
2. ' ( $ )) & "
/ & ," % &$ % $& & ) & ($ & ) $ ),
( $ % " $0 , " %$ , & % &- ( $ )) & "
($0 & $ % $& % $ & $% ) $ )
1% , % )) ( $ )) & " ($0$ + $ 3, $ & + $ ( !
$! "
Modus Ponens
& ," : & ( $ & ,"$& &
"
& ,"$&: ( $ & ,"$& &
A & ,"$&: & ( $ & ,"$& &
. #$
1. % & ' ( $ )) & "
3. *$ -
( %$ " $ & " & % *$& & ( $ )$ .
2) % $ & % *$ - & $0 & $ $ , !
%! "
*$& 1
*$& 3
*$& 5
*$& 2
*$& 4
. #$
2.
1. & (
$ & )) $& % % !
&! "
& *$ 0 ( &: & ,"$& % (
$ *$ 0 ( &: % (
$ & $% (* ) * ( & %$ & %( $ ( $ )) & " $ % ( )
* :
* $ & " ) % $ $ ' (% " . - – * ) *
*& % & - % + $ ( & & ,"$&) & + $ & % *$ 0 $ % (
( % $ * ) * $ $ - ). ( $:
• & $ % ( $ ' . - .
• % *$& " $ $ $,$ ( $ % ( ).
. #$
2.
2. *$&
'! "
3 4 :
( ): $ 5 $ % - $ & ) & :
/% & % $ *& . $& $ & $ .
& - &$ *$ $ & $ $ .
& $ - &$ , "
! :
6 & % &- : *& . +$&/1, $ /1, - & /1, " /1, %( $ & + " $ $
% $& $ &:
!"!#$ $%%&!'!()*
+ ,-. ! $%%&!'!()*
/ 0 ,-. ! 1)2')3412

3. . #$
2.
2. *$&
(! "
3 4 ( ,$& ):
( %): $ 5$ $ & % $& $ ' :
! :
' $ ) & $ % ( $ % $& % *$ $ & Horn:
567879:6 ; :<<=7>7?@A ;
BCD67 ; :<<=7>7?@A ;
& % ( 3 $ ) & . $ % ' :
2 1 & 2: $ % & " &.
2 3:,-. ! 1)2')3412
2 4,5,6: $ % & " &.
2 7:
E BCD67 F
E G@H>@IJGH F
$%- 2 - $ &:
!"!#$ K $%%&!'!()* K
+ ,-. ! L $%%&!'!()* L
/ ,-. ! M
/ + 1)2')3412 M
. #$
2.
2. *$&
)! "
3 4 ( ,$& ):
( &): % *$ 0$ $ % ( : « & & % , " *$ % "
*& . »
! :
+ .,. : 0 1)2')3412 !"!#$
+ ! : 0 1)2')3412 !"!#$
( ! : 1)2')3412 !"!#$
0 1)2')3412 !"!#$ N 1)2')3412 !"!#$ N
N 1)2')3412 !"!#$ N 1)2')3412 !"!#$
! )! : O 1)2')3412 !"!#$
7 . - $ &:
!"!#$ K $%%&!'!()* K
+ ,-. ! L $%%&!'!()* L
/ ,-. ! M
/ + 1)2')3412 M
O 1)2')3412 P !"!#$ P
. #$
2.
2. *$&
! "
3 4 ( ,$& ):
( &): % *$ 0$ $ % ( : « & & % , " *$ % "
*& . »
! :
+ .,. : 0 1)2')3412 !"!#$
+ ! : 0 1)2')3412 !"!#$
( ! : 1)2')3412 !"!#$
0 1)2')3412 !"!#$ N 1)2')3412 !"!#$ N
N 1)2')3412 !"!#$ N 1)2')3412 !"!#$
! )! : O 1)2')3412 !"!#$
7 . - $ &:
!"!#$ K $%%&!'!()* K
+ ,-. ! L $%%&!'!()* L
/ ,-. ! M
/ + 1)2')3412 M
O 1)2')3412 P !"!#$ P …% *$ 0 $ ( & $ & $%
. #$
2.
2. *$&
! "
( ,$& )
7 . - $ &:
!"!#$ K $%%&!'!()* K
+ ,-. ! L $%%&!'!()* L
/ ,-. ! M
/ + 1)2')3412 M
O 1)2')3412 P !"!#$ P
' & , $:
%(
"%
"% $& "% % &
(3.2,4) Q !"!#$ R P
(5,1) S $%%&!''!()* R K
(6,2) T ,-. ! R L
(7,3.1) U

4. . #$
2.
2. *$&
! "
" :
$ &:
O 1)2')3412 P !"!#$ P / + 1)2')3412 M
Q !"!#$
R P
!"!#$ K $%%&!'!()* K 8
R K
S $%%&!''!()* + ,-. ! L $%%&!'!()* L 8
R L
T ,-. ! / ,-. !
U
!"!#$ K $%%&!'!()* K
+ ,-. ! L $%%&!'!()* L
/ ,-. ! M
/ + 1)2')3412 M
O 1)2')3412 P !"!#$ P
. #$
2.
3. ) ( &
#! "
%& ( " $ .&.) ) ) ( &
$ & () :
$ % ,$& % & $ * ) «$" ) » $0 %(*$&0 ( % (.) $ & NP-
Complete)
1. 4 9 1' 4' _ 3 4 =S /* S= " ) % $ $ '
& % *$& */
2. % ) .$:
2.1 % )$0$ %( & 4 9 1' 4' _ 3 4 *" 0$, & % $& %
$ (+$ &
2.2 & " $ %( % (
2.3 ( $ $ %( % ( & 4 9 1' 4' _ 3 4
( $ % ( $ & ) *& +$ & - % $
. #$
2.
4. $ & & 0 %(*$&0
$! "
$ & *" $ $ & % $& $0 $ & % $& $ )( $ :
' & *" &* $ ( :
• # : :$ & $ %( % ( - (, &
* + $ & $0 $ % $& - % ( . " ) % &0 $ &
% ( - (, & & %( . ) ,& % ( %(
% * + $ % %$& $& " ) % &0 .
• ! ! : & $ * + $ « & % $& », * ) *
% $& % , * ( & ( $ %) & )$ . /
& ( $ %) & )$ % $ ( %& $
% *$ 0 $ $ % (
$ $ & $ & , & :
• 0$ & $ %( % ( & %$& * + $ * (
& % $& .
• %&% ( $ % $ $ , & $ " $ % &$ % $&
* $ $ . ,& ( ( (% $& $)) & - )
. #$
3. %$ $&
1. 0 % $
%! "
*& *& % $ , & % & $ &
$0 % $ %( . -
& & - , & % & $ " ( & % $& « 4».
( $ & $ & *& *& 2 . :
- $& $ $ - ( $ ( & $ & $ .) &
% & $ $ - ) 2 - .
* " $ $ $,$ $ % (
;%$& $& $ 2 - ) % ( (* ) *
% ( OR )
$ &.- *& $& - % "5$& & $ % (
% % $ & & % $ - % , $
$&.
,()& : $& ) $ - *$ * & $ .) . . . & &
% ( % %) & ,"$&. 7 % , %$ & & %( *& *& - .

5. . #$
3. %$ $&
1. 0 % $
&! "
! :
( ) 5 $ $ ' & % $& :
' $ 5 & ,$& % $
' $ *$) & $ & 5 &
)& $ & *$) &
% :
; V7=6 ; @J=7 ;W X?:=J<C?H
++++ ; 5:YB6G6 ; V7=6 ;
//// 5:YB6G6 Z@J6Y6
(2) $ 5 $ & % $& $ ' :
V7=6 ; @J=7 ; W X?:=J<C?H
++++ 5:YB6G6 ; V7=6 [
//// 5:YB6G6 Z@J6Y6
. #$
3. %$ $&
1. 0 % $
'! "
! :
( ) 0 $ % . $ & % $ - : « & ,$& )&»
*& "% $ $ ' & & $ &:
@J=7 Z@J6Y6W ;E
% ( $ &:
@J=7 Z@J6Y6W ;E
% ( $ ' $ &:
@J=7 Z@J6Y6W ;E
& $ % ( 2 -
@J=7 Z@J6Y6W ;E
7 . - $ &:
V7=6 ; @J=7 ; W X?:=J<C?H
++++ 5:YB6G6 ; V7=6 [
//// 5:YB6G6 Z@J6Y6
OOOO @J=7 Z@J6Y6W ;E
$ &:
. #$
3. %$ $&
1. 0 % $
(! "
x2/
x1/ , x3/
]
@J=7 Z@J6Y6W ;E V7=6 ; @J=7 ; W X?:=J<C?H
^ V7=6 Z@J6Y6 5:YB6G6 ; V7=6 [
_ 5:YB6G6 Z@J6Y6 E 5:YB6G6 Z@J6Y6
. #$
3. %$ $&
1. 0 % $
)! "
& $ ) $ - .
@J=7 Z@J6Y6W ;E @J=7 Z@J6Y6W ;E
' & $ $) " $ & % )& :
$%- )& ,$& % $
x11/
x1/ , x3/
] @J=7 Z@J6Y6W X?:=J<C?H
@J=7 Z@J6Y6W ;E @J=7 Z@J6Y6W ;E V7=6 ; @J=7 ; W X?:=J<C?H
^ V7=6 Z@J6Y6 @J=7 Z@J6Y6W X?:=J<C?H 5:YB6G6 ; V7=6 [
_ 5:YB6G6 Z@J6Y6 @J=7 Z@J6Y6W X?:=J<C?H E 5:YB6G6 Z@J6Y6
x2/

6. . #$
3. %$ $&
2. %$ (
! "
! :
$* -
) & *$ %$ " .
<* " & $ & ) & (.
, $ * $ & ) & (.
& *$ %$ $& ( $ *$ $ & $ ( .
% *$ 0 $ $,$ (, ), ( & &* *$ $ &
$ ( .
- $ * $
• , & %(*$&0 % $
• , & $0 % $
( :
• % " $ , & % & $ $ )$ %$ ". '
$ % $& . - % "% $ % $& % & ," (% -
$ " $ & % $& % * $ & %$& $!)
. #$
3. %$ $&
2. %$ (
! "
! :
= & )- :
) & *$ %$ " .
<* " & $ & ) & (.
, $ * $ & ) & (.
& *$ %$ $& ( $ *$ $ & $ ( .
' & & :
; `HY7I?6D@ ; X:?7:6 ;
++++ ; <765@J=6 ; `HY7I?6D@ ;
//// ; GJ[?:=657 ; `HY7I?6D@ ;
OOOO ; X:?7:6 ; 7:?@A ;
+$ & ' & (2
- ):
`HY7I?6D@ ; X:?7:6 ;
++++ <765@J=6 ; `HY7I?6D@ ;
//// GJ[?:=657 ;E `HY7I?6D@ ;E
OOOO X:?7:6 ; 7:?@A ;
$ &:
% ( 6 & &,$ % ( ' :
; <765@J=6 ; 7:?@A ;
) * ( & <* " & *$ $ & $
a2b!3( .) K c$(!$ K
O c$(!$ d !$()* d
Q a2b!3( .) K !$()* K
%! )4& L a2b!3( .) L
S %! )4& K !$()* K
dR K
LR K
. #$
3. %$ $&
3. & - $& $ & & 2 -
! "
! :
$* -
) & *$ %$ " .
, $ * $ & ) & (.
% $ & , $ *
& , $ *$ %$ "
" % *$ 0$ $ ( & % % - $ & & & (*$ , ( & % %$ $&, ))
& *$ %$ $&), % , $ $ $ *&( - $ %$ & ,$& & $& .
* $ & & 2 - % %$ & ,$& , * ) * ( &
• % $ % *$&, $ & % ( , ))
• % $ % *$&, $ & % ( .
( $ % . $ $ *&( . - :
• & )) )$ *& - $& ( $ % * " & & $& .
. #$
3. %$ $&
3. & - $& $ & & 2 -
#! "
! :
= & )- :
) & *$ %$ " .
, $ * $ & ) & (.
% $ & , $ *
& , $ *$ %$ "
' & & :
; `HY7I?6D@ ; X:?7:6 ;
++++ ; GJ[?:=657 ; `HY7I?6D@ ;
//// GJ[?:=657 efghigj
OOOO ; GJ[?:=657 ; X:?7:6 ;
+$ & ' & (2 - ):
`HY7I?6D@ ; X:?7:6 ;
++++ GJ[?:=657 ; `HY7I?6D@ ;
//// GJ[?:=657 efghigj
OOOO GJ[?:=657 ;E X:?7:6 ;E

7. . #$
3. %$ $&
3. & - $& $ & & 2 -
$! "
( ! !
% ( $ ' : c$(!$ klmnomp
: c$(!$ klmnomp
$ ' : c$(!$ klmnomp
$& 2 :Q c$(!$ klmnomp
% .) & ( ( $ & :
; `HY7I?6D@ ; X:?7:6 ;
*& - $ $& $0 $ :
; `HY7I?6D@ ; GJ[?:=657 ; X:?7:6 ;
Q c$(!$ klmnomp
14q($& ! P c$(!$ P
S 14q($& ! klmnomp
/ 14q($& ! klmnomp
T
( ! !
% ( $ ' : c$(!$ klmnomp
: c$(!$ klmnomp
$ ' : c$(!$ klmnomp
$& 2 :Q c$(!$ klmnomp
Q c$(!$ klmnomp
a2b!3( .) K c$(!$ K
S a2b!3( .) klmnomp
+ 14q($& ! L a2b!3( .) L
T 14q($& ! klmnomp / 14q($& ! klmnomp
U
klmnompR K
klmnompR L
klmnompR P
$&
1
& & % $& :
& "
% )& $ & "
& % & - $ ( % $&.
& $ & %
( ) $ 5 $ & % $& $ '
%! "
(2) $ 5 $ & % $& ' $ '
&! "
( ) % *$ 0 $ ( & & -$& % )& .
'! "

8. $&
2
( $ ,$& $ 2 2.2)
% *$ 0 $ ( & % $ & .
(! "