Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

ΠΛΗ31 ΜΑΘΗΜΑ 2.3 (ΕΚΤΥΠΩΣΗ)

4,011 views

Published on

Α.Θεωρία
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) Διορθώσεις σε Αντιφατική Βάση Γνώσης
Β.Ασκήσεις

Published in: Education
  • Be the first to comment

  • Be the first to like this

ΠΛΗ31 ΜΑΘΗΜΑ 2.3 (ΕΚΤΥΠΩΣΗ)

  1. 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. 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. 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. 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. 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. 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. 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. 8. $& 2 ( $ ,$& $ 2 2.2) % *$ 0 $ ( & % $ & . (! "

×