Κεφάλαιο 7 Λογική πρώτης τάξης
|
|
- ŌἈμφίων Παχής
- 7 χρόνια πριν
- Προβολές:
Transcript
1 Κεφάλαιο 7 Λογική πρώτης τάξης Σύνοψη Στο κεφάλαιο αυτό περιγράφονται το συντακτικό της λογικής πρώτης τάξης, δηλαδή πώς πρέπει να είναι διατυπωμένοι οι τύποι στη λογική αυτή, και, ειδικότερα, οι προτάσεις, μια μορφή τύπων, ειδική περίπτωση των οποίων είναι οι προτάσεις Horn. Επίσης, παρουσιάζεται ο μηχανισμός της ενοποίησης όρων ή τύπων, μέσα από μια αλγοριθμική περιγραφή του. Τέλος, γίνεται αναφορά στην αρχή της ανάλυσης, καθώς και σε μια ειδική περίπτωσή της, το modus ponens, που είναι κανόνες συμπερασμού για την παραγωγή νέων προτάσεων από ήδη υπάρχουσες. Προαπαιτούμενη γνώση Για την κατανόηση του κεφαλαίου, ο αναγνώστης δεν απαιτείται να έχει ειδικές γνώσεις. Ωστόσο, στοιχειώδης γνώση της Prolog, όπως αυτή παρουσιάζεται στο Κεφάλαιο 3, θα βοηθούσε. 7.1 Προτάσεις Horn Στο Κεφάλαιο 2 πήρατε μια πρώτη ιδέα του τρόπου με τον οποίο μπορεί να χρησιμοποιηθεί η λογική για την επίλυση προβλημάτων. Το εργαλείο που βοηθά στην επίτευξη αυτού του στόχου είναι ο λογικός προγραμματισμός [1, 2, 3, 4], μέσω της εφαρμογής του στην πράξη από τη γλώσσα προγραμματισμού Prolog [5]. Σε αυτό το κεφάλαιο, αλλά και στο επόμενο, θα δούμε τα βασικά στοιχεία της θεμελίωσης του λογικού προγραμματισμού στη λογική. Το θεωρητικό υπόβαθρο του λογικού προγραμματισμού είναι η λογική πρώτης τάξης, που πολλές φορές αναφέρεται και ως κατηγορηματική λογική πρώτης τάξης ή, απλώς, κατηγορηματική λογική. Η λογική πρώτης τάξης είναι γενίκευση της προτασιακής λογικής. Στοιχεία από την προτασιακή λογική και τη λογική πρώτης τάξης είδαμε στο Κεφάλαιο 2. Σε αυτήν την ενότητα, καταρχάς ενδιαφερόμαστε και θα παρουσιάσουμε την αξιωματική θεμελίωση των προτάσεων Horn στη λογική πρώτης τάξης, οι οποίες δεν είναι τίποτε άλλο από τη θεωρητική εκδοχή των προτάσεων που περιλαμβάνουμε στα προγράμματα Prolog. Στη λογική πρώτης τάξης, ορίζουμε τα εξής σύνολα: P : σύνολο κατηγορημάτων F : σύνολο συναρτησιακών συμβόλων V : σύνολο μεταβλητών Σε κάθε κατηγόρημα ή συναρτησιακό σύμβολο k αντιστοιχεί ένας ακέραιος αριθμός n 0, που ονομάζεται τάξη (ή βαθμός) του k. Το k συμβολίζεται και ως k/n. Τα συναρτησιακά σύμβολα βαθμού 0 ονομάζονται και σταθερές. Στη λογική πρώτης τάξης, χρησιμοποιούμε τα σημεία στίξης «(», «)» και «,». Ορισμός 7.1 Ένας όρος ορίζεται ως εξής: 1. Αν x V, το x είναι όρος. 2. Αν c/0 F, το c είναι όρος. 3. Αν f /n F και t 1, t 2,..., t n είναι όροι, το f (t 1, t 2,..., t n ) είναι όρος. Παράδειγμα 7.1 Αν V = {x} και F = {john/0, mary/0, f ather_of /1, children_of /2}, τότε τα: x john
2 f ather_of (john) children_of (f ather_of (x), mary) είναι όροι. Ορισμός 7.2 Ένας ατομικός τύπος (ή άτομο) ορίζεται ως εξής: Αν p/0 P, τότε το p είναι άτομο. Αν p/n P και t 1, t 2,..., t n είναι όροι, τότε το p(t 1, t 2,..., t n ) είναι άτομο. Παράδειγμα 7.2 Αν V = {x}, F = {john/0, f ather_of /1} και P = {it_rains/0, young/1, f ather/2}, τότε τα: it_rains young(john) f ather(f ather_of (x), x) είναι άτομα. Ορισμός 7.3 Ένας όρος που δεν περιέχει μεταβλητές ονομάζεται βασικός όρος. Ένα άτομο που δεν περιέχει μεταβλητές ονομάζεται βασικό άτομο. Για τη δόμηση πιο σύνθετων τύπων, στη λογική πρώτης τάξης χρησιμοποιούνται τα συνδετικά, που είναι τα εξής: : άρνηση : σύζευξη : διάζευξη : συνεπαγωγή : ισοδυναμία : καθολικός ποσοδείκτης : υπαρξιακός ποσοδείκτης Ορισμός 7.4 Ένας καλοσχηματισμένος τύπος (ή τύπος) ορίζεται ως εξής: 1. Αν το A είναι άτομο, τότε το A είναι τύπος. 2. Αν τα F 1 και F 2 είναι τύποι, τότε και τα ( F 1 ), (F 1 F 2 ), (F 1 F 2 ), (F 1 F 2 ), 1 (F 1 F 2 ) είναι τύποι. 3. Αν το F είναι τύπος και x V, τότε τα ( x)(f ) και ( x)(f ) είναι τύποι. Παράδειγμα 7.3 Αν V = {x, y}, F = {john/0, mary/0, house/2} και P = {man/1, woman/1, loves/2, hates/2}, τότε τα: loves(mary, x) 1 Μερικές φορές, είναι βολικό το F 1 F 2 να γράφεται F 2 F
3 (man(john) (( hates(john, john)) ( loves(john, john)))) ( ( x)(loves(x, y))) ( x)(( y)(house(x, y))) ( y)(( x)(house(x, y))) ( x)((man(x) ( y)((woman(y) loves(x, y))))) είναι τύποι. Υιοθετώντας μια ιεραρχία των συνδετικών, τέτοια ώστε η άρνηση και οι ποσοδείκτες (καθολικός και υπαρξιακός ) να είναι ισχυρότερα από τη διάζευξη, αυτή ισχυρότερη από τη σύζευξη και αυτή από τη συνεπαγωγή και την ισοδυναμία, μπορούμε να γράφουμε τους τύπους απλούστερα, αποφεύγοντας αρκετές παρενθέσεις, χωρίς ασάφεια. Παράδειγμα 7.4 Με βάση την προηγούμενη απλούστευση, οι τύποι του Παραδείγματος 7.3 θα μπορούσαν να γραφούν ως εξής: loves(mary, x) man(john) hates(john, john) loves(john, john) ( x)(loves(x, y)) ( x)( y)(house(x, y)) ( y)( x)(house(x, y)) ( x)(man(x) ( y)(woman(y) loves(x, y))) Ορισμός 7.5 Δεδομένων ενός συνόλου κατηγορημάτων P, ενός συνόλου συναρτησιακών συμβόλων F και ενός συνόλου μεταβλητών V, το σύνολο όλων των συντακτικά αποδεκτών τύπων, βάσει του ορισμού 7.4, αποτελεί μια γλώσσα πρώτης τάξης. Ορισμός 7.6 Η εμβέλεια του στον τύπο ( x)(f ) ή του στον τύπο ( x)(f ) είναι ο τύπος F. Ορισμός 7.7 Δεσμευμένη εμφάνιση μεταβλητής σε έναν τύπο είναι μια εμφάνισή της αμέσως μετά από έναν ποσοδείκτη ή μέσα στην εμβέλεια ενός ποσοδείκτη που εφαρμόζεται στη μεταβλητή. Οποιαδήποτε άλλη εμφάνιση της μεταβλητής ονομάζεται ελεύθερη εμφάνιση. Παράδειγμα 7.5 Στους τύπους του Παραδείγματος 7.4, ελεύθερες εμφανίσεις μεταβλητών είναι: η εμφάνιση της x στον τύπο loves(mary, x) η εμφάνιση της y στον τύπο ( x)(loves(x, y)) Όλες οι άλλες εμφανίσεις μεταβλητών είναι δεσμευμένες. Ορισμός 7.8 Ένας τύπος ονομάζεται κλειστός όταν δεν περιέχει ελεύθερες εμφανίσεις μεταβλητών
4 Παράδειγμα 7.6 Από τους τύπους του Παραδείγματος 7.4, οι: man(john) hates(john, john) loves(john, john) ( x)( y)(house(x, y)) ( y)( x)(house(x, y)) ( x)(man(x) ( y)(woman(y) loves(x, y))) είναι κλειστοί, αλλά όχι οι: loves(mary, x) ( x)(loves(x, y)) Ορισμός 7.9 Στοιχειώδης τύπος είναι ένα άτομο ή η άρνηση ενός ατόμου. Ορισμός 7.10 Οι τύποι της μορφής: ( x 1 )( x 2 )... ( x s )(L 1 L 2... L m ) καλούνται προτάσεις, όπου τα L i (1 i m) είναι στοιχειώδεις τύποι και τα x j (1 j s) είναι όλες οι μεταβλητές που εμφανίζονται στο L 1 L 2... L m. Παράδειγμα 7.7 Αν V = {x, y z}, F = {john/0, a_building/0} και P = {man/1, mortal/1, parent/2, grandparent/2, rich/1, has_big_ house/1, has_expensive_car/1}, τότε τα: man(john) man(a_building) ( x)(mortal(x) man(x)) ( x)( y)( z)(grandparent(x, z) parent(x, y) parent(y, z)) ( x)(has_big_house(x) has_expensive_car(x) rich(x)) είναι προτάσεις. Υπάρχει η δυνατότητα και εναλλακτικής γραφής για τις προτάσεις. Συγκεκριμένα, η πρόταση: ( x 1 )( x 2 )... ( x s )(A 1 A 2... A k B 1 B 2... B n ) όπου τα A i (1 i k) και B j (1 j n) είναι άτομα, γράφεται και ως εξής: A 1, A 2,..., A k B 1, B 2,..., B n Το αριστερό μέλος του ονομάζεται κεφαλή της πρότασης, ενώ το δεξιό μέλος ονομάζεται σώμα της πρότασης. Δεν αποκλείεται κάποια πρόταση να έχει κενή κεφαλή (k = 0) ή να έχει κενό σώμα (n = 0) ή και τα δύο. Παράδειγμα 7.8 Με την προηγούμενη εναλλακτική γραφή, οι προτάσεις του Παραδείγματος 7.7 θα μπορούσαν να γραφούν ως εξής:
5 man(john) man(a_building) mortal(x) man(x) grandparent(x, z) parent(x, y), parent(y, z) has_big_house(x), has_expensive_car(x) rich(x) Ορισμός 7.11 Οι προτάσεις με k = 1 (A B 1, B 2,..., B n ), σύμφωνα με την εναλλακτική γραφή που προτάθηκε, ονομάζονται οριστικές προτάσεις. Οι οριστικές προτάσεις με n = 0 (A ) ονομάζονται μοναδιαίες προτάσεις. Ένα σύνολο οριστικών προτάσεων είναι ένα οριστικό πρόγραμμα, που πολλές φορές αναφέρεται και ως λογικό πρόγραμμα. Ένα πρόγραμμα Prolog που δεν περιλαμβάνει ούτε αποκοπές, ούτε αρνήσεις, ούτε οποιοδήποτε άλλο ενσωματωμένο κατηγόρημα είναι ένα οριστικό (ή λογικό) πρόγραμμα. Ορισμός 7.12 Οι προτάσεις με k = 0 ( B 1, B 2,..., B n ), σύμφωνα με την εναλλακτική γραφή που προτάθηκε, ονομάζονται οριστικοί στόχοι. Ορισμός 7.13 Για k = 0 και n = 0, στην εναλλακτική γραφή των προτάσεων, έχουμε την κενή πρόταση ( ή ), που αναφέρεται και ως αντίφαση. Παράδειγμα 7.9 Από τις προτάσεις του Παραδείγματος 7.8, η: man(john) είναι οριστική μοναδιαία πρόταση, η: man(a_building) είναι οριστικός στόχος, οι: mortal(x) man(x) grandparent(x, z) parent(x, y), parent(y, z) είναι οριστικές προτάσεις, όχι όμως και η: has_big_house(x), has_expensive_car(x) rich(x) Ορισμός 7.14 Μια πρόταση Horn είναι είτε οριστική πρόταση είτε οριστικός στόχος. Άσκηση 7.1 Δίνονται οι εξής τύποι λογικής πρώτης τάξης:
6 1. borders(x, greece) 2. ( x)(man(x) ( y)(woman(y) loves(y, x))) 3. ( x)( y)(may_steal(x, y) likes(x, y) thief (x)) 4. connected(x, y) connected(y, z) connected(x, z) 5. on_diet(x), athlete(x) f it(x) 6. loves(john, mary) loves(mary, john) 7. f ather(x, y) male(x), parent(x, y) append(.(a, []),.(b, []),.(a,.(b, []))) Αν το σύνολο των μεταβλητών που χρησιμοποιήθηκαν στους τύπους αυτούς είναι το V = {x, y, z}, τότε ποια πρέπει να είναι τα σύνολα των συναρτησιακών συμβόλων F και κατηγορημάτων P, για να είναι οι τύποι αυτοί συντακτικά σωστοί; Ποιοι από αυτούς τους τύπους είναι κλειστοί και ποιοι όχι; Αυτοί που δεν είναι κλειστοί, γιατί δεν είναι; Ποιοι τύποι είναι προτάσεις διατυπωμένες με τον κλασικό τρόπο της λογικής πρώτης τάξης; Διατυπώστε τες και με τον εναλλακτικό απλουστευμένο τρόπο. Υπάρχουν προτάσεις στους προηγούμενους τύπους, ήδη διατυπωμένες με τον εναλλακτικό τρόπο; Ποιες από τις προτάσεις (με όποιο τρόπο και αν είναι διατυπωμένες) είναι προτάσεις Horn και ποιες όχι; Αυτές που δεν είναι, γιατί δεν είναι; Ποιες από τις προτάσεις Horn είναι οριστικές προτάσεις και ποιες οριστικοί στόχοι; Από τις οριστικές προτάσεις, είναι κάποιες μοναδιαίες; Άσκηση 7.2 Έστω ότι, για μια γλώσσα πρώτης τάξης, έχουμε σύνολο μεταβλητών το V = {x, y}, συναρτησιακών συμβόλων το F = {liz/0, mother_of /1} και κατηγορημάτων το P = {alive/1}. Ποιο είναι το σύνολο των βασικών όρων που μπορούμε να έχουμε στη γλώσσα αυτή; Ποιο είναι το σύνολο των βασικών ατόμων; (Θυμηθείτε τον Ορισμό 7.3.) Γράψτε πέντε τύπους της γλώσσας που ορίζεται από τα προηγούμενα σύνολα. 7.2 Ενοποίηση Από τα βασικά «εργαλεία» που είναι απαραίτητα για να περιγράψουμε τον τρόπο με τον οποίο μπορεί στη λογική πρώτης τάξης να παραχθεί νέα γνώση από ήδη υπάρχουσα, δηλαδή να κατασκευαστεί ένας νέος τύπος από άλλους τύπους λογικής πρώτης τάξης, είναι η διαδικασία της ενοποίησης. Για να περιγράψουμε αυτόν το μηχανισμό, πρέπει να δώσουμε πρώτα κάποιους απαιτούμενους ορισμούς. Ορισμός 7.15 Μια αντικατάσταση θ είναι ένα πεπερασμένο σύνολο {v 1 /t 1, v 2 /t 2,..., v n /t n }, όπου τα v i είναι μεταβλητές και τα t i είναι όροι (1 i n), κάθε t i είναι διαφορετικό από το αντίστοιχο v i και όλα τα v i είναι διαφορετικά μεταξύ τους. Ουσιαστικά, μια αντικατάσταση ορίζει ότι τα v i είναι δεσμευμένα (έχουν πάρει τιμές) με τα αντίστοιχα t i. Η κενή αντικατάσταση ορίζεται από το κενό σύνολο. Ορισμός 7.16 Αν E είναι όρος ή πρόταση, τότε το Eθ ονομάζεται στιγμιότυπο του E, μέσω της αντικατάστασης θ = {v 1 /t 1, v 2 /t 2,..., v n /t n }, αν στο E αντικατασταθούν ταυτόχρονα οι εμφανίσεις των μεταβλητών v i με τα αντίστοιχα t i. Ορισμός 7.17 Αν E και F είναι όροι ή προτάσεις, τότε το E ονομάζεται παραλλαγή του F (ή το F παραλλαγή του E), αν υπάρχουν αντικαταστάσεις θ και σ, τέτοιες ώστε E = Fθ και F = Eσ
7 Ουσιαστικά, κάποια E και F είναι παραλλαγές το ένα του άλλου, αν είναι ακριβώς τα ίδια, με εξαίρεση τα ονόματα των μεταβλητών τους. Ορισμός 7.18 Αν θ = {u 1 /s 1, u 2 /s 2,..., u m /s m } και σ = {v 1 /t 1, v 2 /t 2,..., v n /t n } είναι δύο αντικαταστάσεις, τότε η σύνθεσή τους θσ είναι η αντικατάσταση: {u 1 /s 1 σ, u 2 /s 2 σ,..., u m /s m σ, v 1 /t 1, v 2 /t 2,..., v n /t n } διαγράφοντας από αυτήν κάθε u i /s i σ (1 i m) για το οποίο u i = s i σ και κάθε v j /t j (1 j n) για το οποίο v j {u 1, u 2,..., u m }. Ορισμός 7.19 Αν E και F είναι όροι ή άτομα, τότε μια αντικατάσταση θ ονομάζεται ενοποιητής, για τα E και F, αν Eθ = F θ. Η θ είναι ο γενικότερος ενοποιητής, για τα E και F (συμβολικά mgu(e, F)), αν για κάθε ενοποιητή σ των E και F, υπάρχει αντικατάσταση γ, τέτοια ώστε σ = θγ. Η διαδικασία υπολογισμού ενός mgu(e, F ) ονομάζεται ενοποίηση. Αλγόριθμος ενοποίησης όρων ή ατόμων E και F Βήμα 1: Αρχικοποιήστε τη στοίβα ζευγαριών όρων ή ατόμων προς ενοποίηση S με το ζευγάρι (E,F). Βήμα 2: Αρχικοποιήστε τον γενικότερο ενοποιητή MGU με την κενή αντικατάσταση. Βήμα 3: Αν η στοίβα S είναι κενή, τερματίστε με επιτυχία δίνοντας ως γενικότερο ενοποιητή των E και F το MGU. Βήμα 4: Βγάλτε από την S το πρώτο ζευγάρι (A,B). Βήμα 5: Αν το A είναι μεταβλητή που δεν περιέχεται στο B, αντικαταστήστε μέσα στη στοίβα S και στον γενικότερο ενοποιητή MGU όλες τις εμφανίσεις του A με το B, προσθέστε στο MGU τη δέσμευση A/B και πηγαίνετε στο βήμα 3. Βήμα 6: Αν το B είναι μεταβλητή που δεν περιέχεται στο A, τότε αντικαταστήστε μέσα στη στοίβα S και στον γενικότερο ενοποιητή MGU όλες τις εμφανίσεις του B με το A, προσθέστε στο MGU τη δέσμευση B/A και πηγαίνετε στο βήμα 3. Βήμα 7: Αν τα A και B είναι ίδιες μεταβλητές ή ίδιες σταθερές, τότε πηγαίνετε στο βήμα 3. Βήμα 8: Αν το A είναι ο όρος ή το άτομο f(x 1,X 2,...,X n ) και το B είναι ο όρος ή το άτομο f(y 1,Y 2,...,Y n ), όπου το f είναι συναρτησιακό σύμβολο ή κατηγόρημα βαθμού n, τότε προσθέστε στη στοίβα S όλα τα ζευγάρια (X i,y i ), για κάθε i με 1 i n, και πηγαίνετε στο βήμα 3. Βήμα 9: Αλλιώς, τερματίστε με αποτυχία, επισημαίνοντας ότι δεν υπάρχει ενοποιητής των E και F. Παράδειγμα 7.10 Δείτε μερικές περιπτώσεις ζευγαριών όρων ή ατόμων και τους γενικότερους ενοποιητές τους, όταν υπάρχουν
8 Τα σύμβολα x, y, z στο παράδειγμα αυτό είναι μεταβλητές. Οτιδήποτε άλλο είναι είτε συναρτησιακό σύμβολο είτε κατηγόρημα, αλλά δεν μας ενδιαφέρει τι ακριβώς, για το σκοπό του παραδείγματος. E F mgu(e,f) 1 x john {x/john} 2 house_of(mary) x {x/house_of(mary)} 3 lawyer(y) lawyer(jack) {y/jack} 4 x y {x/y} 5 likes(john, x) likes(x, mary) mgu 6 hates(y,z) hates(z, ann) {y/ann, z/ann} 7 likes(x, house_of(x)) likes(y, y) mgu 8.(a,.(b,.(c,.(d, [])))).(x,.(y, z)) {x/a, y/b, z/.(c,.(d, []))} Όπου στην τρίτη στήλη υπάρχει το / mgu, αυτό σημαίνει ότι τα E και F δεν ενοποιούνται. Ας πούμε όμως δύο λόγια για την περίπτωση 7, επειδή είναι λίγο ιδιόρρυθμη. Εδώ, τα E και F δεν ενοποιούνται, γιατί, αφού γίνει η ενοποίηση των πρώτων ορισμάτων των likes/2 και προστεθεί στο γενικότερο ενοποιητή η δέσμευση x/y, θα πρέπει στη συνέχεια να ενοποιηθούν το house_of (y) με το y. Αυτό όμως δεν μπορεί να γίνει, γιατί το μόνο υποψήφιο βήμα στον αλγόριθμο ενοποίησης που δώσαμε είναι το βήμα 6, αλλά και αυτό δεν επιτρέπει την ενοποίηση, επειδή η μεταβλητή y περιέχεται στο house_of (y). Έτσι, αναγκαστικά ο αλγόριθμος καταλήγει στο βήμα 9, με συνέπεια να μην μπορεί να βρεθεί, σωστά, γενικότερος ενοποιητής. Αυτή η παρεμπόδιση της ενοποίησης μιας μεταβλητής με έναν όρο που την περιέχει ονομάζεται έλεγχος εμφάνισης, και είναι πολύ κρίσιμο να εξασφαλίζεται από συστήματα που χρησιμοποιούν διαδικασίες ενοποίησης. Επειδή όμως έχει μεγάλο υπολογιστικό κόστος, συνήθως παραλείπεται, όπως συμβαίνει στους αλγορίθμους ενοποίησης των περισσότερων συστημάτων Prolog. Άσκηση 7.3 Αν V = {u, v, w, x, y, z, x 1, x 2, x 3, x 4, x 5, x 6, x 7, x 8 } και F = {f /2, g/2, h/3, j/2, k/4, m/2, n/1, a/0, b/0}, βρείτε τους γενικότερους ενοποιητές των όρων E και F του επόμενου πίνακα: E F 1 f(n(v),m(u, v)) f(n(w),m(w, j(x, y))) 2 f(n(v),m(u, v)) f(n(w),m(w, j(x, u))) 3 f(x, f(u, x)) f(f(y, a),f(z,f(b, z))) 4 k(h(x 1,x 2,x 3 ),h(x 6,x 7,x 8 ),x 3,x 6 ) k(h(g(x 4,x 5 ),x 1,x 2 ),h(x 7,x 8,x 6 ),g(x 5,a),x 5 ) 5 k(x 1,g(x 2,x 3 ),x 2,b) k(g(m(a, x 5 ),x 2 ),x 1,m(a, x 4 ),x 4 ) 6 j(f(x, g(x, y)),m(z,y)) j(z,m(f(u, v),f(a, b))) 7.3 Αρχή της ανάλυσης Για να έχει πρακτική χρησιμότητα η λογική πρώτης τάξης, εκτός από αυτήν της αναπαράστασης γνώσης, πιο συγκεκριμένα, για να μπορεί να παράγεται νέα γνώση από ήδη υπάρχουσα, πρέπει να εφοδιαστεί με κανόνες εξαγωγής συμπερασμάτων ή, αλλιώς, κανόνες συμπερασμού. Ένας κανόνας συμπερασμού παρέχει το μέσο με το οποίο μπορούμε να κατασκευάσουμε έναν νέο τύπο από δύο ή περισσότερους άλλους τύπους. Ο βασικός κανόνας συμπερασμού που υπάρχει στη λογική πρώτης τάξης είναι η αρχή της ανάλυσης, την οποία θα περιγράψουμε σε αυτήν την ενότητα. Η αρχή της ανάλυσης είναι ένας κανόνας συμπερασμού, με τη βοήθεια του οποίου, από δύο προτάσεις C1 και C2, παράγεται μια τρίτη πρόταση C. Συμβολικά, γράφουμε: 1 2 {C 1,C 2 } C
9 Συγκεκριμένα, αν η πρόταση C 1 είναι η: και η πρόταση C 2 είναι η: a 1, a 2,..., a k b 1, b 2,..., b n d 1, d 2,..., d l e 1, e 2,..., e m και οι στοιχειώδεις τύποι a i (για κάποιο i με 1 i k) στην κεφαλή της C 1 και e j (για κάποιο j με 1 j m) στο σώμα της C 2 έχουν γενικότερο ενοποιητή το σ, δηλαδή σ = mgu(a i, e j ), τότε η παραγόμενη πρόταση C είναι η: (a 1, a 2,..., a i 1, a i+1,..., a k, d 1, d 2,..., d l b 1, b 2,..., b n, e 1, e 2,..., e j 1, e j+1,..., e m )σ ή, με έναν καθιερωμένο συμβολισμό, η: Αρχή της ανάλυσης Αν σ = mgu(a i,e j ) a 1,a 2,...,a k b 1,b 2,...,b n d 1,d 2,...,d l e 1,e 2,...,e m (a 1,a 2,...,a i 1,a i+1,...,a k,d 1,d 2,...,d l b 1,b 2,..., b n,e 1,e 2,...,e j 1,e j+1,..., e m )σ Παράδειγμα 7.11 Εδώ έχουμε μια περίπτωση εφαρμογής της αρχής της ανάλυσης: healthy(x), wealthy(x) happy(x) wealthy(jim) healthy(jim) happy(jim) Απλώς, απαλείψαμε το άτομο wealthy(x) από την κεφαλή της πρώτης πρότασης και το άτομο wealthy(jim) από το σώμα της δεύτερης πρότασης, εφαρμόζοντας και τον γενικότερο ενοποιητή τους σ = {x/jim} στην πρόταση που προέκυψε με τα άτομα τα οποία απέμειναν. Όταν εφαρμόζεται η αρχή της ανάλυσης σε προτάσεις Horn, έχουμε μια ειδική μορφή της, τον κανόνα συμπερασμού modus ponens. Έτσι, η διατύπωση της αρχής της ανάλυσης, για k = 1 και l = 1, γίνεται: Modus ponens Αν σ = mgu(a, e j ) a b 1,b 2,..., b n d e 1,e 2,...,e m (d b 1,b 2,..., b n,e 1,e 2,...,e j 1,e j+1,..., e m )σ
10 Παράδειγμα 7.12 Εδώ έχουμε μια περίπτωση εφαρμογής του modus ponens: parent(john, nick) grandparent(x, z) parent(x, y), parent(y, z) grandparent(john, z) parent(nick, z) Απαλείψαμε το μοναδικό άτομο της κεφαλής της πρώτης πρότασης και το πρώτο άτομο parent(x, y) του σώματος της δεύτερης πρότασης, και στην πρόταση που προέκυψε εφαρμόσαμε τον γενικότερο ενοποιητή σ = {x/john, y/nick}. Εναλλακτικά, θα μπορούσαμε να συνδυάσουμε το parent(john, nick), αλλά τώρα με το δεύτερο άτομο του σώματος της δεύτερης πρότασης parent(y, z). Οπότε, ο γενικότερος ενοποιητής τους θα ήταν ο σ = {y/john, z/ nick}, και θα είχαμε: { } parent(john, nick) grandparent(x, z) parent(x, y), parent(y, z) grandparent(x, nick) parent(x, john) Εν γένει, όταν έχουμε ένα σύνολο από προτάσεις στη λογική πρώτης τάξης, οι πιθανές εφαρμογές ενός κανόνα συμπερασμού μπορούν να είναι πάρα πολλές. Όπως θα δούμε στην Ενότητα 8.3, στον λογικό προγραμματισμό, οι απαντήσεις ερωτήσεων που υποβάλλονται σε οριστικά προγράμματα υπολογίζονται με τη βοήθεια μιας εξειδίκευσης του κανόνα modus ponens, που είναι ο κανόνας συμπερασμού της SLD-ανάλυσης, ο οποίος εφαρμόζεται σε μια οριστική πρόταση και σε έναν οριστικό στόχο, δηλαδή σε προτάσεις Horn. Ειδικότερα, στη γλώσσα προγραμματισμού Prolog, η SLD-ανάλυση εφαρμόζεται με τέτοιον τρόπο ώστε το άτομο του οριστικού στόχου e j που απαλείφεται με την κεφαλή a της οριστικής πρότασης να είναι πάντοτε το αριστερότερο άτομο του στόχου, δηλαδή να έχουμε j = 1. Άσκηση 7.4 Δίνονται οι εξής προτάσεις λογικής πρώτης τάξης: pink(sam) (7.1) grey(x 1 ), pink(y 1 ), likes(x 1,y 1 ) (7.2) likes(oscar, sam) (7.3) pink(oscar), grey(oscar) (7.4) grey(x 2 ), pink(y 2 ), likes(x 2,y 2 ) (7.5) likes(clyde, oscar) (7.6) grey(clyde) (7.7) Μπορείτε να προχωρήσετε σε μια σειρά από εφαρμογές της αρχής της ανάλυσης μεταξύ αυτών των προτάσεων, αλλά και όσων θα παραγάγετε από τις εφαρμογές αυτές, έτσι ώστε να προκύψει τελικά η κενή πρόταση;
11 Απαντήσεις ασκήσεων Απάντηση άσκησης 7.1 Το σύνολο των συναρτησιακών συμβόλων για τους τύπους της εκφώνησης θα πρέπει να είναι το F = {greece/0, john/0, mary/0,./2, []/0} και το σύνολο των κατηγορημάτων θα πρέπει να είναι το P = {borders/2, man/1, woman/1, loves/2, may_steal/2, likes/2, thief /1, connected/2, on_diet/1, athlete/1, f it/1, f ather/2, male/1, parent/2, append/3}. Κλειστοί τύποι είναι οι 2, 3, 5, 6, 7 και 8. Δεν είναι κλειστοί οι 1 και 4, ο 1 γιατί περιέχει την ελεύθερη εμφάνιση μεταβλητής x και ο 4 γιατί έχει όλες τις μεταβλητές του (x, y και z) σε ελεύθερη εμφάνιση. Προσέξτε, οι τύποι 5 και 7 είναι κλειστοί, παρότι, με πρώτη ματιά, ίσως να φαίνεται ότι έχουν ελεύθερες εμφανίσεις μεταβλητών. Δεν είναι όμως έτσι. Απλώς, είναι προτάσεις γραμμένες στη συντομευμένη μορφή τους, όπου δεν αναφέρονται οι καθολικοί ποσοδείκτες για τις μεταβλητές, όμως ουσιαστικά υπάρχουν, και όλες οι εμφανίσεις μεταβλητών είναι δεσμευμένες. Συνεπώς, οι τύποι είναι κλειστοί. Οι τύποι 3, 6 και 8 είναι προτάσεις διατυπωμένες με τον κλασικό τρόπο της λογικής πρώτης τάξης (διάζευξη στοιχειωδών τύπων με καθολική ποσοτικοποίηση στις μεταβλητές τους, εφόσον υπάρχουν). Με τον εναλλακτικό απλουστευμένο τρόπο, θα μπορούσαν να διατυπωθούν, αντίστοιχα, ως εξής: may_steal(x, y) likes(x, y), thief (x) loves(john, mary), loves(mary, john) append(.(a, []),.(b, []),.(a,.(b, []))) Οι τύποι 5 και 7 είναι προτάσεις ήδη διατυπωμένες με τον εναλλακτικό τρόπο. Από τους τύπους 3, 5, 6, 7 και 8, που είναι προτάσεις, διατυπωμένες είτε με τον κλασικό τρόπο είτε με τον εναλλακτικό, μόνο οι 3, 6, 7 και 8 είναι προτάσεις Horn. Η 5 δεν είναι πρόταση Horn, γιατί στην κεφαλή της έχει δύο άτομα. Από τους τύπους 3, 6, 7 και 8, που είναι προτάσεις Horn, οι 3, 7 και 8 είναι οριστικές προτάσεις, ενώ η 6 είναι οριστικός στόχος. Η 8 είναι μοναδιαία οριστική πρόταση. Απάντηση άσκησης 7.2 Αν η γλώσσα πρώτης τάξης για την οποία συζητάμε είναι το σύνολο L, τότε το σύνολο των βασικών όρων είναι το: ενώ το σύνολο των βασικών ατόμων είναι το: U L = {liz, mother_of (liz), mother_of (mother_of (liz)),...} B L = {alive(liz), alive(mother_of (liz)), alive(mother_of (mother_of (liz))),...} Στη γλώσσα L περιλαμβάνονται, μεταξύ άλλων, οι εξής τύποι: alive(mother_of (liz)) ( x)(alive(mother_of (mother_of (x)))) ( y)(alive(mother_of (y)) alive(y)) ( x)( y)( alive(x) alive(mother_of (x))) ( x)(alive(x)) alive(liz) Απάντηση άσκησης 7.3 Οι γενικότεροι ενοποιητές των όρων E και F, που δόθηκαν στην εκφώνηση της άσκησης, φαίνονται στη συνέχεια:
12 mgu(e,f) 1 {u/j(x, y), v/j(x, y), w/j(x, y)} 2 mgu 3 {u/a, x/f(b, a), y/b, z/a} 4 {x 1 /g(a, a), x 2 /g(a, a), x 3 /g(a, a), x 4 /a, x 5 /a, x 6 /a, x 7 /a, x 8 /a} 5 {x 1 /g(m(a, b),m(a, b)), x 2 /m(a, b), x 3 /m(a, b), x 4 /b, x 5 /b} 6 {v/g(u, f(a, b)), x/u, y/f(a, b), z/f(u, g(u, f(a, b)))} Ο λόγος για τον οποίο δεν υπάρχει γενικότερος ενοποιητής στην περίπτωση 2 είναι ο έλεγχος εμφάνισης. Συγκεκριμένα, η ενοποίηση αποτυγχάνει, επειδή γίνεται απόπειρα να ενοποιηθούν το w με το j(x, w). Απάντηση άσκησης 7.4 Ο απλούστερος τρόπος να προκύψει τελικά η κενή πρόταση, έπειτα από διαδοχικές εφαρμογές της αρχής της ανάλυσης στις προτάσεις που δόθηκαν, είναι να συνδυάσουμε τις (7.1) και (7.2), το αποτέλεσμα με την (7.3), το αποτέλεσμα με την (7.4) κ.ο.κ. Έτσι, θα έχουμε: (7.1) (7.2) grey(x 1 ), likes(x 1, sam) σ 1 = {y 1 /sam} (7.3) grey(oscar) σ 2 = {x 1 /oscar} (7.4) pink(oscar) σ 3 = {} (7.5) grey(x 2 ), likes(x 2, oscar) σ 4 = {y 2 /oscar} (7.6) grey(clyde) σ 5 = {x 2 /clyde} (7.7) σ 6 = {} Προβλήματα Πρόβλημα 7.1 Διατυπώστε σε λογική πρώτης τάξης πέντε από τους κανόνες Prolog που αναφέρονται στην Ενότητα 3.1, είτε στα παραδείγματα είτε στις ασκήσεις. Πρόβλημα 7.2 Γιατί πιστεύετε ότι στον αλγόριθμο ενοποίησης δεν επιτρέπεται να γίνει δέσμευση μεταβλητής σε μια τιμή που περιέχει τη μεταβλητή αυτή; Πρόβλημα 7.3 Δίνονται οι εξής προτάσεις λογικής πρώτης τάξης: append([], L, L) append(.(x, L1),L2,.(X, L3) append(l1,l2,l3) append(.(a,.(b,.(c, []))),.(d,[]),.(a,.(b,.(c,.(d, []))))) Μπορείτε να προχωρήσετε σε μια σειρά από εφαρμογές της αρχής της ανάλυσης μεταξύ αυτών των προτάσεων, αλλά και όσων θα παραγάγετε από τις εφαρμογές αυτές, έτσι ώστε να προκύψει τελικά η κενή πρόταση;
13 Βιβλιογραφικές αναφορές [1] Γ. Μητακίδης, Απο τη Λογική στο Λογικό Προγραμματισμό και την Prolog, Καρδαμίτσας, [2] K. Doets, From Logic to Logic Programming, The MIT Press, [3] J. W. Lloyd, Foundations of Logic Programming, Springer-Verlag, [4] J. A. Robinson, Logic and Logic Programming, CACM, pp. 35(3), 40-65, [5] L. Sterling and E. Shapiro, The Art of Prolog, The MIT Press,
Κεφάλαιο 2 Λογικός προγραμματισμός Υπολογισμός με λογική
Κεφάλαιο 2 Λογικός προγραμματισμός Υπολογισμός με λογική Σύνοψη Το κεφάλαιο αυτό χωρίζεται σε δύο ενότητες. Στην πρώτη ενότητα επιχειρείται μια ιστορική αναδρομή στη λογική και τον λογικό προγραμματισμό,
Διαβάστε περισσότεραΛογικός Προγραμματισμός
Λογικός Προγραμματισμός Αναπαράσταση γνώσης: Λογικό Σύστημα. Μηχανισμός επεξεργασίας γνώσης: εξαγωγή συμπεράσματος. Υπολογισμός: Απόδειξη θεωρήματος (το συμπέρασμα ενδιαφέροντος) από αξιώματα (γνώση).
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΤεχνητή Νοημοσύνη. 9η διάλεξη ( ) Ίων Ανδρουτσόπουλος.
Τεχνητή Νοημοσύνη 9η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται εν μέρει στο βιβλίο Artificial Intelligence A Modern Approach των
Διαβάστε περισσότερα4. Ο,τιδήποτε δεν ορίζεται με βάση τα (1) (3) δεν είναι προτασιακός τύπος.
Κεφάλαιο 10 Μαθηματική Λογική 10.1 Προτασιακή Λογική Η γλώσσα της μαθηματικής λογικής στηρίζεται βασικά στις εργασίες του Boole και του Frege. Ο Προτασιακός Λογισμός περιλαμβάνει στο αλφάβητό του, εκτός
Διαβάστε περισσότεραΚεφάλαιο 8 Σημασιολογία λογικών προγραμμάτων
Κεφάλαιο 8 Σημασιολογία λογικών προγραμμάτων Σύνοψη Στο κεφάλαιο αυτό παρουσιάζεται η μοντελοθεωρητική σημασιολογία του λογικού προγραμματισμού, δηλαδή αυτή που βασίζεται σε ερμηνείες και μοντέλα, με τελικό
Διαβάστε περισσότεραΠεριεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Πέμπτη, 15/02/2018 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 15-Feb-18
Διαβάστε περισσότεραΤεχνητή Νοημοσύνη. 12η διάλεξη ( ) Ίων Ανδρουτσόπουλος.
Τεχνητή Νοημοσύνη 12η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στα βιβλία Τεχνητή Νοημοσύνη των Βλαχάβα κ.ά., 3η έκδοση, Β. Γκιούρδας
Διαβάστε περισσότερα! όπου το σύµβολο έχει την έννοια της παραγωγής, δηλαδή το αριστερό µέρος ισχύει ενώ το δεξιό µέρος συµπεραίνεται και προστίθεται στη βάση γνώσης.
Αποδείξεις (1/2)! Χρησιµοποιούµε τις συνεπαγωγές της βάσης γνώσης για να βγάλουµε νέα συµπεράσµατα. Για παράδειγµα:! Από τις προτάσεις:! Ακαι Α Β! µπορούµε να βγάλουµε το συµπέρασµα (τεχνική modus ponens
Διαβάστε περισσότεραK15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων
K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Στοιχεία προτασιακής λογικής Περιεχόμενα
Διαβάστε περισσότεραΥπολογιστικά & Διακριτά Μαθηματικά
Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 2:Στοιχεία Μαθηματικής Λογικής Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραΤεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή
Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή raniah@hua.gr 1 Λογική Αποσαφήνιση και τυποποίηση της διαδικασίας της ανθρώπινης σκέψης Η μαθηματική
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 2ο μέρος σημειώσεων: Συστήματα Αποδείξεων για τον ΠΛ, Μορφολογική Παραγωγή, Κατασκευή Μοντέλων Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης
Διαβάστε περισσότεραΚατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5)
Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στον Κατηγορηματικό Λογισμό Σύνταξη Κανόνες Συμπερασμού Σημασιολογία ΕΠΛ 412 Λογική στην
Διαβάστε περισσότεραΚεφάλαιο 1 Διαδικαστικός και δηλωτικός προγραμματισμός
Κεφάλαιο 1 Διαδικαστικός και δηλωτικός προγραμματισμός Σύνοψη Στο κεφάλαιο αυτό γίνεται συγκριτική παρουσίαση, κυρίως μέσω απλών παραδειγμάτων, του διαδικαστικού και του δηλωτικού προγραμματισμού, δύο
Διαβάστε περισσότεραΑνδρέας Παπαζώης. Τμ. Διοίκησης Επιχειρήσεων
Ανδρέας Παπαζώης Τμ. Διοίκησης Επιχειρήσεων Περιεχόμενα Εργ. Μαθήματος Ενοποίηση όρων μίας πρότασης μέσω αντικατάστασης Η έννοια της επιλύουσας προτάσεων Διαδικασία απόδειξης και εξαγωγής συμπερασμάτων
Διαβάστε περισσότεραΜηχανισμός Εξαγωγής Συμπερασμάτων
Μηχανισμός Εξαγωγής Συμπερασμάτων Μηχανισμός Εξαγωγής Συμπερασμάτων Ο βασικός μηχανισμός εξαγωγής συμπερασμάτων στην κατηγορηματική λογική είναι η απόδειξη. Υπάρχει ένα πλήθος κανόνων συμπερασμού. Αυτοί
Διαβάστε περισσότεραΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ. Ενότητα 11: Λογική πρώτης τάξης. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής
Ενότητα 11: Λογική πρώτης τάξης Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου
Διαβάστε περισσότεραΚεφάλαιο 9 Συναρτησιακός προγραμματισμός Υπολογισμός με συναρτήσεις
Κεφάλαιο 9 Συναρτησιακός προγραμματισμός Υπολογισμός με συναρτήσεις Σύνοψη Σκοπός του κεφαλαίου αυτού είναι η εισαγωγή του αναγνώστη στη φιλοσοφία του συναρτησιακού προγραμματισμού. Ο συναρτησιακός προγραμματισμός
Διαβάστε περισσότεραΥπολογισμός στο Λογικό Προγραμματισμό. Πώς υπολογίζεται η έξοδος ενός Λογικού Προγράμματος;
Υπολογισμός στο Λογικό Προγραμματισμό Πώς υπολογίζεται η έξοδος ενός Λογικού Προγράμματος; Herbrand Universe H L Είναι τα δεδομένα που μεταχειρίζεται ένα Λογικό Πρόγραμμα, προκειμένου να απαντήσει μια
Διαβάστε περισσότεραΠροτασιακή Λογική. Τμήμα Μηχανικών Πληροφορικής ΤΕ ΤΕΙ Ηπείρου Γκόγκος Χρήστος
Προτασιακή Λογική (Propositional Logic) Τμήμα Μηχανικών Πληροφορικής ΤΕ ΤΕΙ Ηπείρου Γκόγκος Χρήστος - 2015 Λογική Λογική είναι οι κανόνες που διέπουν τη σκέψη. Η λογική αφορά τη μελέτη των διαδικασιών
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Τρίτη, 20/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 20-Feb-18
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης. 5ο μέρος σημειώσεων: Κατηγορηματικός Λογισμός (Predicate Calculus)
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 5ο μέρος σημειώσεων: Κατηγορηματικός Λογισμός (Predicate Calculus) Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό
Διαβάστε περισσότεραΓνώση. Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος.
Γνώση Η γνώση είναι διαφορετική από τα δεδομένα Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος. Η γνώση για κάποιο
Διαβάστε περισσότερα\5. Κατηγορηματικός Λογισμός (Predicate Calculus)
\5 Κατηγορηματικός Λογισμός (Predicate Calculus) 51 Αντικείμενα Ιδιότητες και Σχέσεις Θεωρείστε την παρακάτω εξαγωγή συμπεράσματος: Κανένας ακέραιος δεν είναι μεγαλύτερος από το τετράγωνό του Το 1 2 είναι
Διαβάστε περισσότεραΕΠΛ 434: Λογικός Προγραμματισμός
ΕΠΛ 434: Λογικός Προγραμματισμός και Τεχνητή Νοημοσύνη Επισκ. Λέκτορας Λοΐζος Μιχαήλ Τμήμα Πληροφορικής ρ Πανεπιστήμιο Κύπρου (Χειμερινό Εξάμηνο 2008 2009) Προγράμματα στην Prolog Αλγόριθμος = Λογική +
Διαβάστε περισσότεραΓνώση. Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος.
Γνώση Η γνώση είναι διαφορετική από τα δεδομένα Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος. Η γνώση για κάποιο
Διαβάστε περισσότερα9.1 Προτασιακή Λογική
ΚΕΦΑΛΑΙΟ 9 9 Λογική Η λογική παρέχει έναν τρόπο για την αποσαφήνιση και την τυποποίηση της διαδικασίας της ανθρώπινης σκέψης και προσφέρει µια σηµαντική και εύχρηστη µεθοδολογία για την αναπαράσταση και
Διαβάστε περισσότεραK15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole
K15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Ορισμός της δίτιμης άλγεβρας Boole Περιεχόμενα 1 Ορισμός της
Διαβάστε περισσότεραΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ
ΤΕΙ Δυτικής Μακεδονίας ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ 2015-2016 Τεχνητή Νοημοσύνη Λογικοί Πράκτορες Διδάσκων: Τσίπουρας Μάρκος Εκπαιδευτικό Υλικό: Τσίπουρας Μάρκος http://ai.uom.gr/aima/ 2 Πράκτορες βασισμένοι
Διαβάστε περισσότεραPROLOG Εισαγωγή (PROgramming in LOGic)
PROLOG Εισαγωγή (PROgramming in LOGic) Γλώσσα Λογικού Προγραμματισμού Βασίζεται στο Προτασιακό Λογισμό 1 ης τάξης Χρησιμοποιεί προτάσεις Horn αλγόριθμος = λογική + έλεγχος Μέσω της Prolog δίνουμε βάρος
Διαβάστε περισσότεραΛογική. Προτασιακή Λογική. Λογική Πρώτης Τάξης
Λογική Προτασιακή Λογική Λογική Πρώτης Τάξης Λογική (Logic) Αναλογίες διαδικασίας επίλυσης προβλημάτων υπολογισμού και προβλημάτων νοημοσύνης: Πρόβλημα υπολογισμού 1. Επινόηση του αλγορίθμου 2. Επιλογή
Διαβάστε περισσότεραΣτοιχεία Κατηγορηματικής Λογικής
Στοιχεία Κατηγορηματικής Λογικής Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης, Δ. Σούλιου Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηματική
Διαβάστε περισσότεραΤίτλος Μαθήματος. Ενότητα 3: Θεωρία λογικού προγραμματισμού. Παναγιώτης Σταματόπουλος Σχολή Θετικών Επιστημών Τμήμα Πληροφορικής και Τηλεπικοινωνιών
Τίτλος Μαθήματος Ενότητα 3: Παναγιώτης Σταματόπουλος Σχολή Θετικών Επιστημών Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιγραφή ενότητας Σύνταξη και σημασιολογία λογικών προγραμμάτων. Μοντελοθεωρητική σημασιολογία,
Διαβάστε περισσότεραΣτοιχεία Κατηγορηματικής Λογικής
Στοιχεία Κατηγορηματικής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηματική Λογική
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Πέμπτη, 01/03/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 02-Mar-18
Διαβάστε περισσότεραΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση μεγιστοποιήσει την πιθανότητά
ΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση: Έστω ότι έχουμε τους παίκτες Χ και Υ. Ο κάθε παίκτης, σε κάθε κίνηση που κάνει, προσπαθεί να μεγιστοποιήσει την πιθανότητά του να κερδίσει. Ο Χ σε κάθε κίνηση που κάνει
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Πέμπτη, 08/02/2018 Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του e-mail: Kees argyros@csd.uoc.gr van Deemter, από το University of Aberdeen 08-Feb-18
Διαβάστε περισσότεραΣυνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF
Συνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF 1 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Πέμπτη 15/02/2018 Κρεατσούλας Κωνσταντίνος Ασυνεπές σύνολο
Διαβάστε περισσότεραΣημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης
Σημειώσεις Λογικής I Εαρινό Εξάμηνο 2011-2012 Καθηγητής: Λ. Κυρούσης 2 Τελευταία ενημέρωση 28/3/2012, στις 01:37. Περιεχόμενα 1 Εισαγωγή 5 2 Προτασιακή Λογική 7 2.1 Αναδρομικοί Ορισμοί - Επαγωγικές Αποδείξεις...................
Διαβάστε περισσότεραp p 0 1 1 0 p q p q p q 0 0 0 0 1 0 1 0 0 1 1 1 p q
Σημειώσεις του Μαθήματος Μ2422 Λογική Κώστας Σκανδάλης ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ 2010 Εισαγωγή Η Λογική ασχολείται με τους νόμους ορθού συλλογισμού και μελετά τους κανόνες βάσει των οποίων
Διαβάστε περισσότεραΑνδρέας Παπαζώης. Τμ. Διοίκησης Επιχειρήσεων
Ανδρέας Παπαζώης Τμ. Διοίκησης Επιχειρήσεων Περιεχόμενα Εργ. Μαθήματος Εισαγωγή στην προτασιακή μορφή της γνώσης Μετατροπή γνώσης σε προτασιακή μορφή Κανόνες μετατροπής Παραδείγματα μετατροπής σε προτασιακή
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραΑριθμητική Ανάλυση και Εφαρμογές
Αριθμητική Ανάλυση και Εφαρμογές Διδάσκων: Δημήτριος Ι. Φωτιάδης Τμήμα Μηχανικών Επιστήμης Υλικών Ιωάννινα 07-08 Αριθμητική Παραγώγιση Εισαγωγή Ορισμός 7. Αν y f x είναι μια συνάρτηση ορισμένη σε ένα διάστημα
Διαβάστε περισσότεραΤεχνητή Νοημοσύνη. 8η διάλεξη ( ) Ίων Ανδρουτσόπουλος.
Τεχνητή Νοημοσύνη 8η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στο βιβλίο Artificial Intelligence A Modern Approach των S. Russel
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Λύσεις Άσκηση 1 [30 μονάδες] Να αποδείξετε τα πιο κάτω λογικά επακόλουθα χρησιμοποιώντας τα συστήματα
Διαβάστε περισσότεραΣτοιχεία Κατηγορηματικής Λογικής
Στοιχεία Κατηγορηματικής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηματική Λογική
Διαβάστε περισσότεραΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ. Ενότητα 12: Συμπερασμός στη λογική πρώτης τάξης. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής
Ενότητα 12: Συμπερασμός στη λογική πρώτης τάξης Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται
Διαβάστε περισσότεραΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι
ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι Για τον προτασιακό λογισμό παρουσιάσαμε την αποδεικτική θεωρία (natural deduction/λογικό συμπέρασμα) τη σύνταξη (ορίζεται με γραμματική χωρίς συμφραζόμενα και εκφράζεται με συντακτικά
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά. Προτασιακός Λογισμός. Προηγούμενη φορά. Βάσεις της Μαθηματικής Λογικής. 02 Προτασιακός Λογισμός
HY118-Διακριτά Μαθηματικά Πέμπτη, 08/02/2018 Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του e-mail: Kees argyros@csd.uoc.gr van Deemter, από το University of Aberdeen Προηγούμενη
Διαβάστε περισσότεραΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ Ενότητα 8: Ιδιότητες Γραμματικών χωρίς Συμφραζόμενα Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό
Διαβάστε περισσότεραΕπανάληψη. ΗΥ-180 Spring 2019
Επανάληψη Έχουμε δει μέχρι τώρα 3 μεθόδους αποδείξεων του Προτασιακού Λογισμού: Μέσω πίνακα αληθείας για τις υποθέσεις και το συμπέρασμα, όπου ελέγχουμε αν υπάρχουν ερμηνείες που ικανοποιούν τις υποθέσεις
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Ημερομηνία : Πέμπτη, 30 Οκτωβρίου 2014 Διάρκεια : 10:30 12.00 Διδάσκουσα : Άννα Φιλίππου ΠΡΟΤΥΠΕΣ ΛΥΣΕΙΣ Οδηγίες:
Διαβάστε περισσότεραΕισαγωγή στις Βάσεις Δεδομζνων II
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΣΙΑ ΠΑΝΕΠΙΣΗΜΙΟ ΚΡΗΣΗ Εισαγωγή στις Βάσεις Δεδομζνων II Ενότητα: Λογική και Θεωρία Συνόλων Διδάσκων: Πηγουνάκης Κωστής ΤΜΗΜΑ ΟΙΚΟΝΟΜΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΣΧΟΛΗ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ Άδειες Χρήσης
Διαβάστε περισσότεραHY 180 Λογική Διδάσκων: Δ. Πλεξουσάκης Φροντιστήριο 5
HY 180 Λογική Διδάσκων: Δ. Πλεξουσάκης Φροντιστήριο 5 Α) ΘΕΩΡΙΑ Η Μορφολογική Παραγωγή ανήκει στα συστήματα παραγωγής, δηλαδή σε αυτά που παράγουν το συμπέρασμα με χρήση συντακτικών κανόνων λογισμού. Η
Διαβάστε περισσότεραturnin Lab4.pro
ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ ΜΑΘΗΜΑ: ΑΡΧΕΣ ΓΛΩΣΣΩΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΑΚΑΔ. ΕΤΟΣ: 2018-19 ΔΙΔΑΣΚΩΝ: Χ.ΝΟΜΙΚΟΣ 4η Σειρά Εργαστηριακών Ασκήσεων Οι εργαστηριακές ασκήσεις είναι
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραΠανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 6: Προτασιακός Λογισμός
Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 6: Προτασιακός Λογισμός Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Παρασκευή, 16/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 17-Feb-18
Διαβάστε περισσότεραΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ. Ενότητα 9: Προτασιακή λογική. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής
Ενότητα 9: Προτασιακή λογική Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου
Διαβάστε περισσότεραΕπαγωγικός Λογικός Προγραμματισμός και Aσαφείς Λογικές Περιγραφής
.. και Aσαφείς Λογικές Περιγραφής Άγγελος Χαραλαμπίδης Στασινός Κωνσταντόπουλος ΕΚΕΦΕ «Δημόκριτος» {acharal,konstant}@iit.demokritos.gr .. Σκελετός Ομιλίας Εισαγωγή .. Ορισμός Προβλήματος Γενικότερο πλαίσιο
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Α Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2011-12... 3 1.1 Άσκηση 1...
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΠεριεχόμενα Πρόλογος 1. Εισαγωγή 2. Τα Βασικά Μέρη ενός Προγράμματος Prolog
Περιεχόμενα Πρόλογος... xxv 1. Εισαγωγή... 1 1.1. Ιστορική Εξέλιξη της Prolog.... 2 1.2. Προστακτικός και Δηλωτικός Προγραμματισμός.... 2 1.3. Δηλωτική και διαδικαστική έννοια ενός προγράμματος Prolog....
Διαβάστε περισσότεραΠανεπιστήμιο Θεσσαλίας Τμήμα Πληροφορικής
Πανεπιστήμιο Θεσσαλίας Τμήμα Πληροφορικής Δεύτερη Σειρά Ασκήσεων 22 Νοεμβρίου 2016 (χειρόγραφη και ηλεκτρονική παράδοση 9 Δεκεμβρίου) Άσκηση 1: Θεωρήστε τη γραμματική με κανόνες: Α B a A a c B B b A b
Διαβάστε περισσότεραΠληρότητα της μεθόδου επίλυσης
Πληρότητα της μεθόδου επίλυσης Λήμμα: Αν κάθε μέλος ενός συνόλου όρων περιέχει ένα αρνητικό γράμμα, τότε το σύνολο είναι ικανοποιήσιμο. Άρα για να είναι μη-ικανοποιήσιμο, θα πρέπει να περιέχει τουλάχιστον
Διαβάστε περισσότεραΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική)
ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 2 η Εργασία: Γενική Εικόνα Ικανοποιητική βαθμολογική εικόνα
Διαβάστε περισσότεραΚΕΦΑΛΑΙΟ 3: Κατηγορηματική Λογική Πρώτης Τάξεως και Λογικά Προγράμματα
ΚΕΦΑΛΑΙΟ 3: Κατηγορηματική Λογική Πρώτης Τάξεως και Λογικά Προγράμματα Λέξεις Κλειδιά Μαθηματική Λογική, Προτασιακή Λογική, Κατηγορηματική Λογική, Προτάσεις Horn, Λογικά Προγράμματα Περίληψη Το κεφάλαιο
Διαβάστε περισσότεραK15 Ψηφιακή Λογική Σχεδίαση 7-8: Ανάλυση και σύνθεση συνδυαστικών λογικών κυκλωμάτων
K15 Ψηφιακή Λογική Σχεδίαση 7-8: Ανάλυση και σύνθεση συνδυαστικών λογικών κυκλωμάτων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Η έννοια του συνδυαστικού
Διαβάστε περισσότεραΛογικοί πράκτορες. Πράκτορες βασισµένοι στη γνώση
Λογικοί πράκτορες Πράκτορες βασισµένοι στη γνώση Βάση γνώσης (knowledge base: Σύνολο προτάσεων (sentences Γλώσσα αναπαράστασης της γνώσης Γνωστικό υπόβαθρο: «Αµετάβλητο» µέρος της ΒΓ Βασικές εργασίες:
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Νόµοι ισοδυναµίας. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Παρασκευή, 24/02/2017
HY118- ιακριτά Μαθηµατικά Παρασκευή, 24/02/2017 Κατηγορηµατικός Λογισµός Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University
Διαβάστε περισσότερα1 Συνοπτική ϑεωρία. 1.1 Νόµοι του Προτασιακού Λογισµού. p p p. p p. ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών HY-180: Λογική Εαρινό Εξάµηνο 2016 Κ. Βάρσος Πρώτο Φροντιστήριο 1 Συνοπτική ϑεωρία 1.1 Νόµοι του Προτασιακού Λογισµού 1. Νόµος ταυτότητας : 2. Νόµοι αυτοπάθειας
Διαβάστε περισσότεραHY Λογική Διδάσκων: Δ. Πλεξουσάκης Εαρινό Εξάμηνο. Φροντιστήριο 6
HY-180 - Λογική Διδάσκων: Δ. Πλεξουσάκης Εαρινό Εξάμηνο 2015-2016 Φροντιστήριο 6 Α) ΘΕΩΡΙΑ Μέθοδος Επίλυσης (Resolution) Στη μέθοδο της επίλυσης αποδεικνύουμε την ικανοποιησιμότητα ενός συνόλου προτάσεων,
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Α Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2009-10... 3 1.1 Άσκηση 1...
Διαβάστε περισσότεραΗΥ180: Λογική Διδάσκων: Δημήτρης Πλεξουσάκης. Φροντιστήριο 8 Επίλυση για Horn Clauses Λογικός Προγραμματισμός Τετάρτη 9 Μαΐου 2012
ΗΥ180: Λογική Διδάσκων: Δημήτρης Πλεξουσάκης Φροντιστήριο 8 Επίλυση για Horn Clauses Λογικός Προγραμματισμός Τετάρτη 9 Μαΐου 2012 Πληρότητα της μεθόδου επίλυσης Λήμμα: Αν κάθε μέλος ενός συνόλου όρων περιέχει
Διαβάστε περισσότεραΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική)
ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 2 η Εργασία: Γενική Εικόνα Αρκετά καλή βαθμολογική εικόνα (
Διαβάστε περισσότεραΠρόβλημα είναι μια κατάσταση η οποία χρήζει αντιμετώπισης, απαιτεί λύση, η δε λύση της δεν είναι γνωστή, ούτε προφανής.
Κεφάλαιο 2 - Πρόβλημα 2.1.1. Η έννοια του προβλήματος Πρόβλημα είναι μια κατάσταση η οποία χρήζει αντιμετώπισης, απαιτεί λύση, η δε λύση της δεν είναι γνωστή, ούτε προφανής. 2.1.2. Κατηγορίες προβλημάτων
Διαβάστε περισσότεραΛογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών
Λογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια χρήσης Creative Commons και
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά
HY118- ιακριτά Μαθηµατικά Πέµπτη, 02/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/2/2017
Διαβάστε περισσότεραΑΕΠΠ Ερωτήσεις θεωρίας
ΑΕΠΠ Ερωτήσεις θεωρίας Κεφάλαιο 1 1. Τα δεδομένα μπορούν να παρέχουν πληροφορίες όταν υποβάλλονται σε 2. Το πρόβλημα μεγιστοποίησης των κερδών μιας επιχείρησης είναι πρόβλημα 3. Για την επίλυση ενός προβλήματος
Διαβάστε περισσότεραΤι είναι βαθμωτό μέγεθος? Ένα μέγεθος που περιγράφεται μόνο με έναν αριθμό (π.χ. πίεση)
TETY Εφαρμοσμένα Μαθηματικά Ενότητα ΙΙ: Γραμμική Άλγεβρα Ύλη: Διανυσματικοί χώροι και διανύσματα, μετασχηματισμοί διανυσμάτων, τελεστές και πίνακες, ιδιοδιανύσματα και ιδιοτιμές πινάκων, επίλυση γραμμικών
Διαβάστε περισσότεραΤεχνητή Νοημοσύνη ( )
Εβδομάδα Διάλεξη Ενδεικτικά θέματα διαλέξεων Ενδεικτικά θέματα εργαστηρίων/φροντιστηρίων 1 1 1 2 2 3 2 4 3 5 3 6 4 7 4 8 5 9 Τεχνητή Νοημοσύνη (2017-18) Γενικές πληροφορίες για το μάθημα. Εισαγωγή στην
Διαβάστε περισσότεραΠεριεχόμενα. Πρόλογος 3
Πρόλογος Τα πρώτα μαθήματα, σχεδόν σε όλους τους κλάδους των μαθηματικών, περιέχουν, ή θεωρούν γνωστές, εισαγωγικές έννοιες που αφορούν σύνολα, συναρτήσεις, σχέσεις ισοδυναμίας, αλγεβρικές δομές, κλπ.
Διαβάστε περισσότεραΠεριεχόμενα Ορισμός και λειτουργία των μηχανών Turing Θεωρία Υπολογισμού Ενότητα 20: Μηχανές Turing: Σύνθεση και Υπολογισμοί Επ. Καθ. Π. Κατσαρός Τμήμ
Θεωρία Υπολογισμού Ενότητα 20: Μηχανές Turing: Σύνθεση και Υπολογισμοί Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,
Διαβάστε περισσότεραΣχεσιακή Άλγεβρα και Σχεσιακός Λογισμός. Σχεσιακή Άλγεβρα Σχεσιακός Λογισμός
7 Σχεσιακή Άλγεβρα και Σχεσιακός Λογισμός Σχεσιακή Άλγεβρα Σχεσιακός Λογισμός Σχεσιακή Άλγεβρα H Σχεσιακή Άλγεβρα (relational algebra) ορίζει ένα σύνολο πράξεων που εφαρμόζονται σε μία ή περισσότερες σχέσεις
Διαβάστε περισσότεραΕΡΩΤΗΜΑΤΑ σε ΓΝΩΣΗ ΚΑΤΗΓΟΡΗΜΑΤΙΚΗ ΛΟΓΙΚΗ. ηµήτρης Ψούνης ΠΛΗ31, Απαντήσεις Ερωτήσεων Quiz - ΓΝΩΣΗ 1. ΣΩΣΤO τo (b): NAI ΕΞΗΓΗΣΗ: ΤΕΣΤ 7 / ΑΣΚΗΣΗ 1.
ηµήτρης Ψούνης ΠΛΗ31, Απαντήσεις Ερωτήσεων Quiz - ΓΝΩΣΗ 1 ΕΡΩΤΗΜΑΤΑ σε ΓΝΩΣΗ ΚΑΤΗΓΟΡΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΤΗΓΟΡΗΜΑΤΙΚΗ ΛΟΓΙΚΗ 1 Η πρόταση «εν είναι όλα τα άλογα τετράποδα» είναι ισοδύναµη µε την πρόταση. a.
Διαβάστε περισσότεραΚεφάλαιο 9. Λογική. Τεχνητή Νοηµοσύνη - Β' Έκδοση. Ι. Βλαχάβας, Π. Κεφαλάς, Ν. Βασιλειάδης, Φ. Κόκκορας, Η. Σακελλαρίου
Κεφάλαιο 9 Λογική Τεχνητή Νοηµοσύνη - Β' Έκδοση Ι. Βλαχάβας, Π. Κεφαλάς, Ν. Βασιλειάδης, Φ. Κόκκορας, Η. Σακελλαρίου Λογική Aποσαφήνιση και την τυποποίηση της διαδικασίας της ανθρώπινης σκέψης. Η µαθηµατική
Διαβάστε περισσότεραΣτοιχεία Προτασιακής Λογικής
Στοιχεία Προτασιακής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Μαθηματικές Προτάσεις
Διαβάστε περισσότεραΣυνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF
Συνέπεια, Εγκυρότητα, Συνεπαγωγή, Ισοδυναμία, Κανονικές μορφές, Αλγόριθμοι μετατροπής σε CNF-DNF 1 ο φροντιστήριο ΗΥ180 Διδάσκων: Δ. Πλεξουσάκης Πέμπτη 15/02/2018 Κρεατσούλας Κωνσταντίνος Ασυνεπές σύνολο
Διαβάστε περισσότεραΛογικός Προγραμματισμός Ασκήσεις
Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Α Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2012-13... 3 1.1 Άσκηση 1...
Διαβάστε περισσότεραΑσκήσεις Επανάληψης Λύσεις
Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Το επακόλουθο (A (B C)) ((A C) (A B)) είναι ψευδές. Αυτό φαίνεται στην ανάθεση τιμών [Α] = Τ, [Β] = F, [C] = T. (β) Ακολουθεί η απόδειξη του επακόλουθου. 1. x(p(x)
Διαβάστε περισσότεραΗΥ Λογική. Διδάσκων: Δημήτρης Πλεξουσάκης Καθηγητής
ΗΥ 180 - Λογική Διδάσκων: Καθηγητής E-mail: dp@csd.uoc.gr Ώρες διδασκαλίας: Δευτέρα, Τετάρτη 4-6 μμ, Αμφ. Β Ώρες φροντιστηρίου: Πέμπτη 4-6 μμ, Αμφ. Β Ώρες γραφείου: Δευτέρα, Τετάρτη 2-4 μμ, Κ.307 Web site:
Διαβάστε περισσότεραΕΙΔΗ,ΤΕΧΝΙΚΕΣ ΚΑΙ ΠΕΡΙΒΑΛΛΟΝΤΑ ΠΡΟΓΡΑΜΜΑΤΙ- ΣΜΟΥ
Κεφάλαιο 7 ΕΙΔΗ,ΤΕΧΝΙΚΕΣ ΚΑΙ ΠΕΡΙΒΑΛΛΟΝΤΑ ΠΡΟΓΡΑΜΜΑΤΙ- ΣΜΟΥ Ερωτήσεις 1. Να αναφέρετε διαφορές μεταξύ γλωσσών μηχανής και γλωσσών χαμηλού επιπέδου. Οι γλώσσες μηχανής κωδικοποιούν τις εντολές τους με ομάδες
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Φυλλάδιο 1: Προτασιακή Λογική ΟΚΤΩΒΡΙΟΣ 2006 1. Ικανοποιησιμότητα Αποφασίστε αν οι παρακάτω προτάσεις είναι ταυτολογίες, ικανοποιήσιμες ή μη-ικανοποιήσιμες
Διαβάστε περισσότεραΚανονικές μορφές - Ορισμοί
HY-180 Περιεχόμενα Κανονικές μορφές (Normal Forms) Αλγόριθμος μετατροπής σε CNF-DNF Άρνηση (Negation) Βασικές Ισοδυναμίες με άρνηση Νόμος De Morgan Πίνακες Αληθείας Κανονικές μορφές - Ορισμοί Ορισμός:
Διαβάστε περισσότερα