Ευφυή Συστήματα Υποστήριξης Αποφάσεων. Δημήτρης Αποστόλου
|
|
- Σεραφείμ Βενιζέλος
- 7 χρόνια πριν
- Προβολές:
Transcript
1 1 Ευφυή Συστήματα Υποστήριξης Αποφάσεων Δημήτρης Αποστόλου
2 Βιβλιογραφία 2 Τεχνητή Νοημοσύνη - Γ' Έκδοση Ι. Βλαχάβας, Π. Κεφαλάς, Ν. Βασιλειάδης, Φ. Κόκκορας, Η. Σακελλαρίου Semantic Web Primer Gregoris Antoniou and Frank Van Harmelenn Decision Support Systems: A Knowledge Based Approach Clyde Holsapple Τεχνητή Νοημοσύνη Μία σύγχρονη προσέγγιση S. Russell, P. Norvig (Απόδοση στα Ελληνικά: Γ. Ρεφανίδης)
3 Περιεχόμενα 1 ου μέρους 3 Συστήματα Αποφάσεων Βασισμένα σε Κανόνες Λήψη Αποφάσεων στο Σημασιολογικό Ιστό
4 4 Συστήματα Αποφάσεων Βασισμένα σε Κανόνες
5 Αναπαράσταση με Κανόνες 5 Πολύ πρακτικός τρόπος αναπαράστασης για την εξαγωγή συμπερασμάτων Αποτελούν τη βάση πολλών συστημάτων γνώσης (knowledge systems) Γενικά Πλεονεκτήματα: Κοντά στην ανθρώπινη γνώση Επάρκεια συνεπαγωγών Συγκεκριμένα Πλεονεκτήματα: Modularity: Κάθε κανόνας ορίζει ένα μικρό, (σχεδόν) ανεξάρτητο τμήμα της γνώσης Incrementability: Μπορούν να προστεθούν νέοι κανόνες (σχεδόν) ανεξάρτητα από τους υπάρχοντες Modifiability: Οι υπάρχοντες κανόνες μπορούν να αλλάξουν (σχεδόν) ανεξάρτητα από τους υπόλοιπους
6 Είδη Κανόνων 6 Προϋποθέσεις (premises) ή αριστερό μέρος του κανόνα (left hand side - LHS) Συνθήκες (conditions): ακολουθία από κατηγορήματα που συνδέονται με λογικούς τελεστές AND, OR Eπακόλουθα (consequent) ή δεξιόμέροςτουκανόνα(right hand side -RHS) Συμπέρασμα (conclusion): κατηγόρημα Ενέργειες (actions): μία σειρά από εντολές που πρέπει να εκτελεστούν Μορφές Κανόνων IF συνθήκες THEN συμπέρασμα Συνεπαγωγικός (Deductive) κανόνας IF συνθήκες THEN ενέργειες Κανόνας Παραγωγής (Production) ON συμβάν IF συνθήκες THEN ενέργειες Ενεργός (active) κανόνας Εκφράζει Δηλωτική γνώση Διαδικαστική γνώση Διαδικαστική γνώση Επεξήγηση Αν οι συνθήκες αληθεύουν τότε αληθεύει και το συμπέρασμα Αν οι συνθήκες αληθεύουν τότε εκτέλεσε τις ενέργειες Όταν συμβεί το γεγονός (συμβάν) Αν οι συνθήκες αληθεύουν τότε εκτέλεσε τις ενέργειες
7 Συστήματα Κανόνων 7 Συστήματα εξαγωγής συμπερασμάτων (deduction systems) π.χ. Prolog, Datalog Γνώση που δηλώνει μία αλήθεια για τον κόσμο, αλλά δεν αναφέρει ρητά πότε και πώς εφαρμόζεται Συστήματα παραγωγής (production systems) π.χ. CLIPS, Flex, Drools Γνώση για το ποιες συγκεκριμένες ενέργειες πρέπει να εκτελεστούν δεδομένης μιας κατάστασης Οι εκτελούμενες ενέργειες επιφέρουν μη-αναστρέψιμα αποτελέσματα Ενεργά Συστήματα (re-active systems, active database systems) π.χ. Oracle Triggers, RuleCore
8 Ενεργοί Κανόνες 8 Οι κανόνες παραγωγής δηλώνουν διαδικαστική γνώση Οι κανόνες εκτελούνται "όταν η συνθήκη είναι αληθής" Δεν είναι σαφώς ορισμένο πότε ακριβώς εκτελούνται οι ενέργειες Αν και εκφράζουν διαδικαστική γνώση, η συνθήκη τους περιέχει δηλωτική γνώση. Οι ενεργοί κανόνες (active rules) εκφράζουν καθαρά διαδικαστική γνώση Κανόνες οδηγούμενοι από συμβάντα ή γεγονότα (event-driven rules) Εκφράζουν με σαφήνεια το πότε ακριβώς ενεργοποιούνται: Όταν συμβεί ένα συγκεκριμένο συμβάν Τότε και μόνο τότε εξετάζεται η συνθήκη τους και αν ικανοποιείται, τότε εκτελούνται οι ενέργειές τους. Παραδείγματα συμβάντων: Μία συγκεκριμένη χρονική στιγμή του ρολογιού του συστήματος Ένα πάτημα του αριστερού πλήκτρου του ποντικού ή ενός πλήκτρου του πληκτρολογίου Η επιλογή κάποιου μενού από το χρήστη Η προσπάθεια προσπέλασης ή αλλαγής κάποιων "ευαίσθητων" δεδομένων, κλπ.
9 Παράδειγμα Αναπαράστασης με Κανόνες 9 Σύμπτωμα Ο εκτυπωτής τυπώνει σωστά αλλά τα χρώματα δε τυπώνονται σωστά Πιθανή Βλάβη Έχει τελειώσει το έγχρωμο μελάνι Επιδιόρθωση Αλλάξτε την κεφαλή με το έγχρωμο μελάνι Συνεπαγωγικός Κανόνας IF ο εκτυπωτής τυπώνει σωστά AND τα χρώματα δε τυπώνονται σωστά THEN έχει τελειώσει το έγχρωμο μελάνι Κανόνας Παραγωγής IF ο εκτυπωτής τυπώνει σωστά AND τα χρώματα δε τυπώνονται σωστά THEN αλλάξτε την κεφαλή με το έγχρωμο μελάνι Ενεργός Κανόνας ΟΝ εκτύπωση IF τα χρώματα δε τυπώνονται σωστά THEN αλλάξτε την κεφαλή με το έγχρωμο μελάνι
10 Συστήματα Εξαγωγής Συμπερασμάτων 10 Βάση κανόνων (rule base): περιέχει ένα σύνολο από κανόνες Έλεγχος (control): καθορίζει τον τρόπο εκτέλεσης των κανόνων για την εξαγωγή συμπερασμάτων Ποιοι κανόνες είναι υποψήφιοι για να επιλύσουν το πρόβλημα; Με ποιόν τρόπο θα γίνει η επιλογή; Ποιος από τους κανόνες τελικά θα επιλεγεί; Τι θα γίνει με τους υπόλοιπους κανόνες;
11 Εξαγωγή Συμπερασμάτων 11 Χρησιμοποιείται η συνεπαγωγική συλλογιστική. Υλοποιείται από την ακολουθία εκτέλεσης κανόνων (chaining) Αλγόριθμος που συνδυάζει τα δεδομένα, τους κανόνες και τα ενδιάμεσα συμπεράσματα Ορθή ακολουθία εκτέλεσης (forward chaining) Εξετάζονται πρώτα αν οι προϋποθέσεις στο αριστερό μέρος του κανόνα είναι αληθείς έτσι ώστε το συμπέρασμα που αναφέρεται στο δεξιό μέρος να είναι αληθές. Εξετάζονται μόνο οι αληθείς τρόποι απόδειξης Μπορεί να συμπεράνει περισσότερα συμπεράσματα από τα επιθυμητά Ενδείκνυται όταν υπάρχουν λίγα δεδομένα που οδηγούν σε πολλά συμπεράσματα Εφαρμογές: Συστήματα Διάγνωσης, Συστήματα Παραγωγής Ανάστροφη ακολουθία εκτέλεσης (backward chaining) Ξεκινά από το δεξιό μέρος του κανόνα και προσπαθεί να βρει αν οι προϋποθέσεις είναι αληθείς Εξετάζονταιόλοιοιεναλλακτικοίτρόποιαπόδειξηςτουσυμπεράσματος(ακόμα και οι μη-αληθείς) έως ότου αποδειχθεί η αλήθεια του συμπεράσματος (π.χ. Prolog). Ενδείκνυται όταν υπάρχουν λίγα συμπεράσματα και πολλά δεδομένα Το σύστημα ζητά τα δεδομένα με λογική σειρά και μόνο όσα χρειάζονται Εφαρμογές: Συστήματα Ελέγχου Λειτουργίας (Monitoring)
12 Αναπαράσταση με Κανόνες 12 Παράδειγμα 1: if has(animal,hair) or ives(animal,milk) then isa(animal,mammal). 2: if has(animal,feathers) or (flies(animal) and lays(animal,eggs)) then isa(animal,bird). 3: if isa(animal,mammal) and (eats(animal,meat) or (has(animal,pointed_teeth) and has(animal,claws) and has(animal,forward_pointing_eyes))) then isa(animal,carnivore). 4: if isa(animal,carnivore) and has(animal,tawny_colour) and has(animal,dark_spots) then isa(animal,cheetah). 5: if isa(animal,carnivore) and has(animal,tawny_colour) and has(animal,black_stripes) then isa(animal,tiger). 6: if isa(animaλ,bird) and not flies(animal) and swims(animal) then isa(animal,penguin). 7: if isa(animal,bird) and isa(animal,good_flyer) then isa(animal,albatros).
13 Γραφική Αναπαράσταση Κανόνων 13 has(animal,hair) 1 isa(animal,mammal) gives(animal,milk) eats(animal,meat) has(animal,pointed_teeth) has(animal,claws) has(animal,forward_poited_eyes) has(animal,black_stripes) isa(animal,carnivor) 3 has(animal,tawny_colour) has(animal,dark_spots) has(animal,feathers) flies(animal) lays(animal,eggs) isa(animal,good_flyer) 2 isa(animal,bird) not flies(animal) 7 6 isa(animal,albartos) isa(animal,penguin) swims(animal)
14 14 Γραφική Αναπαράσταση Εξαγωγής Συμπεράσματος Ορθή Ακολουθία Εκτέλεσης Αρχικά δεδομένα: flies(petros), lays(petros, eggs), isa(petros, goodflyer). has(petros,hair) gives(petros,milk) 1 has(petros,feathers) isa(petros,good_flyer) 7 isa(p flies(petros) 2 isa(petros,bird) lays(petros,eggs) not flies(petros) 6 swims(petros) Παράγονται τα συμπεράσματα: isa(petros, albatros) και isa(petros, bird)
15 15 Γραφική Αναπαράσταση Εξαγωγής Συμπεράσματος Ανάστροφη Ακολουθία Εκτέλεσης Ερώτηση: isa(jimmy, tiger) has(jimmy,hair) gives(jimmy,milk) 1 isa(jimmy,mammal) eats(jimmy,meat) 3 has(jimmy,black_s isa(jimmy,carnivo has(jimmy,pointed_teeth) has(jimmy,claws) has(jimmy,tawny_ has(jimmy,forward_pointed_eyes) Απάντηση: Yes
16 Συστήματα Παραγωγής 16 Βάση κανόνων: περιέχει τους κανόνες παραγωγής Χώρος εργασίας (working memory): περιέχει γεγονότα Αρχικά δεδομένα (data) ή ενδιάμεσα συμπεράσματα (partial conclusions) Στοιχείατηςμνήμηςεργασίας(working memory elements) Μηχανισμός ελέγχου (control ή scheduler) και επίλυσης συγκρούσεων (conflict resolution): εκτέλεση των κανόνων βάσει στρατηγικής επίλυσης συγκρούσεων (conflict resolution strategy) Χώρος Εργασίας Γεγονότα Βάση Κανόνων Κανόνας που πυροδοτείται Μηχανισμός Ελέγχου και Επίλυσης Συγκρούσεων Κανόνες που ενεργοποιούνται
17 Επίλυση Συγκρούσεων 17 Ο κανόνας ενεργοποιείται (triggers) όταν ικανοποιούνται οι συνθήκες του Όταν πυροδοτείται (fires) ο κανόνας, τότε εφαρμόζονται/εκτελούνται οι ενέργειές του Σύνολο σύγκρουσης (conflict set): Το σύνολο των κανόνων που ενεργοποιούνται Ο μηχανισμός ελέγχου καθορίζει ποιος κανόνας θα πυροδοτηθεί Στρατηγικές επίλυσης συγκρούσεων: Τυχαία (random). Διάταξης (ordering). Επιλογή του πρόσφατου (recency). Επιλογή του πιο ειδικού (specificity). Αποφυγή επανάληψης (refractoriness). Ανάλυση μέσων-σκοπών (means-ends analysis) Μετα-έλεγχος (μετα-κανόνες)
18 Στρατηγικές Επίλυσης Συγκρούσεων (1/4) 18 Τυχαία (random) Επιλέγεται ένας κανόνας στην τύχη. Συνήθως δεν υπάρχει στα συστήματα κανόνων παραγωγής Aν υπάρχει δεν είναι πραγματικά τυχαία η επιλογή Είναι απροσδιόριστη - εξαρτάται από τις λεπτομέρειες της υλοποίησης Διάταξη (ordering) Επιλέγεται ο κανόνας που είναι πρώτος στη σειρά ή έχει μεγαλύτερη προτεραιότητα βάσει κάποιου αριθμητικού μεγέθους Αποφυγή επανάληψης (refractoriness) Δεν επιλέγεται ο ίδιος κανόνας με τα ίδια δεδομένα για δεύτερη συνεχόμενη φορά Αποφεύγονται άσκοπες ή ατέρμονες επαναλήψεις Παράδειγμα: Υπάρχουν τα γεγονότα Α, Β και οι κανόνες: 1: if Α then C 2: if Β then D Αν εκτελεστεί πρώτα ο 1, μετά θα εκτελεστεί ο 2 Ο 1 δε θα εκτελεστεί ξανά, αν και εξακολουθεί να είναι ενεργοποιημένος
19 Στρατηγικές Επίλυσης Συγκρούσεων (2/4) 19 Επιλογή του πρόσφατου (recency) Επιλέγεται ο κανόνας που ενεργοποιείται από τα πιο πρόσφατα δεδομένα που προστέθηκαν στο χώρο εργασίας Ακολουθείται μία χρονικά συνεπής πορεία σκέψης, ηοποία είναι επικεντρωμένη και δε διασκορπάται σε διάφορα σημεία Παράδειγμα: Υπάρχουν τα γεγονότα Α, Β και οι κανόνες: 1: if A then C 2: if B then D 3: if C then E Έστω ότι εκτελείται πρώτα ο 1 Μετά θα εκτελεστεί ο 3 (όχι ο 2) γιατί το C είναι πιο πρόσφατο από το B
20 Στρατηγικές Επίλυσης Συγκρούσεων (3/4) 20 Επιλογή του πιο ειδικού (specificity) Επιλέγεται ο κανόνας που είναι πιο ειδικός από τους άλλους Η συνθήκη του εκφράζεται με αναλυτικότερο τρόπο Εξετάζονται πρώτα τα πιο συγκεκριμένα θέματα τα οποία οδηγούν πιθανότατα σε λύση πιο γρήγορα και στη συνέχεια τα πιο γενικά. Παράδειγμα: Υπάρχουν τα γεγονότα Α, Β, C και οι κανόνες 1: if Α and Β and C then D 2: if Α and Β then Ε Θα εκτελεστεί πρώτα ο 1 γιατί έχει πιο πολλές συνθήκες από τον 2.
21 Στρατηγικές Επίλυσης Συγκρούσεων (4/4) 21 Ανάλυση μέσων-σκοπών (means-ends analysis) Το συνολικό πρόβλημα επιμερίζεται σε απλούστερες διεργασίες (tasks) Kάθε διεργασία υλοποιείται από μία ομάδα κανόνων (cluster) Όταν εκτελείται κάποια διεργασία, τότε οι κανόνες άλλων ομάδων δεν προτιμούνται, παρά μόνο αν δεν υπάρχουν άλλοι ενεργοί κανόνες της ίδιας ομάδας Η αποδεικτική διαδικασία είναι επικεντρωμένη στους τρέχοντες στόχους της. Παράδειγμα: Υπάρχουν τα γεγονότα Α, Β, C, G1, G2 καιοικανόνες 1: if G1 and Α and Β and C then D 2: if G2 and Α and Β then Ε Τα G1, G2 υποδηλώνουν τη διεργασία που ανήκει ο κανόνας Το G2 είναι πιο πρόσφατο από το G1 Θα εκτελεστεί πρώτα ο 2, γιατί ασχολείται με τον πιο τρέχοντα στόχο Ο 1 μπορούσε να έχει προτεραιότητα λόγω άλλης στρατηγικής, (π.χ. specificity)
22 Μετα-έλεγχος 22 Τα συστήματα παραγωγής εφαρμόζουν μία ή περισσότερες στρατηγικές επίλυσης συγκρούσεων Όταν υπάρχουν πολλές στρατηγικές, πρέπει να υπάρχει προτεραιότητα μεταξύ τους Μετα-έλεγχος (meta-control): καθορίζει ποια στρατηγική θα εφαρμοστεί, πού και πότε Απλά συστήματα: σταθερή προτεραιότητα Χαμηλότερη τιμή στην τυχαία επιλογή Σύνθετα συστήματα: η προτεραιότητα αλλάζει δυναμικά (at run-time) Mετα-κανόνες (meta-rules): κανόνες που καθορίζουν τη σειρά εκτέλεσης άλλων κανόνων
23 Κύκλος Λειτουργίας Συστήματος Παραγωγής 23 Έως ότου δεν μπορεί να εκτελεστεί κανένας κανόνας επανέλαβε: 1. Βρες όλους του κανόνες που οπλίζουν και σχημάτισε το σύνολο συγκρούσεων. 2. Σύμφωνα με το μηχανισμό επίλυσης συγκρούσεων, διάλεξε ένα κανόνα. 3. Πυροδότησε τον κανόνα που διάλεξες στο βήμα 2. Στα συστήματα παραγωγής υπάρχει ορθή ακολουθία εκτέλεσης κανόνων Εξαγωγή συμπερασμάτων: Δεν έχει νόημα Οι κανόνες παραγωγής αναφέρονται σε ενέργειες που εκτελούνται και όχι σε συμπεράσματα Η λειτουργία των κανόνων παραγωγής "παραπέμπει" στη συνεπαγωγική συλλογιστική Υιοθέτηση μιας ειδικής ενέργειας από κάτι που ισχύει γενικά Ταίριασμα των κανόνων που περιέχουν μεταβλητές με δεδομένα στη μνήμη εργασίας που περιέχουν σταθερές
24 Παράδειγμα Κίνησης Ρομπότ 24 Ρομπότ κινείται σε χώρο με εμπόδια Στόχος: Να αποφύγει τα εμπόδια και όταν βρει κάποιο αντικείμενο, να στείλει ένα μήνυμα και να σταματήσει robot_at(6,4) direction(e) choice(w) choice(s) choice(n) choice(e) obstacle_at(7,4) obstacle_at(6,8) obstacle_at(7,7)... object_at(4,7)...
25 Παρατηρήσεις 25 Μνήμη εργασίας: θέση ρομπότ: robot_at(x,y) κατεύθυνση προς την οποία κινείται: direction(d), D {e, w, n, s} θέση εμποδίων: obstacle_at(x,y) θέση αντικειμένων: object_at(x,y) επιλογή κατεύθυνσης: choice(d), D {e, w, n, s} Ενέργειες κανόνων: addwm: βάλε κάτι στη μνήμη εργασίας delwm: σβήσε κάτι από τη μνήμη εργασίας output: εκτύπωσε ένα μήνυμα στην οθόνη αριθμητικές εκφράσεις.
26 Κανόνες Κίνησης Ρομπότ 26 1: detect_object: if robot_at(x,y) and object_at(x,y) then output( object is found ). 2: move_west: if robot_at(x,y) and direction(w) then delwm(robot_at(x,y)) and NX=X-1 and addwm(robot_at(nx,y)). 3: move_east: if robot_at(x,y) and direction(e) then delwm(robot_at(x,y)) and NX=X+1 and addwm(robot_at(nx,y)). 4: move_north: if robot_at(x,y) and direction(n) then delwm(robot_at(x,y)) and NY=Y+1 and addwm(robot_at(x,ny)). 5: move_south: if robot_at(x,y) and direction(s) then delwm(robot_at(x,y)) and NY=Y-1 and addwm(robot_at(x,ny)). 6: avoid_obstacle_south: if robot_at(x,y) and NY=Y-1 and obstacle_at(x,ny) and direction(s) and choice(nd) then delwm(direction(s)) and addwm(direction(nd)). 7: avoid_obstacle_west: if robot_at(x,y) and NX=X-1 and obstacle_at(nx,y) and direction(w) and choice(nd) then delwm(direction(w)) and addwm(direction(nd)). 8: avoid_obstacle_north: if robot_at(x,y) and NY=Y+1 and obstacle_at(x,ny) and direction(n) and choice(nd) then delwm(direction(n)) and addwm(direction(nd)). 9: avoid_obstacle_east: if robot_at(x,y) and NX=X+1 and obstacle_at(nx,y) and direction(e) and choice(nd) then delwm(direction(e)) and addwm(direction(nd)). MOVE Change Direction
27 Στρατηγική Επίλυσης Κίνησης Ρομπότ 27 Αποφυγή Επανάληψης (ΑΕ) Βοηθά να μην κολλήσει το ρομπότ σε εμπόδιο, επιλέγοντας συνεχώς την κατεύθυνση προς την οποία βρίσκεται το εμπόδιο Επιλογή του πιο Ειδικού (ΕΕ) Δίνει προτεραιότητα στην αποφυγή εμποδίων (κανόνες 6-9) Τυχαία Επιλογή (ΤΕ) Το ρομπότ επιλέγει τυχαία μία από τις 4 κατευθύνσεις
28 Παρακολούθηση Εκτέλεσης (1/3) 28 Κύκλος Μνήμη Εργασίας 1 robot_at(6,4) direction(e) choice(w) choice(n) choice(s) choice(e) obstacle_at(7,4) obstacle_at(6,8)... object_at(4,7)... 2 robot_at(6,4) direction(n)... 3 robot_at(6,5) direction(n)... Σύνολο Συγκρούσεων {3, 9 (ND=w), 9 (ND=n), 9 (ND=s), 9 (ND=e)} Στρατηγική ΕΕ ΤΕ Κανόνες που οπλίζουν απο τα δεδομένα της Μνήμης Εργασίας. O (3) από το direction(e) και ο (9) από το direction(e) και από το obstacle(7,4) Κανόνας που πυροδοτεί 9:avoid_obstacle_east (ND=n) {4} - 4: move_north {4} - 4: move_north Επιλέγεται ένας (9), με choice(n)
29 Παρακολούθηση Εκτέλεσης (2/3) 29 Κύκλος Μνήμη Εργασίας 4 robot_at(6,6) direction(n)... 5 robot_at(6,7) direction(n)... obstacle_at(6,8)... 6 robot_at(6,7) direction(n)... obstacle_at(6,8)... 7 robot_at(6,7) direction(e)... obstacle_at(7,7)... Σύνολο Συγκρούσεων Στρατηγική Κανόνας που πυροδοτεί {4} - 4: move_north {4, 8 (ND=w), 8 (ND=n), 8 (ND=s), 8 (ND=e)} {4, 8 (ND=w), 8 (ND=n), 8 (ND=s), 8 (ND=e)} {3, 9 (ND=w), 9 (ND=n), 9 (ND=s), 9 (ND=e)} EE TE AE EE TE EE TE 8:avoid_obstacle_north (ND=n) 8:avoid_obstacle_north (ND=e) 9: avoid_obstacle_east (ND=w)
30 Παρακολούθηση Εκτέλεσης (3/3) 30 Κύκλος Μνήμη Εργασίας 8 robot_at(6,7) direction(w)... 9 robot_at(5,7) direction(w) robot_at(4,7) direction(w) object_at(4,7)... Σύνολο Συγκρούσεων Στρατηγική Κανόνας που πυροδοτεί {2} - 2: move_west {2} - 2: move_west {1,2} EE TE 1: detect_object
31 Λογικός Προγραμματισμός 31
32 Prolog 32 Υπάρχουν τρεις βασικές δηλώσεις: τα γεγονότα (facts), οι ερωτήσεις (queries) και οι κανόνες (rules). Υπάρχει μια μοναδική δομή δεδομένων: ο λογικός όρος (logical term) ή απλά όρος.
33 Δομές Δεδομένων στην Prolog 33 Λογικοί Όροι Όροι Σύνθετοι Όροι (Δομές) Constants Variables Atoms Numbers
34 Γεγονότα 34 Το πιο απλό είδος της δήλωσης ονομάζεται γεγονός (fact). Τα γεγονότα είναι ένα μέσο καθορισμού μιας σχέσης που ισχύει ανάμεσα στα αντικείμενα. Ένα παράδειγμα είναι: father(abraham,isaac). Αυτό το γεγονός λέει ότι ο Abraham είναι ο πατέρας του Ιsaac, ή ότι ο συσχετισμός πατέρας (father) ισχύει ανάμεσα στις μονάδες, οι οποίες ονομάζονται abraham και isaac. Άλλο ένα όνομα για μια σχέση είναι το κατηγόρημα (predicate). Τα ονόματα των μονάδων είναι γνωστά ως άτομα (atoms). Το κατηγόρημα father έχει 2 ορίσματα. Δηλ. father/2.
35 Ερωτήσεις 35 Η δεύτερη μορφή μιας δήλωσης στον λογικό προγραμματισμό είναι η ερώτηση (query). Οι ερωτήσεις είναι το μέσο απόδοσης πληροφοριών από ένα λογικό πρόγραμμα. Με μια ερώτηση, ρωτάμε αν ισχύει κάποιος συσχετισμός ανάμεσα σε αντικείμενα. Για παράδειγμα η ερώτηση father(abraham,isaac)? ρωτάει, εάν η σχέση πατέρας (father) ισχύει ανάμεσα στον abraham και στον isaac. Συζευκτική ερώτηση είναι μια σύζευξη στόχων που εκφράζονται σε μια ερώτηση, για παράδειγμα father(terach,x), father(x,y)? ή γενικά, Q1,..., Qn?.
36 Κανόνες 36 Αυτό μας φέρνει στην τρίτη και πιο σημαντική δήλωση στον λογικό προγραμματισμό, ο κανόνας (rule), ο οποίος μας καθιστά ικανούς στο να καθορίσουμε νέες σχέσεις στους όρους των υφιστάμενων σχέσεων. Ο Χ είναι εγγονός του Υ αν ο Χ είναι παιδί κάποιου Ζκαιο/η Ζ είναι παιδί του Υ. grandchild (X,Y) :- child (X,Z), child (Z,Y). head (κεφαλή) body (σώμα)
37 Κανόνες και Συζεύξεις 37 A man is happy if he is rich and famous might translate to: happy(person):- man(person), rich(person), famous(person). The, indicates the conjunction and is roughly equivalent to the ^ of predicate calculus. Therefore, read, as and. In this single clause, the logical variable Person refers to the same object throughout. By the way, we might have chosen any name for the logical variable other than Person. It is common practice to name a logical variable in some way that reminds you of what kind of entity is being handled.
38 Κανόνες και Διαζεύξεις 38 Someone is happy if they are healthy, wealthy or wise, translates to: happy(person):- healthy(person). happy(person):- wealthy(person). happy(person):- wise(person). Note how we have had to rewrite the original informal statement into something like: Someone is happy if they are healthy OR Someone is happy if they are wealthy OR Someone is happy if they are wise
39 Παράδειγμα 39 related (X,X). related (X,Y) :- married (X,Y). related (X,Y) :- child (X,Z), related (Z,Y). related (X,Y) :- child (Z,X), related (Z,Y).
40 Λογικές Μεταβλητές και Κανόνες 40 The scope rule for Prolog is that two uses of an identical name for a logical variable only refer to the same object if the uses are within a single clause. Therefore in: happy(x):- healthy(x). wise(x):- old(x). the two references to X in the first clause do not refer to the same object as the references to X in the second clause. Do not assume that the word logical is redundant. It is used to distinguish between the nature of the variable as used in predicate calculus and the variable used in imperative languages like BASIC, FORTRAN and so on. In those languages, a variable name indicates a storage location which may `contain' different values at different moments in the execution of the program. The logical variable cannot be overwritten with a new value.
41 Στρατηγική Αναζήτησης στην Prolog 41 «Κατά βάθος» Program Database woman(jean). man(fred). woman(jane). woman(joan). woman(pat).?- woman(jane). Prolog searches through the set of clauses from top to bottom. First, Prolog examines woman(jean) and finds that woman(jane) does not match. Also, it is obvious that the next clause man(fred). doesn't match either. Prolog then comes to look at the third clause and it finds what we want.
42 Παράδειγμα 42 Program database woman(jean). man(fred). wealthy(fred). happy(person):-?- happy(jean). no woman(person), wealthy(person). Why? Prolog tries to match: happy(jean) against happy(person)
43 43 We call this matching process unification. What happens here is that the logical variable Person gets bound to the atom jean. You could paraphrase bound" as is temporarily identified with". To solve our problem, Prolog must set up two subgoals. But we must make sure that, since Person is a logical variable, that everywhere in the rule that Person occurs we will replace Person by jean. We now have something equivalent to: happy(jean):- woman(jean), wealthy(jean). So the two subgoals are: woman(jean) wealthy(jean)
44 44 Here we come to our next problem. In which order should Prolog try to solve these subgoals? The answer is that the standard way to choose the subgoal to work on first is again based on the way we read (in the west)! We try to solve the subgoal woman(jean) and then the subgoal wealthy(jean). There is only one possible match for woman(jean): our subgoal is successful. However, we are not finished until we can find out if wealthy(jean). There is a possible match but we cannot unify wealthy(fred) with wealthy(jean) (However, Prolog is not finished yet. Once we reach wealthy(person) with Person/jean and it fails we move back (backtracking) to the goal woman(person) and break the binding for Person (because this is where we made the binding Person/jean). We now start going from left to right again.)
45 Κανόνες και Αβεβαιότητα 45
46 Συντελεστές Βεβαιότητας (Certainty Factors) (1/2) 46 Αριθμητικές τιμές που εκφράζουν τη βεβαιότητα για την αλήθεια μιας πρότασης ή γεγονότος. Πρωτο-εισήχθησαν στο έμπειρο σύστημα MYCIN if γεγονός then υποθετικό συμπέρασμα με βεβαιότητα CF Παράδειγμα: if πυρετός then γρίπη CF 0.8 Παίρνουν τιμές στο διάστημα [-1, +1] 1 : απόλυτη βεβαιότητα για το ψευδές της πρότασης. +1 : απόλυτη βεβαιότητα για την αλήθεια της πρότασης. 0 : άγνοια. Τιμές βεβαιότητας και στην τιμή του γεγονότος του κανόνα: Παράδειγμα: if πυρετός CF1 0.7 then γρίπη CF 0.8 τελική βεβαιότητα κανόνα: 0.7x0.8=0.56 Αν υπάρχουν περισσότερα από ένα γεγονότα στο αριστερό τμήμα του κανόνα τα οποία συνδέονται με AND (ή OR) τότε ως συντελεστής βεβαιότητας του αριστερού τμήματος θεωρείται η μικρότερη (ή η μεγαλύτερη) τιμή CF που εμφανίζεται
47 Συντελεστές Βεβαιότητας (Certainty Factors) (2/2) 47 Αν δύο διαφορετικοί κανόνες συνάγουν το ίδιο υποθετικό συμπέρασμα με βεβαιότητες CFp και CFn, τότε η συνολική βεβαιότητα είναι: Αν CFp και CFn > 0, τότε: CF = CFp+CFn (1-CFp) = CFp+CFn CFn CFp Αν CFp και CFn < 0, τότε: CF = CFp+CFn (1+CFp) = CFp+CFn+CFn CFp Αν CFp και CFn ετερόσημα, τότε: CFp + CFn CF = 1 min( CFp, CF ) n Παράδειγμα:if πυρετός then γρίπη CF 0.8 if βήχας then γρίπη CF 0.5 Συμπερασματικά: Αντί για συχνότητες εμφάνισης γεγονότων που πρέπει να μετρηθούν, χρησιμοποιούνται συντελεστές βεβαιότητας που έχουν εκτιμηθεί από ειδικούς. Οι υπολογισμοί κατά το συνδυασμό βεβαιοτήτων είναι απλούστεροι, λόγω της παραδοχής της ανεξαρτησίας των γεγονότων. Πρέπει να αποφεύγεται η ταυτόχρονη χρήση κανόνων που αναστρέφουν τη σχέση αιτίας-αποτελέσματος. Π.χ. if A then B και if Β then Α
48 Παράδειγμα 48 Έστω ότι δύο κανόνες οδηγούν στο ίδιο υποθετικό συμπέρασμα Β, κάτω όμως από διαφορετικές παραδοχές, δηλαδή: if Α then Β CF 0.8 if C AND D AND E then B CF 0.6 Αν ο χρήστης εισάγει τα δεδομένα A, C, D και E με βεβαιότητες: CF(A)=0.5, CF(C)=0.9, CF(D)=0.7 και CF(E)=0.5 τότε: H ενεργοποίηση του πρώτου κανόνα δίνει: CFp(B)=0.5 * 0.8 =0.4 H ενεργοποίηση του δεύτερου κανόνα δίνει: CFn(B)=0.6 * min(0.9, 0.7, 0.5) = 0.6 * 0.5 = 0.3 Επειδή τα CFp και CFn είναι και τα δύο θετικά, η συνολική βεβαιότητα του υποθετικού συμπεράσματος Β θα είναι: CF(B) = (0.4 x 0.3) = 0.58
49 Προσέγγιση Dempster-Shafer (D-S) (1/2) 49 Δεν απαιτείται η συλλογή όλων των απλών και των υπό συνθήκη πιθανοτήτων. Λογισμός με αριθμητικές τιμές πεποίθησης (belief) Αν U={A, B, C} πιθανές ασθένειες τότε Pow είναιτοσύνολοτων υποσυνόλων του U: Pow(U) = { {}, {A}, {B}, {C}, {A, B}, {A, C}, {B, C}, {A, B, C} } πιθανές διαγνώσεις. Διαζευγμένες Προτάσεις: {Α, Β} σημαίνει "ασθένεια Α ή Β". Στοιχεία του U που δεν ανήκουν σε ένα στοιχείο του Pow(U), (π.χ. η ασθένεια C στο {Α, Β}), κάνουν σαφή την άρνηση του αντίστοιχου υποθετικού συμπεράσματος. {}: null hypothesis
50 Προσέγγιση Dempster-Shafer (2/2) Η βασική κατανομή πιθανότητας (basic probability assignment - bpa) είναι μία απεικόνιση: m: Pow(U) [0,1] η οποία αναθέτει μία τιμή πεποίθησης για κάθε στοιχείο του Pow(U) Είναι δηλαδή το μέτρο της πεποίθησης που υπάρχει για το κατά πόσο ισχύει το υποθετικό συμπέρασμα που εκφράζεται με το συγκεκριμένο στοιχείο του U. η πεποίθηση m({a, B})=0.3, δε μοιράζεται στα {Α} και {Β} αλλά αφορά το {Α, Β}. ισχύει m({})=0 X Pow ( ) 1 ( U m X = ) Επειδή θεωρούμε οτι το υποθετικό συμπέρασμα βρίσκεται κάπου μέσα στα στοιχεία του Pow(U) Η συνολική πεποίθηση (belief) ότι ένα στοιχείο του U ανήκει στο Χ καθώς και στα τυχόν υποσύνολα του Χ συμβολίζεται με Bel(X) Bel ( X ) = m( Y ) Y X 50
51 Κανόνας Dempster-Shafer 51 Αν m1 και m2 δύο ανεξάρτητες εκτιμήσεις (βασικές κατανομές πιθανότητας) που αποδίδουν κάποιο βαθμό πεποίθησης στα στοιχεία του Pow(U), τότε αυτές συνδυάζονται σε μία τρίτη εκτίμηση m3=m1 m2 με τρόπο που ορίζεται με τον κανόνα D-S: m (A) = m m (A) = A Pow U ) 1 (X) X, Y U : X Y= A 1 2 ( (X) ( Y) m m m m X, Y U : X Y= 1 2 (Y)
52 Παράδειγμα: Διάγνωση Ασθένειας 52 Έστω U={A, B, C} το σύνολο των δυνατών ασθενειών που μπορεί να διαγνωσθούν. Πιθανές Διαγνώσεις Pow(U)={{}, {A}, {B}, {C}, {A,B}, {A,C}, {B,C}, {A,B,C}} m( {{ }, {A}, {B}, {C}, {A, B}, {A, C}, {B, C}, {A, B, C} } ) = 1 υποδηλώνει τη βεβαιότητα ότι η διάγνωση βρίσκεται κάπου στα στοιχεία του Pow(U) αλλά ελλείψει άλλων ενδείξεων δεν είναι δυνατό να δοθεί ιδιαίτερη βαρύτητα σε κάποιο Έστω ότι γίνεται διαθέσιμη επιπλέον πληροφορία, (π.χ. πραγματοποιούνται ιατρικές εξετάσεις) και προκύπτει ότι η ασθένεια είναι μία από τις A ή Β με βαθμό πίστης 0.7 m1( {Α, Β} ) = 0.7 m1( {{},{A}, {B}, {C}, {A, C}, {B, C}, {A, B, C}} ) = 0.3 Δηλαδή, η έλλειψη πίστης σε ένα από τα υποθετικά συμπεράσματα του Pow(U), ισοδυναμεί αυτόματα με ισόποσο βαθμό πίστης στα υπόλοιπα στοιχεία του Pow(U), χωρίςόμωςναδίνεταιιδιαίτερη προτίμηση σε κάποιο από αυτά. Πώς μπορεί να συνδυαστούν δύο ανεξάρτητες εκτιμήσεις (π.χ. δύο ιατρών) σε μία;
53 Παράδειγμα: Συνδυασμός Διαγνώσεων 53 Έστω ότι δύο γιατροί εξετάζουν ανεξάρτητα τον ασθενή και δίνουν την εκτίμησή τους m1 και m2 αντίστοιχα, για την αρρώστια από την οποία αυτός πάσχει. Γιατρός 1 Γιατρός 2 Δυνατές περιπτώσεις διάγνωσης m 1 Bel 1 m 2 Bel 2 {Α} {Β} {C} {A, B} {A, C} {B, C} {A, B, C} π.χ. Bel1({A,B}) = m1({a,b}) + m1({a}) + m1({b}) = = 0.2
54 Παράδειγμα: Συνδυασμός Εκτιμήσεων (1/2) 54 m 1 m 3 =m 1 m 2 {Α} {Β} {C} {A,B} {A,C} {B,C} {A,B,C} m {Α} 0.15 {Α}.0075 { } 0 { }.0075 {Α}.0225 {Α}.015 { }.0075 {Α}.09 {Β} 0 { }.0 {Β}0 { }.0 {Β}.0 { }.0 {Β}.0 {Β}.0 {C} 0.05 { }.0025 { } 0 {C}.0025 { }.0075 {C}.005 {C}.0025 {C}.03 {A,B} 0.05 {Α}.0025 {Β}0 { }.0025 {Α,B}.0075 {Α}.005 {Β}.0025 {A,B}.03 {A,C} 0.2 {Α}.01 { } 0 {C}.01 {Α}.03 {Α,C}.02 {C}.01 {A,C}.012 {B,C} 0.05 { }.0025 {Β}0 {C}.0025 {Β}.0075 {C}.005 {B,C}.0025 {B,C}.03 {A,B,C } 0.5 {Α}.025 {Β}0 {C}.025 {Α,B}.075 {Α,C}.05 {B,C}.025 {A,B,C}.3
55 Παράδειγμα: Συνδυασμός Εκτιμήσεων (2/2) 55 Δυνατές περιπτώσεις διάγνωσης m 3 Bel 3 {Α} {Β} {C} {A, B} Bel ( X ) = m( Y ) Y X {A, C} {B, C} {A, B, C} Η αρχική εκτίμηση ότι η ασθένεια είναι μία από τις Α ή Β αποδυναμώθηκε. η διάγνωση βρίσκεται μάλλον στο σύνολο {A,C} επειδή Bel3({A})>Bel3({C}), αρχίζει να διαφαίνεται ότι η τελική διάγνωση είναι η Α Η παραπάνω συνδυασμένη εκτίμηση μπορεί να συνδυαστεί εκ νέου με μια άλλη εκτίμηση (π.χ. 3ου ιατρού).
56 Κανόνες και Ασάφεια 56
57 Ασάφεια (Fuzziness) 57 Έννοια που σχετίζεται με την ποσοτικοποίηση της πληροφορίας και οφείλεται κυρίως σε μη-ακριβή (imprecise) δεδομένα. "Ο Νίκος είναι ψηλός" Το πρόβλημα οφείλεται στην αντίληψη που έχει ο καθένας για λεκτικούς προσδιορισμούς ποσοτικών μεγεθών (σημασιολογική ασάφεια) Εγγενές χαρακτηριστικό της γλώσσας. Ασαφής Λογική (fuzzy logic): υπερσύνολο της κλασικής λογικής χειρίζεται τιμές αληθείας μεταξύ του "απολύτως αληθούς" και του "απολύτως ψευδού". Θεωρία Ασαφών Συνόλων (Fuzzy Set Theory) - Lofti Zadeh '60
58 Βασικές Έννοιες Ασαφών Συνόλων Ασαφές Σύνολο (fuzzy set) A: ένα σύνολο διατεταγμένων ζευγών (x, ua(x)) όπου x Χ και ua(x) [0,1]). Το σύνολο Χ περιλαμβάνει όλα τα αντικείμενα στα οποία μπορεί να γίνει αναφορά. ua(x): βαθμός αληθείας (degree of truth) - τιμές στο διάστημα [0,1]. ΗσυνάρτησηuΑ ονομάζεταισυνάρτηση συγγένειας (membership function). Προέλευση ua: Υποκειμενικές εκτιμήσεις Προκαθορισμένες (ad hoc) μορφές Συχνότητες εμφανίσεων και πιθανότητες Φυσικές μετρήσεις Διαδικασίες μάθησης και προσαρμογής (νευρωνικά δίκτυα) 58
59 Αναπαράσταση Ασαφών Συνόλων 59 Αναλυτική έκφρασης της uα Απλούστευση: τμηματικώς γραμμικής απεικόνιση της ua Σύνολο ζευγών της μορφής uα(x)/x Π.χ. ψηλός = {0/1.7, 0/1.75, 0.33/1.8, 0.66/1.85, 1/1.9, 1/1.95} Με ζεύγη της μορφής (x, uα(x)): Π.χ. ψηλός = { (1.7, 0), (1.75, 0), (1.8, 0.33), (1.85, 0.66), (1.9, 1), (1.95, 1) } 1 1 u Α (x) u Α (x) κοντός μεσαίος ψηλός ύψος ύψος
60 60 Ασαφείς Σχέσεις (1/2) Aσαφή σύνολα ορισμένα σε πεδία αναφοράς ανώτερης διάστασης. Παράδειγμα: R = "x είναι βαρύτερο από y" x X, y Y και R X Y Αναπαράσταση της R, σε μορφή πίνακα = ), ( ), ( ), ( ), ( ), ( ), ( ), ( ), ( ), ( y x y x y x y x y x y x y x y x y x n m R m R m R n R R R n R R R u u u u u u u u u R L M L L
61 Ασαφείς Σχέσεις (2/2) 61 Σύνθεση (composition) Ασαφών Σχέσεων: συνδυασμός ασαφών σχέσεων. Σύνθεση max-min (max-min composition) Σύνθεση max-product (max-product composition). Αν R1(x,y) και R2(y,z) είναι δύο ασαφείς σχέσεις ορισμένες στα σύνολα Χ Υ καιυ Ζ αντίστοιχα, τότε η σύνθεσή τους δίνει μία νέα σχέση R1 R2 ορισμένη στο Χ Ζ με συνάρτηση συγγένειας: Σύνθεση max-min: ur1 R2( x, z) = o [ ur1( x, y) ur2( x, y)] y Σύνθεση max-product: u R 1 R2( x, z) = o [ ur1( x, y) ur2( x, y)] y
62 Ασαφείς Μεταβλητές και Ασαφείς Αριθμοί Ασαφής Μεταβλητή (fuzzy variable): οι τιμές τις ορίζονται με ασαφή σύνολα. Π.χ. τα ασαφή σύνολα {κοντός, μεσαίος, ψηλός} θα μπορούσαν να είναι το πεδίο τιμών της ασαφούς μεταβλητής "ύψος". "ύψος": λεκτική (linguistic) μεταβλητή. Ασαφείς αριθμοί (fuzzy numbers): ασαφή υποσύνολα του συνόλου των πραγματικών αριθμών. Π.χ. "Ασαφές 3" στο σχήμα. μη ασαφείς τιμές: crisp (σαφείς, συγκεκριμένες). 62
63 Η Αρχή της Επέκτασης (1/2) Επέκταση των εννοιών και των υπολογιστικών τεχνικών των κλασσικών μαθηματικών στο πλαίσιο των ασαφών. συνάρτηση f: ορίζει απεικόνιση του Χ={x1, x2,.., xn} στο Y={y1, y2,.., yn}, έτσι ώστε y1=f(x1), y2=f(x2),.., yn=f(xn). ασαφές σύνολο Α ορισμένο στα στοιχεία του Χ Α = { ua(x1)/x1, ua(x2)/x2,..., ua(xn)/xn } Αν η είσοδος x της συνάρτησης f γίνει ασαφής μέσω του συνόλου Α, τότε τι συμβαίνει με την έξοδο y ; Αρχή Επέκτασης: υπολογισμός ασαφούς συνόλου Β με εφαρμογή της f στο Α. B = f(α) = { ua(x1)/f(x1), ua(x2)/f(x2),..., ua(xn)/f(xn) } δηλαδή, κάθε yi=f(xi) γίνεται ασαφές σε βαθμό ua(xi) πρακτικά, η ub(y) προκύπτει από την ua(x) όπου το x αντικαθίσταται με την έκφραση που προκύπτει για αυτό από την επίλυση της f ως προς x 63
64 Η Αρχή της Επέκτασης (2/2) 64 Ειδικές Περιπτώσεις αν περισσότερα του ενός διαφορετικά x (έστω τα xm και xn) δίνουν μέσω της συνάρτησης f το ίδιο y (έστω το y0), τότε: ub(yο)=ua(xm) ua(xn). η μέγιστη τιμή συγγένειας των xm και xn στο Α επιλέγεται ως βαθμός συγγένειας του y0 στο Β αν για κάποιο yο του Β δεν υπάρχει x0 του Α τέτοιο ώστε yο=f(xο), τότε η τιμή συγγένειας του Β στο yο είναι μηδέν. Γενίκευση σε περισσότερες διαστάσεις: αν υπάρχουν οι μεταβλητές u, v,..., w ορισμένες στα σύνολα U, V,..., W αντίστοιχα m διαφορετικά ασαφή σύνολα A1, A2,.., Am ορισμένα στο U V... W η πολυπαραμετρική συνάρτηση y=f(u,x,...,w) τότε η ασαφοποίηση του χώρου των y, δηλαδή η συνάρτηση συγγένειας του συνόλου Β, ορίζεται ως εξής: u B ( y) = U V... W [ ua1( u) ua2( v)... uam( w)]/ f ( u, y,..., w)
65 Παράδειγμα Χρήσης Αρχής Επέκτασης (1/2) 65 Πρόσθεση των αριθμών Α:"ασαφές 3" και Β:"ασαφές 7" Α: "ασαφές 3" = { 0/1, 0.5/2, 1/3, 0.5/4, 0/5 } Β: "ασαφές 7" = { 0/5, 0.5/6, 1/7, 0.5/8, 0/9 } Κατασκευάζεται ο πίνακας: Α Β y= x=1 x=2 x=3 x=4 x=5 y= y= y= y=
66 Παράδειγμα Χρήσης Αρχής Επέκτασης (2/2) 66 u ( z) = [ u A( x) ub ( y)]/( x y) z = x + y C = A+ B + Έστω z=9. Υπάρχουν δύο συνδυασμοί x και y που μας δίνουν άθροισμα 9. αρχή της επέκτασης: ua+β(9) =max(min(ua(4), ub(5)), min(ua(3), ub(6)), min(ua(2), ub(7)), min(ua(1), ub(8))) = max(min(0.5, 0), min(1, 0.5), min(0.5, 1), min(0, 0.5)) = max( 0, 0.5, 0.5, 0) = 0.5 Άρα: ο βαθμός συγγένειας του z=9 στο ασαφές σύνολο C=A+B είναι 0.5. όμοια για τα υπόλοιπα στοιχεία του πίνακα, οπότε προκύπτει: ua+β(z) = { 0/8, 0.5/9, 1/10, 0.5/11, 0/12 }
67 u A (x) u B (x) u A+B (x)
68 Ασαφείς Προτάσεις και Ασαφείς Κανόνες 68 Ασαφής πρόταση είναι αυτή που θέτει μια τιμή σε μια ασαφή μεταβλητή. Ασαφής κανόνας (fuzzy rule): είναι μία υπό συνθήκη έκφραση που συσχετίζει δύο ή περισσότερες ασαφείς προτάσεις. "Εάν η ταχύτητα είναι μέτρια τότε η πίεση στα φρένα να είναι μέτρια" Η αναλυτική περιγραφή ενός ασαφούς κανόνα if-then είναι μία ασαφής σχέση R(x,y) που ονομάζεται σχέση συνεπαγωγής (implication relation). Γενικήτηςμορφήτηςσχέσης(συνάρτησης) συνεπαγωγής: R(x,y) u(x,y)=φ( ua(x), ub(y) ) φ: τελεστής συνεπαγωγής (implication operator)
69 Μερικοί Ασαφείς Τελεστές Συνεπαγωγής 69 Ονομασία Tελεστή φ m : Zadeh Max-Min φ c : Mandani Min φ p : Larsen Product φ α : Arithmetic φ b : Boolean Αναλυτική Έκφραση του φ[ua(x),ub(y)] (u A (x) u B (y)) (1- u A (x)) u A (x) u B (y) u A (x) u B (y) 1 (1-u A (x) + u B (y)) (1-u A (x)) u B (y))
70 Συλλογιστικές Διαδικασίας GMP και GMT Γενική μορφή προβλημάτων κατά τη συλλογιστική με ασαφείς κανόνες: if x is A then y is B x is A' y is Β' (?) μέσω της συλλογιστικής διαδικασίας GMP (Generalized Modus Ponens - GMP): Β'=A'oR(x,y) if x is A then y is B x is A' (?) y is Β' μέσω της συλλογιστικής διαδικασίας GMΤ (Generalized Modus Tollens - GMT): A'=R(x,y)oB' Η σχέση συνεπαγωγής R(x,y) που έχει επιλεγεί να χρησιμοποιηθεί, πρέπει να συνδυαστεί (σύνθεση) με την κατά περίπτωση γνωστή παράμετρο (Α' ή Β') ώστε να υπολογιστεί η άγνωστη παράμετρος. 70
71 Σύνοψη Ασαφούς Συλλογιστικής Διαδικασίας 71 Με βάση έναν ασαφή κανόνα της μορφής: "if x is A then y is B" καιέστωσυλλογιστικήδιαδικασίαgmp (δηλαδή γνωστό το Α' ως τιμή του x και ζητούμενο το B' ως τιμή του y), τα ασαφή σύνολα Α και Β συνδυάζονται με κάποιον από τους τελεστές συνεπαγωγής και παράγουν τη σχέση συνεπαγωγής R(x,y). Από την R(x,y) μέσω σύνθεσης (έστω max-min σύνθεση) με το Α' προκύπτει η άγνωστη ποσότητα Β': Β'=A'oR(x,y)
72 Ασαφής Συλλογιστική 72 Εξαγωγή συμπερασμάτων με χρήση ασαφών κανόνων. Τέσσερα στάδια: Υπολογισμός της συνάρτησης συνεπαγωγής για κάθε εμπλεκόμενο κανόνα. Παραγωγή επιμέρους αποτελεσμάτων μέσω κάποιας συλλογιστικής διαδικασίας. Συνάθροιση των επιμέρους αποτελεσμάτων. Αποσαφήνιση αποτελεσμάτων.
73 73 Παράδειγμα Προβλήματος Ασαφούς Συλλογιστικής (1/2) Έστω σύστημα που ρυθμίζει τη δόση D μιαςφαρμακευτικήςουσίαςπουπρέπεινα χορηγηθεί σε ασθενή, με βάση τη θερμοκρασία του T. Έστω ότι το σύστημα βασίζεται στους εξής δύο ασαφείς κανόνες: Κ1: if T is HIGH then D is HIGH Κ2: if T is LOW then D is LOW Δίνονται επίσης τα ασαφή σύνολα HIGH και LOW για τα μεγέθη Τ και D: TLOW = { 0.2/37, 1/37.5, 0.5/38, 0.2/38.5, 0/39, 0/39.5, 0/40 } THIGH = { 0/37, 0/37.5, 0.2/38, 0.5/38.5, 0.8/39, 1/39.5, 1/40 } DLOW = { 1/0, 0.8/2, 0.5/5, 0.2/8, 0/10 } DHIGH = { 0/0, 0.2/2, 0.5/5, 0.8/8, 1/10 } Αν Τ'=38.5, να υπολογιστεί η τιμή του D' με συλλογιστική διαδικασία GMP.
74 74 Παράδειγμα Προβλήματος Ασαφούς Συλλογιστικής (2/2)
75 Βήμα Α1: Υπολογισμός συνάρτησης συνεπαγωγής 75 Μέθοδος MIN 2 κανόνες: δύο τελεστές συνεπαγωγής, οι RK1 και RK2. Χρησιμοποιείται ο τελεστής συνεπαγωγής Mandani min (ή απλά MIN). Κ1: if T is HIGH then D is HIGH Κ2: if T is LOW then D is LOW Έστω ο Κ1. Κατασκευάζεται ο πίνακας αριστερά: Κάθε κελί του εσωτερικού πίνακα περιέχει το min(uthigh, udhigh) για τα Τ και D της γραμμής και στήλης στην οποία βρίσκεται. Όμοια προκύπτει και η RK2(TLOW,DLOW) για τον κανόνα Κ2 (πίνακας δεξιά) Γενίκευση: αν Ν εκφράσεις στο if τμήμα τότε προκύπτει πίνακας Ν+1 διαστάσεων. R K1 D T R Κ2 D T
76 76 Βήμα Α2: Παραγωγή επιμέρους αποτελεσμάτων (1/2) D'Κ1 = { 0/0, 0.2/2, 0.5/5, 0.5/8, 0.5/10 } Με εφαρμογή της συλλογιστικής διαδικασίας GMP: Κανόνας Κ1: D'K1=Τ'oRK1(THIGH,DHIGH) Κανόνας Κ2: D'K2=Τ'oRK2(TLOW,DLOW) Απαιτείται η γραφή της θερμοκρασίας Τ'=38.5 σε μορφή ασαφούς συνόλου, δηλαδή: Τ' = 38.5 = { 0/37, 0/37.5, 0/38, 1/38.5, 0/39, 0/39.5, 0/40 } Χρησιμοποιείται η μέθοδος σύνθεσης (o) max-min (η συνηθέστερηπερίπτωση). Τεχνική όμοια με πολλαπλασιασμό πινάκων: χρησιμοποιείται min αντί πολλαπλασιασμού και max αντί πρόσθεσης. 1οςπίνακαςτοασαφέςσύνολοΤ' (1x7) και 2ος ο αριστερά του βήματος Α1 (7x5) Tο αποτέλεσμα θα είναι ένας πίνακας 1x5 που θα αποτελεί και την ποσότητα D'K1. T D D' K1 = [0/37, 0/37.5, 0/38, 1/38.5, 0/39, 0/39.5, 0/40] o
77 77 Βήμα Α2: Παραγωγή επιμέρους αποτελεσμάτων (2/2) Όμοια, ο κανόνας Κ2 δίνει: D'Κ2 = { 0.2/0, 0.2/2, 0.2/5, 0.2/8, 0/10 } D'Κ1 (αριστερά) και D'Κ2 (δεξιά).
78 Βήμα Α3: Συνάθροιση αποτελεσμάτων 78 Μέθοδος MAX Υπολογίζει τη συνδυασμένη έξοδο των κανόνων παίρνοντας τη μέγιστη τιμή συγγένειας από τις παραμέτρους εξόδου κάθε κανόνα, σημείο προς σημείο (pointwise maximum - maxp/w). Δεδομένου ότι έχει υπολογιστεί: D1'Κ1 = { 0/0, 0.2/2, 0.5/5, 0.5/8, 0.5/10 } D1'Κ2 = { 0.2/0, 0.2/2, 0.2/5, 0.2/8, 0/10 } ησυνάθροισήτουςκατάmax δίνει D1'= {max(0,0.2)/0, max(0.2,0.2)/2, max(0.5,0.2)/5, max(0.5,0.2)/8, max(0.5,0)/10} = = { 0.2/0, 0.2/2, 0.5/5, 0.5/8, 0.5/10 }
79 Βήμα Α4: Αποσαφήνιση Μέθοδος αποσαφήνισης MAXIMUM διακριτή τιμή: μέγιστητιμήσυγγένειαςτουτελικού αποτελέσματος. με average-of-maxima αποσαφήνιση: D1= (5+8+10)/3=7.7 79
80 Βήμα Β1: Υπολογισμός συνάρτησης συνεπαγωγής 80 Μέθοδος PRODUCT δύο κανόνες: δύο τελεστές συνεπαγωγής, οι RK1 και RK2. Έστω ο τελεστής συνεπαγωγής Larsen Product (ή απλάproduct). Κ1: if T is HIGH then D is HIGH Κ2: if T is LOW then D is LOW Κανόνας Κ1. Κατασκευάζεται ο πίνακας αριστερά: Κάθε κελί του εσωτερικού πίνακα (σχέση συνεπαγωγής RK1) περιέχει το (uthigh udhigh) γιατατκαιd τηςγραμμήςκαιστήληςστηνοποία βρίσκεται. Όμοια προκύπτει και η RK2(TLOW,DLOW) για τον κανόνα Κ2 (πίνακας δεξιά) R K1 D T R Κ2 D T
81 81 Βήμα Β2: Παραγωγή επιμέρους αποτελεσμάτων (1/2) Με εφαρμογή της συλλογιστικής διαδικασίας GMP: Κανόνας Κ1: D'K1=Τ'oRK1(THIGH,DHIGH) Κανόνας Κ2: D'K2=Τ'oRK2(TLOW,DLOW) Απαιτείται η γραφή της θερμοκρασίας Τ'=38.5 σε μορφή ασαφούς συνόλου: Τ' = 38.5 = { 0/37, 0/37.5, 0/38, 1/38.5, 0/39, 0/39.5, 0/40 } Χρησιμοποιείται η μέθοδος σύνθεσης (o) max-min (η συνηθέστερηπερίπτωση). 1οςπίνακαςτοασαφέςσύνολοΤ' (1x7) και 2οςοεσωτερικόςτουβήματοςΒ1 (7x5) Tο αποτέλεσμα θα είναι ένας πίνακας 1x5 που θα αποτελεί και την ποσότητα D'K1. T D D' K1 = [0/37, 0/37.5, 0/38, 1/38.5, 0/39, 0/39.5, 0/40] o D'Κ1 = { 0/0, 0.1/2, 0.25/5, 0.4/8, 0.5/10 }
82 82 Βήμα Β2: Παραγωγή επιμέρους αποτελεσμάτων (2/2) Όμοια προκύπτει ότι ο κανόνας Κ2 δίνει:d'κ2 = { 0.2/0, 0.16/2, 0.1/5, 0.04/8, 0/10 } Γραφική απεικόνιση των D'Κ1 (αριστερά) και D'Κ2 (δεξιά).
83 Βήμα Β3: Συνάθροιση αποτελεσμάτων 83 Μέθοδος SUM Υπολογίζει τη συνδυασμένη έξοδο των κανόνων παίρνοντας τo άθροισμα των τιμών συγγένειας των παραμέτρων εξόδου κάθε κανόνα, σημείο προς σημείο (pointwise sum - sump/w). Δεδομένου ότι έχει υπολογιστεί: D2'Κ1 = { 0/0, 0.1/2, 0.25/5, 0.4/8, 0.5/10 } D2'Κ2 = { 0.2/0, 0.16/2, 0.1/5, 0.04/8, 0/10 }...η συνάθροισή τους κατά MAX δίνει... D2'= { (0+0.2)/0, ( )/2, ( )/5, ( )/8, (0.5+0)/10} = { 0.2/0, 0.26/2, 0.35/5, 0.44/8, 0.5/10 }
84 Βήμα Β4: Αποσαφήνιση 84 Μέθοδος αποσαφήνισης CENDROID Η διακριτή τιμή είναι αυτή που προκύπτει από το κέντρο βάρους της τελικής συνάρτησης συγγένειας για την ασαφή παράμετρο εξόδου. Το κέντρο βάρους επιφάνειας που ορίζεται από μία t2 συνάρτηση f(t): σχέση (1) t f ( t) dt t1 t κβ = t1 f ( t) dt t2 Για διακριτού συνόλου αναφοράς: διακριτό άθροισμα με δειγματοληψία Ν σημείων (σχ.2). N i i= 1 κβ = N t t i= 1 u u OUT OUT ( t ) i i ( t )
85 85 Με CENDROID αποσαφήνιση στα αποτελέσματα της συνάθροισης SUM, προκύπτει: t 5 t ( t ( t ) ) i D 2' i i = 1 D 2 ' = = = 5 i = 1 u u D 2' i 6.2
86 Λήψη Αποφάσεων στο Σημασιολογικό Ιστό 86
87 Towards a Semantic Web 87 The current Web represents information using natural language (English, Hungarian, Chinese, ) graphics, multimedia, page layout Humans can process this easily can deduce facts from partial information can create mental associations are used to various sensory information (well, sort of people with disabilities may have serious problems on the Web with rich media!)
88 Towards a Semantic Web 88 Tasks often require to combine data on the Web: hotel and travel information may come from different sites searches in different digital libraries etc. Again, humans combine these information easily even if different terminologies are used!
89 However 89 However: machines are ignorant! partial information is unusable difficult to make sense from, e.g., an image drawing analogies automatically is difficult difficult to combine information automatically is <foo:creator> same as <bar:author>?
90 Example: automatic airline reservation 90 Your automatic airline reservation knows about your preferences builds up knowledge base using your past can combine the local knowledge with remote services: airline preferences dietary requirements calendaring etc It communicates with remote information
91 Example: data(base) integration 91 Databases are very different in structure, in content Lots of applications require managing several databases after company mergers combination of administrative data for e-government biochemical, genetic, pharmaceutical research etc. Most of these data are accessible from the Web (though not necessarily public yet)
92 And the problem is real 92
93 Example: digital libraries 93 It means catalogues on the Web librarians have known how to do that for centuries goal is to have this on the Web, World-wide extend it to multimedia data, too But it is more: software agents should also be librarians! help you in finding the right publications
94 Example: semantics of Web Services 94 Web services technology is great But if services are ubiquitous, searching issue comes up, for example: find me the best differential equation solver check if it can be combined with the XYZ plotter service It is necessary to characterize the service not only in terms of input and output parameters but also in terms of its semantics
95 What is needed? 95 (Some) data should be available for machines for further processing Data should be possibly combined, merged on a Web scale Sometimes, data may describe other data but sometimes the data is to be exchanged by itself, like my calendar or my travel preferences Machines may also need to reason about that data
96 In short: we need a Web of Data! 96
97 In what follows 97 We will use a simplistic example to introduce the main Semantic Web concepts We take, as an example area, data integration
98 The rough structure of data integration 98 1.Map the various data onto an abstract data representation make the data independent of its internal representation 2.Merge the resulting representations 3.Start making queries on the whole! queries not possible on the individual data sets
99 A simplified book store data (dataset A ) Dataset A : RDBMS Table : Books ID Author Title Publisher Year ISBN X id_xyz The Glass Palace id_qpr Table : Authors ID Name Home Page id_xyz Ghosh, Amitav Table : Publishers ID id_qpr Publ. Name Harpers Collins City London
100 1 st : export your data as a set of relations 100
101 Another book store data (dataset F ) 101 A B C D E 1 ID Titre Auteur Traducteur Original ISBN Le Palais A7 A8 ISBN X des miroirs Dataset F : Excel file Nom Ghosh, Amitav Besse, Christianne
102 2 nd : export your second set of data 102
103 3 rd : start merging your data 103
104 3 rd : merge identical resources 104
105 Start making queries 105 User of data F can now ask queries like: give me the title of the original This information is not in the dataset F but can be retrieved by merging with dataset A!
106 However, more can be achieved 106 We feel that a:author and f:auteur should be the same But an automatic merge does not know that!
107 3 rd revisited: use the extra knowledge 107 Add some extra information to the merged data: 1) a:author same as f:auteur 2) both identify a Person, a term that a community (foaf:person) may have already defined: a Person is uniquely identified by his/her name and, say, homepage it can be used as a category for certain type of resources
108 Start making richer queries! 108 User of dataset F can now query: give me the home page of the original s author The information is not in datasets F or A but was made available by: merging datasets A and datasets F adding three simple extra statements as an extra glue
109 Combine with different datasets 109 Via, e.g., the Person, the dataset can be combined with other sources For example, data in Wikipedia can be extracted using dedicated tools
110 Merge with Wikipedia data 110
111 Merge with Wikipedia data 111
112 Merge with Wikipedia data 112
113 Is that surprising? 113 It may look like it but, in fact, it should not be What happened via automatic means is done every day by Web users! The difference: a bit of extra rigour so that machines could do this, too
114 What did we do? 114
115 It could become even more powerful 115 We could add extra knowledge to the merged datasets e.g., a full classification of various types of library data geographical information etc. This is where ontologies come in ontologies can be relatively simple and small, or huge, or anything in between Even more powerful queries can be asked as a result
116 The abstraction pays off because 116 the graph representation is independent of the exact structures a change in local database schema s, XHTML structures, etc, do not affect the whole schema independence new data, new connections can be added seamlessly The network effect Through URI-s we can link any data to any data The network effect is extended to the (Web) data Mashup on steroids become possible
117 So where is the Semantic Web? 117 The Semantic Web provides technologies to make such integration possible! Hopefully you get a full picture at the end of the tutorial
118 The Basis: RDF 118
119 RDF triples 119 Let us begin to formalize what we did! we connected the data but a simple connection is not enough data should be named somehow hence the RDF Triples: a labelled connection between two resources
120 RDF triples (cont.) 120 An RDF Triple (s,p,o) is such that: s, p are URI-s, ie, resources on the Web; o is a URI or a literal s, p, and o stand for : subject, property or predicate, and object here is the complete triple: (< isbn 6682>, < /original>, < isbn 409X>) RDF is a general model for such triples (with machine readable formats like RDF/XML, Turtle, N3, RXR, ) RDF triples are also referred to as triplets, or statements
121 RDF triples (cont.) 121 Resources can use any URI; it can denote an element within an XML file on the Web, not only a full resource, e.g.: RDF triples form a directed, labelled graph (the best way to think about them!)
122 RDF/XML Document example 122 <?xml version="1.0"?> <rdf:rdf xmlns:rdf=" xmlns:si=" <rdf:description rdf:about=" <si:title>w3schools</si:title> <si:author>jan Egil Refsnes</si:author> </rdf:description> </rdf:rdf> <rdf:rdf> is the root element of an RDF document. - defines the XML document to be an RDF document. - contains a reference to the RDF namespace.
123 XML Elements 123 Τα «πράγματα» στα οποία αναφέρεται το XML κείμενο Π.χ. Βιβλία, συγγραφείς, εκδότες Ένα element αποτελείται από: an opening tag the content a closing tag <lecturer>david Billington</lecturer>
124 XML Elements (2) 124 Υπάρχει σχεδόν πλήρης ελευθερία επιλογής Tag names Ο πρώτος χαρακτήρας πρέπει να είναι γράμμα, underscore, ή colon Κανέναόνομαδεπρέπειναξεκινάμετολεκτικό xml ή συνδυασμούς αυτού Π.χ. Xml, xml
125 Περιεχόμενο XML Elements 125 Το περιεχόμενο μπορεί να είναι κείμενο, άλλα elements, ή τίποτα <lecturer> <name>david Billington</name> <phone> </phone> </lecturer> Στην XML κάποιοιχαρακτήρεςείναιδεσμευμένοικαιδενμπορούννα τοποθετηθούν στο περιεχόμενο ενός κειμένου παρά μόνον με ειδικό τρόπο: ο χαρακτήρας & μπορεί να εισαχθεί ως & ο χαρακτήρας < μπορεί να εισαχθεί ως < ο χαρακτήρας > μπορεί να εισαχθεί ως > ο χαρακτήρας μπορεί να εισαχθεί ως " ο χαρακτήρας μπορεί να εισαχθεί ως '
Κεφάλαιο 11. Συστήµατα Κανόνων. Τεχνητή Νοηµοσύνη - Β' Έκδοση. Ι. Βλαχάβας, Π. Κεφαλάς, Ν. Βασιλειάδης, Φ. Κόκκορας, Η.
Κεφάλαιο 11 Συστήµατα Κανόνων Τεχνητή Νοηµοσύνη - Β' Έκδοση Ι. Βλαχάβας, Π. Κεφαλάς, Ν. Βασιλειάδης, Φ. Κόκκορας, Η. Σακελλαρίου Τεχνητή Νοηµοσύνη, B' Έκδοση 1 Αναπαράσταση µε Κανόνες Πολύ πρακτικός τρόπος
Διαβάστε περισσότεραΤεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή
Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή raniah@hua.gr 1 Αναπαράσταση με Κανόνες Η γνώση αναπαρίσταται με τρόπο που πλησιάζει την ανθρώπινη
Διαβάστε περισσότεραοµηµένες Αναπαραστάσεις Γνώσης
οµηµένες Αναπαραστάσεις Γνώσης! Η κλασική λογική δε µπορεί να αναπαραστήσει κλάσεις αντικειµένων.! Είναι επιθυµητή η µείωση του όγκου της γνώσης για ένα πρόβληµα.! Η πράξη απαιτεί µία περισσότερο διαισθητική
Διαβάστε περισσότεραΒασικές Έννοιες Ασαφών Συνόλων
Ασάφεια (Fuzziness) Έννοια που σχετίζεται με την ποσοτικοποίηση της πληροφορίας και οφείλεται κυρίως σε μη-ακριβή (imprecise) δεδομένα. "Ο Νίκος είναι ψηλός Το πρόβλημα οφείλεται στην αντίληψη που έχει
Διαβάστε περισσότεραΚεφάλαιο 14. Ασάφεια. Τεχνητή Νοηµοσύνη - Β' Έκδοση. Ι. Βλαχάβας, Π. Κεφαλάς, Ν. Βασιλειάδης, Φ. Κόκκορας, Η. Σακελλαρίου
Κεφάλαιο 4 Ασάφεια Τεχνητή Νοηµοσύνη - Β' Έκδοση Ι. Βλαχάβας, Π. Κεφαλάς, Ν. Βασιλειάδης, Φ. Κόκκορας, Η. Σακελλαρίου Ασάφεια (Fuzziness) Έννοια που σχετίζεται µε την ποσοτικοποίηση της πληροφορίας και
Διαβάστε περισσότεραοµηµένες Αναπαραστάσεις Γνώσης
οµηµένες Αναπαραστάσεις Γνώσης! Η κλασική λογική δε µπορεί να αναπαραστήσει κλάσεις αντικειµένων.! Είναι επιθυµητή η µείωση του όγκου της γνώσης για ένα πρόβληµα.! Η πράξη απαιτεί µία περισσότερο διαισθητική
Διαβάστε περισσότεραΤεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή
Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή raniah@hua.gr 1 Ασάφεια (Fuzziness) Ποσοτικοποίηση της ποιοτικής πληροφορίας Οφείλεται κυρίως
Διαβάστε περισσότεραΣυστήματα Γνώσης. Θεωρητικό Κομμάτι Μαθήματος Ενότητα 4: Αναπαράστασης Γνώσης και Συλλογιστικής Συστήματα Κανόνων
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ Θεωρητικό Κομμάτι Μαθήματος Ενότητα 4: Αναπαράστασης Γνώσης και Συλλογιστικής Συστήματα Κανόνων Νίκος Βασιλειάδης, Αναπλ. Καθηγητής Άδειες
Διαβάστε περισσότεραΚεφάλαιο 13. Αβεβαιότητα. Τεχνητή Νοηµοσύνη - Β' Έκδοση. Ι. Βλαχάβας, Π. Κεφαλάς, Ν. Βασιλειάδης, Φ. Κόκκορας, Η. Σακελλαρίου
Κεφάλαιο 13 Αβεβαιότητα Τεχνητή Νοηµοσύνη - Β' Έκδοση Ι. Βλαχάβας, Π. Κεφαλάς, Ν. Βασιλειάδης, Φ. Κόκκορας, Η. Σακελλαρίου Κυριότερες πηγές αβεβαιότητας: Αβέβαιη Γνώση Ανακριβή δεδοµένα (imprecise data).
Διαβάστε περισσότεραΑσαφής Λογική (Fuzzy Logic)
Ασαφής Λογική (Fuzzy Logic) Ασάφεια: έννοια που σχετίζεται με την ποσοτικοποίηση της πληροφορίας και οφείλεται κυρίως σε μη-ακριβή (imprecise) δεδομένα. Π.χ. "Ο Νίκος είναι ψηλός": δεν προσδιορίζεται με
Διαβάστε περισσότεραΣυστήματα Βασισμένα σε Γνώση (Knowledge Based Systems)
Τεχνητή Νοημοσύνη 10 Συστήματα Βασισμένα σε Γνώση (Knowledge Based Systems) Φώτης Κόκκορας Τμ. Μηχανικών Πληροφορικής - ΤΕΙ Θεσσαλίας Δεδομένα, Πληροφορία, Γνώση και Σοφία Εμπειρικοί κανόνες Όχι προγραμματισμός
Διαβάστε περισσότεραderivation of the Laplacian from rectangular to spherical coordinates
derivation of the Laplacian from rectangular to spherical coordinates swapnizzle 03-03- :5:43 We begin by recognizing the familiar conversion from rectangular to spherical coordinates (note that φ is used
Διαβάστε περισσότερα2 Composition. Invertible Mappings
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan Composition. Invertible Mappings In this section we discuss two procedures for creating new mappings from old ones, namely,
Διαβάστε περισσότεραRule Based systems Συστήματα Βασισμένα σε κανόνες
Rule Based systems Συστήματα Βασισμένα σε κανόνες Τμήματα ενός έμπειρου συστήματος βασισμένου σε κανόνες Βάση Γνώσης (Κανόνες) Μηχανισμός Εξαγωγής Συμπερασμάτων Χώρος Εργασίας (Γεγονότα) Μηχανισμός Επεξήγησης
Διαβάστε περισσότεραThe Simply Typed Lambda Calculus
Type Inference Instead of writing type annotations, can we use an algorithm to infer what the type annotations should be? That depends on the type system. For simple type systems the answer is yes, and
Διαβάστε περισσότεραΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007
Οδηγίες: Να απαντηθούν όλες οι ερωτήσεις. Αν κάπου κάνετε κάποιες υποθέσεις να αναφερθούν στη σχετική ερώτηση. Όλα τα αρχεία που αναφέρονται στα προβλήματα βρίσκονται στον ίδιο φάκελο με το εκτελέσιμο
Διαβάστε περισσότερα3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β
3.4 SUM AND DIFFERENCE FORMULAS Page Theorem cos(αβ cos α cos β -sin α cos(α-β cos α cos β sin α NOTE: cos(αβ cos α cos β cos(α-β cos α -cos β Proof of cos(α-β cos α cos β sin α Let s use a unit circle
Διαβάστε περισσότεραΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 6/5/2006
Οδηγίες: Να απαντηθούν όλες οι ερωτήσεις. Ολοι οι αριθμοί που αναφέρονται σε όλα τα ερωτήματα είναι μικρότεροι το 1000 εκτός αν ορίζεται διαφορετικά στη διατύπωση του προβλήματος. Διάρκεια: 3,5 ώρες Καλή
Διαβάστε περισσότεραLecture 2. Soundness and completeness of propositional logic
Lecture 2 Soundness and completeness of propositional logic February 9, 2004 1 Overview Review of natural deduction. Soundness and completeness. Semantics of propositional formulas. Soundness proof. Completeness
Διαβάστε περισσότεραCHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS
CHAPTER 5 SOLVING EQUATIONS BY ITERATIVE METHODS EXERCISE 104 Page 8 1. Find the positive root of the equation x + 3x 5 = 0, correct to 3 significant figures, using the method of bisection. Let f(x) =
Διαβάστε περισσότεραInstruction Execution Times
1 C Execution Times InThisAppendix... Introduction DL330 Execution Times DL330P Execution Times DL340 Execution Times C-2 Execution Times Introduction Data Registers This appendix contains several tables
Διαβάστε περισσότεραSection 8.3 Trigonometric Equations
99 Section 8. Trigonometric Equations Objective 1: Solve Equations Involving One Trigonometric Function. In this section and the next, we will exple how to solving equations involving trigonometric functions.
Διαβάστε περισσότεραEE512: Error Control Coding
EE512: Error Control Coding Solution for Assignment on Finite Fields February 16, 2007 1. (a) Addition and Multiplication tables for GF (5) and GF (7) are shown in Tables 1 and 2. + 0 1 2 3 4 0 0 1 2 3
Διαβάστε περισσότεραC.S. 430 Assignment 6, Sample Solutions
C.S. 430 Assignment 6, Sample Solutions Paul Liu November 15, 2007 Note that these are sample solutions only; in many cases there were many acceptable answers. 1 Reynolds Problem 10.1 1.1 Normal-order
Διαβάστε περισσότεραSection 7.6 Double and Half Angle Formulas
09 Section 7. Double and Half Angle Fmulas To derive the double-angles fmulas, we will use the sum of two angles fmulas that we developed in the last section. We will let α θ and β θ: cos(θ) cos(θ + θ)
Διαβάστε περισσότεραConcrete Mathematics Exercises from 30 September 2016
Concrete Mathematics Exercises from 30 September 2016 Silvio Capobianco Exercise 1.7 Let H(n) = J(n + 1) J(n). Equation (1.8) tells us that H(2n) = 2, and H(2n+1) = J(2n+2) J(2n+1) = (2J(n+1) 1) (2J(n)+1)
Διαβάστε περισσότεραΣυστήματα Γνώσης. Πρακτικό Κομμάτι Μαθήματος Πρόγραμμα Κίνησης Robot. Νίκος Βασιλειάδης, Αναπλ. Καθηγητής Τμήμα Πληροφορικής
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ Πρακτικό Κομμάτι Μαθήματος Πρόγραμμα Κίνησης Robot Νίκος Βασιλειάδης, Αναπλ. Καθηγητής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται
Διαβάστε περισσότεραHomework 3 Solutions
Homework 3 Solutions Igor Yanovsky (Math 151A TA) Problem 1: Compute the absolute error and relative error in approximations of p by p. (Use calculator!) a) p π, p 22/7; b) p π, p 3.141. Solution: For
Διαβάστε περισσότεραExercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.
Exercises 0 More exercises are available in Elementary Differential Equations. If you have a problem to solve any of them, feel free to come to office hour. Problem Find a fundamental matrix of the given
Διαβάστε περισσότεραHOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:
HOMEWORK 4 Problem a For the fast loading case, we want to derive the relationship between P zz and λ z. We know that the nominal stress is expressed as: P zz = ψ λ z where λ z = λ λ z. Therefore, applying
Διαβάστε περισσότεραPhys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)
Phys460.nb 81 ψ n (t) is still the (same) eigenstate of H But for tdependent H. The answer is NO. 5.5.5. Solution for the tdependent Schrodinger s equation If we assume that at time t 0, the electron starts
Διαβάστε περισσότεραΕργαστήριο Ανάπτυξης Εφαρμογών Βάσεων Δεδομένων. Εξάμηνο 7 ο
Εργαστήριο Ανάπτυξης Εφαρμογών Βάσεων Δεδομένων Εξάμηνο 7 ο Procedures and Functions Stored procedures and functions are named blocks of code that enable you to group and organize a series of SQL and PL/SQL
Διαβάστε περισσότεραΤεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή
Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή raniah@hua.gr 1 Αβεβαιότητα Με τον όρο αβεβαιότητα (uncertainty) εννοείται η έλλειψη ακριβούς
Διαβάστε περισσότερα9.09. # 1. Area inside the oval limaçon r = cos θ. To graph, start with θ = 0 so r = 6. Compute dr
9.9 #. Area inside the oval limaçon r = + cos. To graph, start with = so r =. Compute d = sin. Interesting points are where d vanishes, or at =,,, etc. For these values of we compute r:,,, and the values
Διαβάστε περισσότεραLecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3
Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 1 State vector space and the dual space Space of wavefunctions The space of wavefunctions is the set of all
Διαβάστε περισσότεραCode Breaker. TEACHER s NOTES
TEACHER s NOTES Time: 50 minutes Learning Outcomes: To relate the genetic code to the assembly of proteins To summarize factors that lead to different types of mutations To distinguish among positive,
Διαβάστε περισσότεραΑναπαράσταση Γνώσης και Συλλογιστικές
Αναπαράσταση Γνώσης και Συλλογιστικές Αναπαράσταση γνώσης είναι ένα σύνολο συντακτικών και σηµασιολογικών παραδοχών, οι οποίες καθιστούν δυνατή την περιγραφή ενός κόσµου.! Μία µέθοδος αναπαράστασης γνώσης
Διαβάστε περισσότεραFinite Field Problems: Solutions
Finite Field Problems: Solutions 1. Let f = x 2 +1 Z 11 [x] and let F = Z 11 [x]/(f), a field. Let Solution: F =11 2 = 121, so F = 121 1 = 120. The possible orders are the divisors of 120. Solution: The
Διαβάστε περισσότεραOther Test Constructions: Likelihood Ratio & Bayes Tests
Other Test Constructions: Likelihood Ratio & Bayes Tests Side-Note: So far we have seen a few approaches for creating tests such as Neyman-Pearson Lemma ( most powerful tests of H 0 : θ = θ 0 vs H 1 :
Διαβάστε περισσότεραHow to register an account with the Hellenic Community of Sheffield.
How to register an account with the Hellenic Community of Sheffield. (1) EN: Go to address GR: Πηγαίνετε στη διεύθυνση: http://www.helleniccommunityofsheffield.com (2) EN: At the bottom of the page, click
Διαβάστε περισσότεραStrain gauge and rosettes
Strain gauge and rosettes Introduction A strain gauge is a device which is used to measure strain (deformation) on an object subjected to forces. Strain can be measured using various types of devices classified
Διαβάστε περισσότεραSection 9.2 Polar Equations and Graphs
180 Section 9. Polar Equations and Graphs In this section, we will be graphing polar equations on a polar grid. In the first few examples, we will write the polar equation in rectangular form to help identify
Διαβάστε περισσότεραStatistical Inference I Locally most powerful tests
Statistical Inference I Locally most powerful tests Shirsendu Mukherjee Department of Statistics, Asutosh College, Kolkata, India. shirsendu st@yahoo.co.in So far we have treated the testing of one-sided
Διαβάστε περισσότεραFractional Colorings and Zykov Products of graphs
Fractional Colorings and Zykov Products of graphs Who? Nichole Schimanski When? July 27, 2011 Graphs A graph, G, consists of a vertex set, V (G), and an edge set, E(G). V (G) is any finite set E(G) is
Διαβάστε περισσότεραSecond Order Partial Differential Equations
Chapter 7 Second Order Partial Differential Equations 7.1 Introduction A second order linear PDE in two independent variables (x, y Ω can be written as A(x, y u x + B(x, y u xy + C(x, y u u u + D(x, y
Διαβάστε περισσότεραF-TF Sum and Difference angle
F-TF Sum and Difference angle formulas Alignments to Content Standards: F-TF.C.9 Task In this task, you will show how all of the sum and difference angle formulas can be derived from a single formula when
Διαβάστε περισσότεραΚΥΠΡΙΑΚΟΣ ΣΥΝΔΕΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY 21 ος ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ Δεύτερος Γύρος - 30 Μαρτίου 2011
Διάρκεια Διαγωνισμού: 3 ώρες Απαντήστε όλες τις ερωτήσεις Μέγιστο Βάρος (20 Μονάδες) Δίνεται ένα σύνολο από N σφαιρίδια τα οποία δεν έχουν όλα το ίδιο βάρος μεταξύ τους και ένα κουτί που αντέχει μέχρι
Διαβάστε περισσότεραΟδηγίες Αγοράς Ηλεκτρονικού Βιβλίου Instructions for Buying an ebook
Οδηγίες Αγοράς Ηλεκτρονικού Βιβλίου Instructions for Buying an ebook Βήμα 1: Step 1: Βρείτε το βιβλίο που θα θέλατε να αγοράσετε και πατήστε Add to Cart, για να το προσθέσετε στο καλάθι σας. Αυτόματα θα
Διαβάστε περισσότεραBounding Nonsplitting Enumeration Degrees
Bounding Nonsplitting Enumeration Degrees Thomas F. Kent Andrea Sorbi Università degli Studi di Siena Italia July 18, 2007 Goal: Introduce a form of Σ 0 2-permitting for the enumeration degrees. Till now,
Διαβάστε περισσότεραΣυστήματα Διαχείρισης Βάσεων Δεδομένων
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Συστήματα Διαχείρισης Βάσεων Δεδομένων Φροντιστήριο 9: Transactions - part 1 Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Tutorial on Undo, Redo and Undo/Redo
Διαβάστε περισσότεραEvery set of first-order formulas is equivalent to an independent set
Every set of first-order formulas is equivalent to an independent set May 6, 2008 Abstract A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent
Διαβάστε περισσότεραΤ.Ε.Ι. ΔΥΤΙΚΗΣ ΜΑΚΕΔΟΝΙΑΣ ΠΑΡΑΡΤΗΜΑ ΚΑΣΤΟΡΙΑΣ ΤΜΗΜΑ ΔΗΜΟΣΙΩΝ ΣΧΕΣΕΩΝ & ΕΠΙΚΟΙΝΩΝΙΑΣ
Τ.Ε.Ι. ΔΥΤΙΚΗΣ ΜΑΚΕΔΟΝΙΑΣ ΠΑΡΑΡΤΗΜΑ ΚΑΣΤΟΡΙΑΣ ΤΜΗΜΑ ΔΗΜΟΣΙΩΝ ΣΧΕΣΕΩΝ & ΕΠΙΚΟΙΝΩΝΙΑΣ ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ Η προβολή επιστημονικών θεμάτων από τα ελληνικά ΜΜΕ : Η κάλυψή τους στον ελληνικό ημερήσιο τύπο Σαραλιώτου
Διαβάστε περισσότεραΚΕΦΑΛΑΙΟ 3 - Συστήματα Κανόνων
ΚΕΦΑΛΑΙΟ 3 - Συστήματα Κανόνων Σύνοψη Στο κεφάλαιο αυτό παρουσιάζεται ο χώρος των συστημάτων κανόνων με επικέντρωση στα συστήματα παραγωγής. Η χρήση κανόνων για την αναπαράσταση της διαδικαστικής και επεισοδιακής
Διαβάστε περισσότεραTMA4115 Matematikk 3
TMA4115 Matematikk 3 Andrew Stacey Norges Teknisk-Naturvitenskapelige Universitet Trondheim Spring 2010 Lecture 12: Mathematics Marvellous Matrices Andrew Stacey Norges Teknisk-Naturvitenskapelige Universitet
Διαβάστε περισσότερα7 Present PERFECT Simple. 8 Present PERFECT Continuous. 9 Past PERFECT Simple. 10 Past PERFECT Continuous. 11 Future PERFECT Simple
A/ Ονόματα και ένα παράδειγμα 1 Present Simple 7 Present PERFECT Simple 2 Present Continuous 8 Present PERFECT Continuous 3 Past Simple (+ used to) 9 Past PERFECT Simple she eats she is eating she ate
Διαβάστε περισσότεραMatrices and Determinants
Matrices and Determinants SUBJECTIVE PROBLEMS: Q 1. For what value of k do the following system of equations possess a non-trivial (i.e., not all zero) solution over the set of rationals Q? x + ky + 3z
Διαβάστε περισσότεραΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 24/3/2007
Οδηγίες: Να απαντηθούν όλες οι ερωτήσεις. Όλοι οι αριθμοί που αναφέρονται σε όλα τα ερωτήματα μικρότεροι του 10000 εκτός αν ορίζεται διαφορετικά στη διατύπωση του προβλήματος. Αν κάπου κάνετε κάποιες υποθέσεις
Διαβάστε περισσότεραInverse trigonometric functions & General Solution of Trigonometric Equations. ------------------ ----------------------------- -----------------
Inverse trigonometric functions & General Solution of Trigonometric Equations. 1. Sin ( ) = a) b) c) d) Ans b. Solution : Method 1. Ans a: 17 > 1 a) is rejected. w.k.t Sin ( sin ) = d is rejected. If sin
Διαβάστε περισσότεραOrdinal Arithmetic: Addition, Multiplication, Exponentiation and Limit
Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit Ting Zhang Stanford May 11, 2001 Stanford, 5/11/2001 1 Outline Ordinal Classification Ordinal Addition Ordinal Multiplication Ordinal
Διαβάστε περισσότεραAssalamu `alaikum wr. wb.
LUMP SUM Assalamu `alaikum wr. wb. LUMP SUM Wassalamu alaikum wr. wb. Assalamu `alaikum wr. wb. LUMP SUM Wassalamu alaikum wr. wb. LUMP SUM Lump sum lump sum lump sum. lump sum fixed price lump sum lump
Διαβάστε περισσότερα( y) Partial Differential Equations
Partial Dierential Equations Linear P.D.Es. contains no owers roducts o the deendent variables / an o its derivatives can occasionall be solved. Consider eamle ( ) a (sometimes written as a ) we can integrate
Διαβάστε περισσότεραΕΠΙΧΕΙΡΗΣΙΑΚΗ ΑΛΛΗΛΟΓΡΑΦΙΑ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑ ΣΤΗΝ ΑΓΓΛΙΚΗ ΓΛΩΣΣΑ
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων ΕΠΙΧΕΙΡΗΣΙΑΚΗ ΑΛΛΗΛΟΓΡΑΦΙΑ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑ ΣΤΗΝ ΑΓΓΛΙΚΗ ΓΛΩΣΣΑ Ενότητα 4: English a Language of Economy Το περιεχόμενο του μαθήματος διατίθεται με άδεια
Διαβάστε περισσότεραHomework 8 Model Solution Section
MATH 004 Homework Solution Homework 8 Model Solution Section 14.5 14.6. 14.5. Use the Chain Rule to find dz where z cosx + 4y), x 5t 4, y 1 t. dz dx + dy y sinx + 4y)0t + 4) sinx + 4y) 1t ) 0t + 4t ) sinx
Διαβάστε περισσότεραdepartment listing department name αχχουντσ ϕανε βαλικτ δδσϕηασδδη σδηφγ ασκϕηλκ τεχηνιχαλ αλαν ϕουν διξ τεχηνιχαλ ϕοην µαριανι
She selects the option. Jenny starts with the al listing. This has employees listed within She drills down through the employee. The inferred ER sttricture relates this to the redcords in the databasee
Διαβάστε περισσότεραANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?
Teko Classes IITJEE/AIEEE Maths by SUHAAG SIR, Bhopal, Ph (0755) 3 00 000 www.tekoclasses.com ANSWERSHEET (TOPIC DIFFERENTIAL CALCULUS) COLLECTION # Question Type A.Single Correct Type Q. (A) Sol least
Διαβάστε περισσότεραSrednicki Chapter 55
Srednicki Chapter 55 QFT Problems & Solutions A. George August 3, 03 Srednicki 55.. Use equations 55.3-55.0 and A i, A j ] = Π i, Π j ] = 0 (at equal times) to verify equations 55.-55.3. This is our third
Διαβάστε περισσότεραCRASH COURSE IN PRECALCULUS
CRASH COURSE IN PRECALCULUS Shiah-Sen Wang The graphs are prepared by Chien-Lun Lai Based on : Precalculus: Mathematics for Calculus by J. Stuwart, L. Redin & S. Watson, 6th edition, 01, Brooks/Cole Chapter
Διαβάστε περισσότεραUNIVERSITY OF CALIFORNIA. EECS 150 Fall ) You are implementing an 4:1 Multiplexer that has the following specifications:
UNIVERSITY OF CALIFORNIA Department of Electrical Engineering and Computer Sciences EECS 150 Fall 2001 Prof. Subramanian Midterm II 1) You are implementing an 4:1 Multiplexer that has the following specifications:
Διαβάστε περισσότεραOverview. Transition Semantics. Configurations and the transition relation. Executions and computation
Overview Transition Semantics Configurations and the transition relation Executions and computation Inference rules for small-step structural operational semantics for the simple imperative language Transition
Διαβάστε περισσότεραΔημιουργία Λογαριασμού Διαχείρισης Business Telephony Create a Management Account for Business Telephony
Δημιουργία Λογαριασμού Διαχείρισης Business Telephony Create a Management Account for Business Telephony Ελληνικά Ι English 1/7 Δημιουργία Λογαριασμού Διαχείρισης Επιχειρηματικής Τηλεφωνίας μέσω της ιστοσελίδας
Διαβάστε περισσότεραProblem Set 3: Solutions
CMPSCI 69GG Applied Information Theory Fall 006 Problem Set 3: Solutions. [Cover and Thomas 7.] a Define the following notation, C I p xx; Y max X; Y C I p xx; Ỹ max I X; Ỹ We would like to show that C
Διαβάστε περισσότερα6.1. Dirac Equation. Hamiltonian. Dirac Eq.
6.1. Dirac Equation Ref: M.Kaku, Quantum Field Theory, Oxford Univ Press (1993) η μν = η μν = diag(1, -1, -1, -1) p 0 = p 0 p = p i = -p i p μ p μ = p 0 p 0 + p i p i = E c 2 - p 2 = (m c) 2 H = c p 2
Διαβάστε περισσότερα4.6 Autoregressive Moving Average Model ARMA(1,1)
84 CHAPTER 4. STATIONARY TS MODELS 4.6 Autoregressive Moving Average Model ARMA(,) This section is an introduction to a wide class of models ARMA(p,q) which we will consider in more detail later in this
Διαβάστε περισσότεραApproximation of distance between locations on earth given by latitude and longitude
Approximation of distance between locations on earth given by latitude and longitude Jan Behrens 2012-12-31 In this paper we shall provide a method to approximate distances between two points on earth
Διαβάστε περισσότεραΕΙΣΑΓΩΓΗ ΣΤΗ ΣΤΑΤΙΣΤΙΚΗ ΑΝΑΛΥΣΗ
ΕΙΣΑΓΩΓΗ ΣΤΗ ΣΤΑΤΙΣΤΙΚΗ ΑΝΑΛΥΣΗ ΕΛΕΝΑ ΦΛΟΚΑ Επίκουρος Καθηγήτρια Τµήµα Φυσικής, Τοµέας Φυσικής Περιβάλλοντος- Μετεωρολογίας ΓΕΝΙΚΟΙ ΟΡΙΣΜΟΙ Πληθυσµός Σύνολο ατόµων ή αντικειµένων στα οποία αναφέρονται
Διαβάστε περισσότεραSCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions
SCHOOL OF MATHEMATICAL SCIENCES GLMA Linear Mathematics 00- Examination Solutions. (a) i. ( + 5i)( i) = (6 + 5) + (5 )i = + i. Real part is, imaginary part is. (b) ii. + 5i i ( + 5i)( + i) = ( i)( + i)
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ & ΠΛΗΡΟΦΟΡΙΚΗΣ. του Γεράσιμου Τουλιάτου ΑΜ: 697
ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ ΣΤΑ ΠΛΑΙΣΙΑ ΤΟΥ ΜΕΤΑΠΤΥΧΙΑΚΟΥ ΔΙΠΛΩΜΑΤΟΣ ΕΙΔΙΚΕΥΣΗΣ ΕΠΙΣΤΗΜΗ ΚΑΙ ΤΕΧΝΟΛΟΓΙΑ ΤΩΝ ΥΠΟΛΟΓΙΣΤΩΝ του Γεράσιμου Τουλιάτου
Διαβάστε περισσότεραDynamic types, Lambda calculus machines Section and Practice Problems Apr 21 22, 2016
Harvard School of Engineering and Applied Sciences CS 152: Programming Languages Dynamic types, Lambda calculus machines Apr 21 22, 2016 1 Dynamic types and contracts (a) To make sure you understand the
Διαβάστε περισσότεραΨηφιακή Επεξεργασία Εικόνας
ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ψηφιακή Επεξεργασία Εικόνας Μετασχηματισμοί έντασης και χωρικό φιλτράρισμα Διδάσκων : Αναπληρωτής Καθηγητής Νίκου Χριστόφορος Άδειες Χρήσης Το παρόν εκπαιδευτικό
Διαβάστε περισσότεραΕργαστήριο Ανάπτυξης Εφαρμογών Βάσεων Δεδομένων. Εξάμηνο 7 ο
Εργαστήριο Ανάπτυξης Εφαρμογών Βάσεων Δεδομένων Εξάμηνο 7 ο Oracle SQL Developer An Oracle Database stores and organizes information. Oracle SQL Developer is a tool for accessing and maintaining the data
Διαβάστε περισσότεραΣυντακτικές λειτουργίες
2 Συντακτικές λειτουργίες (Syntactic functions) A. Πτώσεις και συντακτικές λειτουργίες (Cases and syntactic functions) The subject can be identified by asking ποιος (who) or τι (what) the sentence is about.
Διαβάστε περισσότεραEcon 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1
Eon : Fall 8 Suggested Solutions to Problem Set 8 Email questions or omments to Dan Fetter Problem. Let X be a salar with density f(x, θ) (θx + θ) [ x ] with θ. (a) Find the most powerful level α test
Διαβάστε περισσότεραExample Sheet 3 Solutions
Example Sheet 3 Solutions. i Regular Sturm-Liouville. ii Singular Sturm-Liouville mixed boundary conditions. iii Not Sturm-Liouville ODE is not in Sturm-Liouville form. iv Regular Sturm-Liouville note
Διαβάστε περισσότεραΤΕΧΝΟΛΟΓΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΝΟΣΗΛΕΥΤΙΚΗΣ
ΤΕΧΝΟΛΟΓΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΝΟΣΗΛΕΥΤΙΚΗΣ ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ ΨΥΧΟΛΟΓΙΚΕΣ ΕΠΙΠΤΩΣΕΙΣ ΣΕ ΓΥΝΑΙΚΕΣ ΜΕΤΑ ΑΠΟ ΜΑΣΤΕΚΤΟΜΗ ΓΕΩΡΓΙΑ ΤΡΙΣΟΚΚΑ Λευκωσία 2012 ΤΕΧΝΟΛΟΓΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΣΧΟΛΗ ΕΠΙΣΤΗΜΩΝ
Διαβάστε περισσότεραk A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +
Chapter 3. Fuzzy Arithmetic 3- Fuzzy arithmetic: ~Addition(+) and subtraction (-): Let A = [a and B = [b, b in R If x [a and y [b, b than x+y [a +b +b Symbolically,we write A(+)B = [a (+)[b, b = [a +b
Διαβάστε περισσότεραPARTIAL NOTES for 6.1 Trigonometric Identities
PARTIAL NOTES for 6.1 Trigonometric Identities tanθ = sinθ cosθ cotθ = cosθ sinθ BASIC IDENTITIES cscθ = 1 sinθ secθ = 1 cosθ cotθ = 1 tanθ PYTHAGOREAN IDENTITIES sin θ + cos θ =1 tan θ +1= sec θ 1 + cot
Διαβάστε περισσότεραΓνώση. Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος.
Γνώση Η γνώση είναι διαφορετική από τα δεδομένα Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος. Η γνώση για κάποιο
Διαβάστε περισσότεραCapacitors - Capacitance, Charge and Potential Difference
Capacitors - Capacitance, Charge and Potential Difference Capacitors store electric charge. This ability to store electric charge is known as capacitance. A simple capacitor consists of 2 parallel metal
Διαβάστε περισσότεραA Note on Intuitionistic Fuzzy. Equivalence Relation
International Mathematical Forum, 5, 2010, no. 67, 3301-3307 A Note on Intuitionistic Fuzzy Equivalence Relation D. K. Basnet Dept. of Mathematics, Assam University Silchar-788011, Assam, India dkbasnet@rediffmail.com
Διαβάστε περισσότεραΠώς μπορεί κανείς να έχει έναν διερμηνέα κατά την επίσκεψή του στον Οικογενειακό του Γιατρό στο Ίσλινγκτον Getting an interpreter when you visit your
Πώς μπορεί κανείς να έχει έναν διερμηνέα κατά την επίσκεψή του στον Οικογενειακό του Γιατρό στο Ίσλινγκτον Getting an interpreter when you visit your GP practice in Islington Σε όλα τα Ιατρεία Οικογενειακού
Διαβάστε περισσότεραΕΠΙΧΕΙΡΗΣΙΑΚΗ ΑΛΛΗΛΟΓΡΑΦΙΑ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑ ΣΤΗΝ ΑΓΓΛΙΚΗ ΓΛΩΣΣΑ
Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων ΕΠΙΧΕΙΡΗΣΙΑΚΗ ΑΛΛΗΛΟΓΡΑΦΙΑ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑ ΣΤΗΝ ΑΓΓΛΙΚΗ ΓΛΩΣΣΑ Ενότητα 11: The Unreal Past Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons
Διαβάστε περισσότερα[1] P Q. Fig. 3.1
1 (a) Define resistance....... [1] (b) The smallest conductor within a computer processing chip can be represented as a rectangular block that is one atom high, four atoms wide and twenty atoms long. One
Διαβάστε περισσότεραBlock Ciphers Modes. Ramki Thurimella
Block Ciphers Modes Ramki Thurimella Only Encryption I.e. messages could be modified Should not assume that nonsensical messages do no harm Always must be combined with authentication 2 Padding Must be
Διαβάστε περισσότερα1) Formulation of the Problem as a Linear Programming Model
1) Formulation of the Problem as a Linear Programming Model Let xi = the amount of money invested in each of the potential investments in, where (i=1,2, ) x1 = the amount of money invested in Savings Account
Διαβάστε περισσότεραLESSON 12 (ΜΑΘΗΜΑ ΔΩΔΕΚΑ) REF : 202/055/32-ADV. 4 February 2014
LESSON 12 (ΜΑΘΗΜΑ ΔΩΔΕΚΑ) REF : 202/055/32-ADV 4 February 2014 Somewhere κάπου (kapoo) Nowhere πουθενά (poothena) Elsewhere αλλού (aloo) Drawer το συρτάρι (sirtari) Page η σελίδα (selida) News τα νέα (nea)
Διαβάστε περισσότεραΕνότητα 2 Εργαλεία για την αναζήτηση εργασίας: Το Βιογραφικό Σημείωμα
CURRICULUM VITAE Ενότητα 2 Εργαλεία για την αναζήτηση εργασίας: Το Βιογραφικό Σημείωμα 1.What is it? Τι είναι αυτό 2.Chronological example of a CV Χρονολογικό Παράδειγμα Βιογραφικού 3.Steps to send your
Διαβάστε περισσότεραFourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics
Fourier Series MATH 211, Calculus II J. Robert Buchanan Department of Mathematics Spring 2018 Introduction Not all functions can be represented by Taylor series. f (k) (c) A Taylor series f (x) = (x c)
Διαβάστε περισσότεραST5224: Advanced Statistical Theory II
ST5224: Advanced Statistical Theory II 2014/2015: Semester II Tutorial 7 1. Let X be a sample from a population P and consider testing hypotheses H 0 : P = P 0 versus H 1 : P = P 1, where P j is a known
Διαβάστε περισσότεραReminders: linear functions
Reminders: linear functions Let U and V be vector spaces over the same field F. Definition A function f : U V is linear if for every u 1, u 2 U, f (u 1 + u 2 ) = f (u 1 ) + f (u 2 ), and for every u U
Διαβάστε περισσότερα