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.

of

ΠΛΗ31 ΜΑΘΗΜΑ 2.4 (ΕΚΤΥΠΩΣΗ) Slide 1 ΠΛΗ31 ΜΑΘΗΜΑ 2.4 (ΕΚΤΥΠΩΣΗ) Slide 2 ΠΛΗ31 ΜΑΘΗΜΑ 2.4 (ΕΚΤΥΠΩΣΗ) Slide 3 ΠΛΗ31 ΜΑΘΗΜΑ 2.4 (ΕΚΤΥΠΩΣΗ) Slide 4 ΠΛΗ31 ΜΑΘΗΜΑ 2.4 (ΕΚΤΥΠΩΣΗ) Slide 5 ΠΛΗ31 ΜΑΘΗΜΑ 2.4 (ΕΚΤΥΠΩΣΗ) Slide 6 ΠΛΗ31 ΜΑΘΗΜΑ 2.4 (ΕΚΤΥΠΩΣΗ) Slide 7
Upcoming SlideShare
ΠΛΗ31 ΜΑΘΗΜΑ 2.4
Next
Download to read offline and view in fullscreen.

0 Likes

Share

Download to read offline

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

Download to read offline

Α) Θεωρία
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) Παράδειγμα με κατηγορήματα
Β.Ασκήσεις

Related Books

Free with a 30 day trial from Scribd

See all

Related Audiobooks

Free with a 30 day trial from Scribd

See all
  • 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).

Α) Θεωρία 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) Παράδειγμα με κατηγορήματα Β.Ασκήσεις

Views

Total views

3,294

On Slideshare

0

From embeds

0

Number of embeds

2,547

Actions

Downloads

118

Shares

0

Comments

0

Likes

0

×