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.4 (ΕΚΤΥΠΩΣΗ)

3,077 views

Published on

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

Published in: Education
  • Be the first to comment

  • Be the first to like this

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

  1. 1. 31 2: 2.4: ! . 1. 1. 2. 2. 1. 2. 3. 4. 5. 6. 7. ! 3. " 1. 2. 3. #. . " # 1. $ 1. $ % # & '( $ $ $) ' $ , ' # ' ( # ' * : % $ ( ' + ( ) ' ) # IF..THEN + )' + , : $ ( + $) + $ . %' ! $ ' - ) « ' + ) & -$ » # * + ' )' &$ ' ) $! ) ' $' - $) .) $ ) + . $ + ' $) '& $ ($)(( $ ' ' – ()$#. $ ) # * + ' + ' ) &( ) ' . #* ) + '#/ ) + # . #* ) ($)(( $ ' '#$ – $ , ()$#. $ ) $ + 0&0 # ) # ( + ! ' $) ' $ ) $)$ ' # « '( 1+ », (( .# + (( ( )' 0 + $ ) ( ' ) . IF $) + THEN $) ' $ . " # 2. ()$#. $ 1. $ % $ $ ' ( ) # * : $ ) $ ) ' ) $! ) ($) + $# ) ) ' ( $! IF) + ' ) + ' ' (& ) + ' + ( '#()$ $) + $ ) & ' ) + ( ') . ) + & -$ ' ) ' $! '(& & $ & -$ . ' + 2 & $) '& $ ' ) + ' #. $# ( ) 3 $ ! $ (& ! ) + '#()$ ) + $ ' ) ' ' ) ') . #
  2. 2. . " # 2. ()$#. $ 2. . 1: # ' + 0 $ + : R1: if A and B then C R2: if C and D then E R3: if A and I then ~H R4: if A and ~D then E R5: if C and ~D then I R6: if E and I then ~H R7: if E and H then ~G R8: if E and ~H then G * ! # G ! $ ' - ()$#. $ , ! + ' ! $# # ={ ,3,~D,E} 4 $ ' $ * $ + (& ! ): ' #' $ $ + )$ ' ( ! # + ' ) ' # $ $ , . ') . # #. + . , . . " # 2. ()$#. $ 2. . ! $ : 5 $! G. 3 ' ) ' ' ) ') . # $# 0 { ,3,~D,E} 1 R1,R4 R1 {A,B,~D,E,C} 2 R4,R5 R4 {A,B,~D,C, } 3 R5 R5 {A,B,~D,C, ,I} 4 R3,R6 R3 {A,B,~D,C,E,I,~H} 5 R6,R8 R6 {A,B,~D,C,E,I,~H} 6 R8 R8 {A,B,~D,C,E,I,~H,G} R1: if A and B then C R2: if C and D then E R3: if A and I then ~H R4: if A and ~D then E R5: if C and ~D then I R6: if E and I then ~H R7: if E and H then ~G R8: if E and ~H then G 1. 2. ( if ) 3. 4. THEN ( ) . " # 2. ()$#. $ 3. ( + &( $ 67" 6" 8 7 : 1. ! + ' # $ $# • # $ ! + &( $ . ' ) . , $ $ $# 2. $ ' ) + ' ( $+ ) ) ( ) + )$ ) • * / $ ' ) + + ' )' &$ ) (' + ' ) • + ) # . ) $ ( $ + )$ . 3. ' ( + • ' ( ) + # 0 $ ' ) ' (& 4. ) . $ ) + • ( . + ( # + ' ) &! ' ( ! # ' ' 0 5. & $ $# • ') . $ ) + &! ' &( $ ' ' # $ $# ' $ + & -$ . 6. 0 # + $ $ ( $ $ , (( - ' $ 0 2. • + $ + #/ ' +,- $ . " . " # 2. ()$#. $ 4. +& '#()$ + )$ 8' ! ) . , $ +& ' ( ) + ' ) ') . #: 1. )! # ' ( • ' (& )! # + ' ) ') . # . 2. , • ' (& + ' ) &! , # ' - $ $ 3. • # & 0 ' $ + + + ' (& ) ( ' 4. ( $ + ' ,) ' ( 2 • ' &' ') . $ + ' $$ ' # , & $ #. . . & . 5. $, ' + • ' (& + ' ) $ - ' ' $, . . & ' ) ' $ & + $ 0 $ -$ 6. ) + + + ( * .#+ )$ ) • ' (& + ' ) $ - ' $$ $) + (' . + + ) # : . ( $ + # )' ! + , + + . #/ ' &' + ) ( (( - $ $ '&, $ 0 ! ) ' $)! # + # $ , + ' $, .
  3. 3. . " # 2. ()$#. $ 5. . (( $ +& '#()$ $) + $ $ 2: #. 0 $ + , * ! # G ()$#. $ , ! + ' ! $# # ={ ,3,~D,E} $ + (& ! ): ' $, + . ) ) $ , . 7$! #. + ') . # # , . 5 $! G. 3 ' ) ' ' ) ') . # $# 0 { ,3,~D,E} 1 R1,R4 R1 {A,B,~D,E,C} 2 R4,R5 R5 {A,B,~D,E,C,I} 3 R3,R4,R6 R3 {A,B,~D,E,C,I,~H} 4 R4,R6,R8 R8 {A,B,~D,E,C,I,~H,G} R1: if A and B then C R2: if C and D then E R3: if A and I then ~H R4: if A and ~D then E R5: if C and ~D then I R6: if E and I then ~H R7: if E and H then ~G R8: if E and ~H then G . " # 2. ()$#. $ 6. . + % ' + $ $ ' ! $ ' # + + ($ $ !# + + ( + ). # $ # ' # $ (0(&' 2.3). . & ' . : % 3: # + ( ) : (Tom is-parent-of Bob) (Tom is-parent-of Pam) (Bob is-parent-of Jim) (Jim is-parent-of John) 9 #$ ' $ $ ' . #* o $!) $ (Tom is-father-of Bob) , . . & 0 $ + : 4 $ ' $ $ + '#()$ $) + $ ' ) $ , + . ) )! # ' ( . '#$ #. + . ') . # . , #. . . & . R1 If and Then (x is-parent-of y) (y is-parent-of z) (x is-grandparent-of z) R2 If and Then (x is-parent-of y) (x is-male) (x is-father-of y) R3 If and Then (x is-parent-of y) (x is-female) (x is-mother-of y) (Tom is-male) (Bob is-male) (Jim is-male) (Pam is-female) . " # 2. ()$#. $ 6. . + % : 3 ' ) ' ' ) ') . # $# 0 (Tom is-parent-of Bob) (Tom is-parent-of Pam) (Bob is-parent-of Jim) (Jim is-parent-of John) 1 R1(x=Tom, y=Bob, z=Jim) R1(x=Bob, y=Jim, z=John) R2(x=Tom, y=Bob) R2(x=Tom, y=Pam) R2(x=Bob, y=Jim) R2(x=Jim, y=John) R1(x=Tom, y=Bob, z=Jim) (Tom is-parent-of Bob) (Tom is-parent-of Pam) (Bob is-parent-of Jim) (Jim is-parent-of John) 2 R1(x=Bob, y=Jim, z=John) R2(x=Tom, y=Bob) R2(x=Tom, y=Pam) R2(x=Bob, y=Jim) R2(x=Jim, y=John) R1(x=Bob, y=Jim, z=John) (Tom is-parent-of Bob) (Tom is-parent-of Pam) (Bob is-parent-of Jim) (Jim is-parent-of John) 3 R2(x=Tom, y=Bob) R2(x=Tom, y=Pam) R2(x=Bob, y=Jim) R2(x=Jim, y=John) R2(x=Tom, y=Bob) (Tom is-parent-of Bob) (Tom is-parent-of Pam) (Bob is-parent-of Jim) (Jim is-parent-of John) (Tom is-male) (Bob is-male) (Jim is-male) (Pam is-female) (Tom is-male) (Bob is-male) (Jim is-male) (Pam is-female) (Tom is-grandparent- of Jim) (Tom is-male) (Bob is-male) (Jim is-male) (Pam is-female) (Tom is-grandparent- of Jim) (Bob is-grandparent- of John) (Tom is-male) (Bob is-male) (Jim is-male) (Pam is-female) (Tom is-grandparent- of Jim) (Bob is-grandparent- of John) (Tom is-father-of Bob) R1 If and Then (x is-parent-of y) (y is-parent-of z) (x is-grandparent-of z) R2 If and Then (x is-parent-of y) (x is-male) (x is-father-of y) R3 If and Then (x is-parent-of y) (x is-female) (x is-mother-of y) . " # 2. ()$#. $ 7. #+ ) ' : & / # + ' + $ + $ , . + ) ( , )) ' + #/ ) # ' ( + ' + $ -$ , # + + «' . * » 3: $! . $ # .#+ ) + 0 $ -$ ) . # 1: R1: if A and B then C R2: if C and D then E R3: if A and I then ~H R4: if A and ~D then E R5: if C and ~D then I R6: if E and I then ~H R7: if E and H then ~G R8: if E and ~H then G A 3 C D E ~D I ~H H ~G G
  4. 4. . " # 3. $ , ()$#. $ 1. ( + &( $ #$ , ()$#. $ * + ' $ ! : • $' ) #$ ) $ ! $) '& $ + ' ) + + ' ( 0 ) . • ' (& + + , $ ' ) + #/ $ + '#()$ $) + $ . • )' ! ) 0( & ' & ' ) + #/ + 0 $ ! • ' ( 0 ) + & $ ! ' ) &! ' + 2 , &! . $ + ' . • ( ' $& $ # # ' ( + «+ 0 ». * $ $ $ , + ' ' ) + 0 )-$ ! ) ' ) ' + ' # - . 6 4 ! & $ ! . ) #/ $) '& $ + , + ' , 7 48 7!!! $) + + ) .& . ) ' ) + $+ ) / ) # % $ ! ,& ! # '( #$ : % ,& '( #$ % + ) ' # ) )' &$ # AND , $ / )* 0 (- - $ & $ ! ' ) ' # + ' # . , + ' ) ' + #/ ) OR $ ! * : ! : G : 4 : 4 . " # 3. $ , ()$#. $ 1. ( + &( $ ! : H . " # 3. $ , ()$#. $ 2. . 4: # ' + 0 $ + : R1: if A and B then C R2: if C and D then E R3: if A and I then ~H R4: if A and ~D then E R5: if C and ~D then I R6: if E and I then ~H R7: if E and H then ~G R8: if E and ~H then G * ! # G ! $ ' - $ , ()$#. $ , ! + ' ! $# # ={ ,3,~D,E} 4 $ ' $ * $ + (& ! ): ' #' $ $ + )$ ' ( ! # + ' ) ' # $ $ , . ') . # #. + . , . . " # 3. $ , ()$#. $ 2. . ! % : R1: if A and B then C R2: if C and D then E R3: if A and I then ~H R4: if A and ~D then E R5: if C and ~D then I R6: if E and I then ~H R7: if E and H then ~G R8: if E and ~H then G ! : G : R8 ! : E ! : ~H : R3 ! : I !"#$ "#: ME: { , ,~D,E,C,I,~H,G} : R5 ! : C ! : ~D : R6 ! : A : R1 ! : A ! : B % : 1. & : 2. & ' : % OR ( 3. ) , .
  5. 5. . " # 3. $ , ()$#. $ 3. . + " R1 If Then (x likes StevenPressfield) (x likes historical-novels) R2 If and Then (x likes y) (z is-author-of y) (x likes z) R3 If and Then (x lives-in Lamia) (x likes historical-novels) (x likes mythology) R4 If Then (x likes GatesofFire) (x likes mythology) R5 If Then (x lives-in Salonica) (x likes AlexandertheGreat) R6 If Then (x likes mythology) (LastoftheAmazons is-recommended-for x) R7 If and Then (x likes AlexandertheGreat) (x likes historical-novels) (TheVirtuesofWar is-recommended-for x) 6 7 : # + ( ) : (Bill lives-in Lamia) (Chris lives-in Salonica) (Katherine lives-in Lamia) (Chris likes historical-novels) (Bill likes GatesofFire) (StevenPressfield is-author-of GatesofFire) (StevenPressfield is-author-of LastoftheAmazons) 9 #$ ' $ $ ' . #* o $!) $ (LastoftheAmazons is- recommended-for Bill), . . & 0 $ + : . " # 3. $ , ()$#. $ (3. . ) # $ , ()$#. $ # $! . $ AND/OR .& . ) ' ) $ ! &! . ' $) '& $ $ ' ) $! ) . $ : ! . / ) AND/OR .& . - ! : (LastoftheAmazons is-recommended-for Bill) : R6 x=Bill ! : (Bill likes Mythology) : R3 : R4x=Bill ! : (Bill lives-in Lamia) ! : (Bill likes historical-novels) : R1 x=Bill ! : (Bill likes Steven-Pressfield) : R2 x=Bill, z=Steven-Pressfield ! : (Bill likes y) ! : (Steven-Pressfield is author of y) y=gatesOfFire y=gatesOfFire B. $+ $ , 1 # ' + 0 $ + : R1: if A and B then C R2: if C and D then E R3: if C and E then G $# # WM = {A, B, D}. ( ) $! . $ # $ ($) 9 # ' . ! # G, ! $ ' ' + )' &$ $# : - ()$#. $ ' ' (forward chaining) - ' - $ $ )' 2 , + ') . # - #. + ') . # , %
  6. 6. ( ) 9 # ' . ! # ' ( G, (( ! $ ' - $ , ()$#. $ (backward chaining). B. $+ $ , 2 # ' + 0 $ + : R1: if A and C then H R2: if A and B then D R3: if D and H then C R4: if C and I then E R5: if C and D then I R6: if E and A then F R7: if E and F then G $# # WM = {A, B, H}. ( ) 9 # ' . ! # G, ! $ ' ' + )' &$ $# : - ()$#. $ ' ' (forward chaining) - ' - $ $ )' 2 , + ') . # - #. + ') . # , - + & ' ) $& ! $ WM $) ' . , + ' ( ) #. ) ($) 9 # ' . ! # ' ( G, (( $ + (& ! ) ! $ ' # ' $, + . ) ) $ , ( ') . $ ) #. ) + * + ( ) # $! ).
  7. 7. ( ) 9 # ' . ! # ' ( G, (( ! $ ' - $ , ()$#. $ (backward chaining).

×