Οντολογίες και περιγραφικές λογικές

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "Οντολογίες και περιγραφικές λογικές"

Transcript

1 εφάλαιο 2 Οντολογίες και περιγραφικές λογικές 2.1 Εισαγωγή Σε πολλές περιπτώσεις είναι χρήσιμη η αναπαράσταση της γνώσης με τη μορφή κατηγοριών αντικειμένων. εκινώντας από τον καθορισμό των αντικειμένων, μέσω της απόδοσης ονομάτων, είναι χρήσιμο να μελετήσουμε τις ιδιότητές τους και να περιγράψουμε τον τρόπο με τον οποίο σχετίζονται μεταξύ τους και καθορίζουν τα χαρακτηριστικά των αντικειμένων. ε τον τρόπο αυτό, είναι χρήσιμο η αναπαράσταση της γνώσης του πεδίου ενδιαφέροντος να κωδικοποιεί και να ενσωματώνει τις παρακάτω (διαισθητικές) σημασιολογικές παρατηρήσεις: Τα αντικείμενα έχουν συγκεκριμένες ιδιότητες και με βάση αυτές κατατάσσονται σε (πιθανώς περισσότερες από μία) κατηγορίες (π.χ. μια συγκεκριμένη ταινία μπορεί να είναι περιπέτεια, κωμωδία, μεγάλου μήκους κλπ.). Υπάρχουν κατηγορίες που είναι γενικότερες από άλλες (π.χ. όλοι οι σκηνοθέτες είναι δημιουργοί). Συνήθως οι κατηγορίες έχουν ονόματα, δηλαδή απλές αναφορές (κωμωδία, σκηνοθέτης, πλάνο, θέμα κλπ.). Σε πολλές, όμως, από τις κατηγορίες αναφερόμαστε περιγραφικά, με σύνθετα ονόματα που συνήθως περιγράφουν λεκτικά τις ιδιότητές που πρέπει να έχουν τα αντικείμενα που κατατάσσονται στη συγκεκριμένη κατηγορία (π.χ. οι κωμωδίες που εκτυλίσσονται στην Αθήνα τη δεκαετία του 60). ι σχέσεις ενός αντικειμένου με άλλα αντικείμενα συγκεκριμένης κατηγορίας είναι σημαντικές για την κατάταξή τους σε κάποια κατηγορία (π.χ. οι ταινίες που έχουν μεγάλη διάρκεια ονομάζονται μεγάλου μήκους). άποια αντικείμενα μπορεί να αποτελούνται από άλλα (π.χ. κάθε πλάνο μιας ταινίας είναι μέρος μιας σκηνής). ι σχέσεις των μερών ενός αντικειμένου είναι πιθανώς σημαντικές για την κατάταξή του σε μια κατηγορία (π.χ. ένα σύνολο από πλάνα δεν αποτελεί απαραίτητα ταινία). εριγραφές που διατυπώνουν πληροφορίες αυτού του τύπου για ένα συγκεκριμένο πεδίο ονομάζονται συνήθως ορολογικές, ενώ οι αντίστοιχες γνώσεις που αναπτύσσονται ονομάζονται ορολογίες ή οντολογίες. Η σημασιολογική ερμηνεία και η λογική ανάλυση των οντολογιών, με βάση τις παραπάνω παρατηρήσεις, χρησιμοποιείται συνήθως για να μπορέσουμε να προσεγγίσουμε προβλήματα όπως το αν κάποια κατηγορία είναι γενικότερη από 45

2 46 ΕΦΑ Α 2. Τ Γ ΕΣ Α Ε Γ ΑΦ ΕΣ Γ ΕΣ κάποια άλλη (π.χ. είναι συγγραφείς οι σεναριογράφοι;), αν κάποιο συγκεκριμένο αντικείμενο ανήκει σε μια κατηγορία (π.χ. είναι ο Woody Allen πολυβραβευμένος σκηνοθέτης;) κλπ. Δεν είναι δύσκολο να δούμε ότι η μοντελοποίηση του πεδίου ενδιαφέροντος που υιοθετείται κατά την οντολογική αναπαράσταση γνώσης είναι αντικειμενοστρεφής. Συγκεκριμένα, τα άτομα (απτά ή αφηρημένα αντικείμενα) αποτελούν τα βασικά στοιχεία του κόσμου. ι ιδιότητές τους περιγράφονται με τη βοήθεια των κατηγοριών και των ταξινομήσεών τους σε αυτές, αλλά και των συσχετίσεων μεταξύ τους. Στη βιβλιογραφία έχουν προταθεί και αναπτυχθεί αρκετοί αντικειμενοστρεφείς φορμαλισμοί αναπαράστασης γνώσης (όπως τα σημασιολογικά δίκτυα (semantic networks), τα πλαίσια (frames) κλπ.), οι περισσότεροι, όμως, από αυτούς δεν ενσωματώνουν στοιχεία της μαθηματικής λογικής για την τυπική μελέτη και ανάλυση των περιορισμών που διατυπώνονται. Συνεπώς, περιορίζονται στην τυπική αναπαράσταση της μοντελοποίησης του κόσμου, όχι απαραίτητα με στόχο την ανάπτυξη συστημάτων αυτόματης συλλογιστικής (για παράδειγμα, τόσο τα σημασιολογικά δίκτυα όσο και τα πλαίσια χρησιμοποιούνται ως φορμαλισμοί μοντελοποίησης συστημάτων λογισμικού κατά τη διαδικασία ανάπτυξης λογισμικού). Τα τελευταία χρόνια, ειδικά με την ανάπτυξη του αγκόσμιου στού, έχει καταγραφεί η ανάγκη για την ανάπτυξη φορμαλισμών αναπαράστασης, διαχείρισης και χρήσης οντολογικής γνώσης που να υποστηρίζονται από διαδικασίες αυτόματης συλλογιστικής οι οποίες να μπορούν να εφαρμοστούν σε πρακτικά προβλήματα. Στο πλαίσιο αυτό, έχουν προταθεί και μελετηθεί οι περιγραφικές λογικές (Description Logics), ένας τυπικός φορμαλισμός αναπαράστασης γνώσης με βάση τον οποίο οι μηχανικοί γνώσης αναπτύσσουν ορολογίες που υποστηρίζονται από αλγόριθμους συλλογιστικής με καλά υπολογιστικά χαρακτηριστικά. 2.2 Τυπικές ορολογικές περιγραφές Περιγραφές ατόμων Το πρώτο βήμα κατά την ανάπτυξη τυπικών ορολογικών περιγραφών είναι η ταυτοποίηση και θεμελίωση της αναφοράς στα άτομα (individuals), τα στοιχεία, δηλαδή, του κόσμου που περιγράφουμε. Για τον σκοπό αυτό, αντιστοιχίζουμε τα άτομα σε συμβολοσειρές (ονόματα), οι οποίες αποτελούν συντακτικούς προσδιοριστές που δίνουν τη δυνατότητα τυπικής, μονοσήμαντης αναφοράς σε αυτά. Για να είναι, όμως, η αναφορά μονοσήμαντη (στοιχείο απαραίτητο στις τυπικές περιγραφές), κάθε όνομα πρέπει να αντιστοιχεί σε ένα μόνο άτομο. Αντιθέτως, τα άτομα δεν είναι απαραίτητο να έχουν μοναδικά ονόματα. Η δέσμευση για την ισχύ του συγκεκριμένου περιορισμού ονομάζεται υπόθεση μοναδικού ονόματος (unique name assumption, UNA). Η υπόθεση αυτή, αν και απλοποιεί αρκετά τη διαδικασία αναφοράς, σε πολλές περιπτώσεις είναι περιοριστική. Δεν είναι ρεαλιστικό, για παράδειγμα, να υποθέσουμε ότι στον αγκόσμιο στό θα υπάρχει μοναδικό όνομα (μοναδικός προσδιοριστής) για την Αθήνα, ο οποίος θα χρησιμοποιείται σε όλες τις αναφορές σε αυτή (για παράδειγμα σε όλες τις ιστοσελίδες του αγκόσμιου στού), ή ότι το όνομα και το όνομα (το πραγματικό όνομα του Woody Allen) αναφέρονται, υποχρεωτικά, σε διαφορετικά αντικείμενα του κόσμου. Από την άλλη πλευρά, αν δεχθούμε ότι δεν ισχύει η υπόθεση μοναδικού ονόματος, είναι πολύ χρήσιμο να μπορούμε να δηλώσουμε ότι δύο ονόματα αναφέρονται στο ίδιο άτομο. Τυπικά, αυτό θα μπορούσε δηλωθεί με την έκφραση, (2.1) η οποία ονομάζεται ισότητα ατόμων (individual equality).

3 2.2. ΤΥ ΕΣ Γ ΕΣ Ε Γ ΑΦΕΣ 47 Αντίστοιχα, θα ήταν χρήσιμο να μπορούμε να δηλώσουμε ότι τα άτομα στα οποία αναφέρονται τα ονόματα και είναι διαφορετικά (αν και είναι διαισθητικά προφανές). Τυπικά, χρησιμοποιούμε την έκφραση, (2.2) η οποία ονομάζεται ανισότητα ατόμων (individual inequality). Στη συνέχεια, θα δούμε με ποιον τρόπο μπορούμε να περιγράφουμε τις ιδιότητες των ονοματισμένων ατόμων. Γενικά, τα άτομα ταξινομούνται σε κατηγορίες (categories) ή κλάσεις (classes), με βάση τις ιδιότητές τους, όπως ακριβώς τα αντικείμενα ανήκουν ή όχι σε ένα σύνολο, ανάλογα με το αν πληρούν μια συγκεκριμένη ιδιότητα. Για παράδειγμα, μπορούμε να δηλώσουμε τυπικά ότι το άτομο είναι σκηνοθέτης μέσω της έκφρασης ( ), (2.3) στην οποία το όνομα χρησιμοποιείται για τον καθορισμό της έννοιας (concept) σκηνοθέτης. Αυτό σημαίνει ότι το άτομο έχει όλα τα χαρακτηριστικά της έννοιας. Στη περίπτωση αυτή θα λέμε ότι το άτομο είναι στιγμιότυπο (instance) της έννοιας. ε παρόμοιο τρόπο αναπαριστούμε τις σχέσεις που έχουν τα άτομα μεταξύ τους. Για παράδειγμα, δηλώνουμε τυπικά ότι το άτομο είναι σκηνοθέτης του ατόμου μέσω της έκφρασης (, ) (2.4) στην οποία το όνομα χρησιμοποιείται για τον καθορισμό της σχέσης (relation) είναι-σκηνοθέτης-του, όπου το πρώτο όρισμα είναι σκηνοθέτης του δεύτερου ορίσματος. Στις περιγραφικές λογικές (που αποτελούν τυπικό αντικειμενοστρεφές μοντέλο αναπαράστασης γνώσης) οι σχέσεις χρησιμοποιούνται για να περιγράψουν ιδιότητες των ατόμων που εμπλέκουν άλλα άτομα και είναι πάντα δυαδικές (έχουν δύο ορίσματα). Για αυτόν τον λόγο αναφέρονται και ως ρόλοι (roles). Η περιγραφή των ατόμων μέσω δηλώσεων της μορφής (2.3) και (2.4) είναι παρόμοια με την αναπαράσταση που χρησιμοποιείται στις βάσεις δεδομένων. ια προφανής διαφορά είναι ότι στην περίπτωση των περιγραφικών λογικών δηλώνεται ρητά (explicitly) και η σχέση των ονομάτων (μέσω των (2.1) και (2.2)). Από την άλλη πλευρά, στα σχεσιακά μοντέλα βάσεων δεδομένων μπορούν να αναπαρασταθούν σχέσεις με περισσότερα από δύο ορίσματα. Η σημαντικότερη όμως διαφορά τους προκύπτει από τη σημασιολογική ερμηνεία των δηλώσεων (2.3) και (2.4), και θα τη δούμε αναλυτικά στη συνέχεια, όταν θα περιγράψουμε την τυπική σημασιολογία (formal semantics) των περιγραφικών λογικών Περιγραφές κατηγοριών ι κατηγορίες στις οποίες ταξινομούνται τα άτομα ονοματίζονται με τη χρήση συμβολοσειρών (όπως είδαμε και προηγουμένως) και αντιστοιχούν σε μια συγκεκριμένη ιδιότητα, την οποία εξετάζουμε για να δούμε αν κάποιο άτομο είναι μέλος αυτής της κατηγορίας ή όχι. Η ιδιότητα αυτή μπορεί να είναι, διαισθητικά, από απλή έως και ιδιαίτερα περίπλοκη, ανάλογα με την έννοια που αντιστοιχεί στη συγκεκριμένη κατηγορία. Επιπλέον, κάποιες από τις ιδιότητες αυτές μπορεί να σχετίζονται. Για παράδειγμα η ιδιότητα που καθορίζει την κατηγορία των δημιουργών και την αντίστοιχη έννοια είναι γενικότερη από την ιδιότητα που καθορίζει την κατηγορία των σκηνοθετών, αφού όλοι οι σκηνοθέτες είναι δημιουργοί. Σε αυτή την περίπτωση, θα λέμε ότι η έννοια είναι υποέννοια της έννοιας. Τυπικά, γράφουμε

4 48 ΕΦΑ Α 2. Τ Γ ΕΣ Α Ε Γ ΑΦ ΕΣ Γ ΕΣ, (2.5) υπονοώντας ότι κάθε άτομο το οποίο είναι είναι. Στην περίπτωση αυτή, λέμε ότι η έννοια υπάγεται (subsumed) στην έννοια. πορούμε, επίσης, να δηλώσουμε ότι δύο έννοιες είναι ξένες μεταξύ τους, αν οι ιδιότητές τους καθορίζουν κατηγορίες ατόμων που είναι ξένες μεταξύ τους. Για παράδειγμα, οι έννοιες και είναι ξένες μεταξύ τους, γιατί κανένα άτομο του κόσμου δεν μπορεί να είναι ταυτόχρονα σκηνοθέτης και ταινία. Τυπικά, δηλώνουμε ότι (2.6) και λέμε ότι οι έννοιες και είναι ξένες (disjoint). Δύο έννοιες είναι δυνατόν να ταυτίζονται, αν οι ιδιότητές τους καθορίζουν πάντα το ίδιο σύνολο ατόμων. Για παράδειγμα, οι έννοιες και ταυτίζονται στο πεδίο του κινηματογράφου, διότι τα στιγμιότυπα των φιλμ είναι και ταινίες και αντίστροφα (οι λέξεις φιλμ και ταινία είναι συνώνυμες, διότι ιστορικά το υλικό καταγραφής της κινούμενης εικόνας στον κινηματογράφο ήταν το φιλμ παρότι τα τελευταία χρόνια με τη χρήση των ψηφιακών μέσων αυτό δεν ισχύει πλέον, η ισοδυναμία αυτή έχει επικρατήσει). Η παραπάνω δήλωση γράφεται τυπικά ως εξής:. (2.7) Η ισοδυναμία εννοιών δεν περιορίζεται μόνο στα συνώνυμα. Για παράδειγμα, οι έννοιες και επίσης ταυτίζονται, γιατί διαισθητικά τα στιγμιότυπα των ταινιών είναι ταινίες μικρού μήκους ή ταινίες μεγάλου μήκους και αντίστροφα. Τυπικά, δηλώνουμε ότι (2.8) και λέμε ότι οι έννοιες και είναι ισοδύναμες (equivalent). Στη σχέση (2.8) παρατηρούμε ότι η έννοια έχει ένα περίπλοκο όνομα, το οποίο ουσιαστικά υποδηλώνει ότι τα στιγμιότυπα της έννοιας είναι ταινίες μικρού μήκους ή ταινίες μεγάλου μήκους. αρατηρούμε ότι, ενώ τα επίθετα που χρησιμοποιούνται στα ονόματα («μικρό» και «μεγάλο») χαρακτηρίζουν τη συγκεκριμένη περίπτωση, περιγράφοντας τις συγκεκριμένες ιδιότητες, το «ή» είναι ένας σύνδεσμος που χρησιμοποιείται με τον ίδιο τρόπο σε πολλά ονόματα είναι ένας σύνδεσμος που η σημασιολογία του είναι λογική. Ένας τρόπος για να εμπλουτιστεί η γλώσσα αναπαράστασης είναι η χρήση τυπικών (λογικών) συνδέσμων για την περιγραφή της σχέσης που κρύβεται στη συμβολοσειρά του ονόματος. Στην περίπτωση της (2.8), μπορούμε, πιο τυπικά, να δηλώσουμε ότι, (2.9) όπου το σύμβολο χρησιμοποιείται για να δηλώσει τη διάζευξη (disjunction) των εννοιών και. Σύμβολα αυτού του τύπου ονομάζονται κατασκευαστές (constructors) και συνδέουν τις ιδιότητες των κατηγοριών των ατόμων που περιγράφονται από τις επιμέρους έννοιες. Στη συνέχεια θα περιγράψουμε τους βασικούς κατασκευαστές που χρησιμοποιούνται στην ανάπτυξη ορολογιών.

5 2.2. ΤΥ ΕΣ Γ ΕΣ Ε Γ ΑΦΕΣ 49 Η σύζευξη (conjunction) δύο εννοιών προσδιορίζει την κατηγορία των ατόμων που έχουν τις ιδιότητες και των δύο εννοιών. Για παράδειγμα, μια ταινία μεγάλου μήκους αποτελεί ουσιαστικά μια ταινία με μεγάλη διάρκεια. Τυπικά, λέμε ότι η έννοια είναι η σύζευξη της έννοιας και της έννοιας (στο πεδίο του κινηματογράφου, ένα φιλμ λέγεται μακρύ, αν είναι μακρύτερο από 1600 μέτρα, δηλαδή αν η ταινία που αποθηκεύει είναι διάρκειας μεγαλύτερης από 40 λεπτά) και γράφουμε, (2.10) όπου είναι το σύμβολο της σύζευξης. Η άρνηση (negation) μιας έννοιας προσδιορίζει την κατηγορία των ατόμων που δεν έχουν την ιδιότητα της έννοιας. Για παράδειγμα, μπορούμε να χρησιμοποιήσουμε την άρνηση για να δηλώσουμε ότι μια ταινία που δεν είναι μικρού μήκους είναι μεγάλου μήκους. Τυπικά, λέμε ότι η έννοια είναι η σύζευξη της έννοιας και της άρνησης της έννοιας και γράφουμε, (2.11) όπου είναι το σύμβολο της σύζευξης. Είναι σημαντικό να τονίσουμε ότι, αν ο ορισμός της έννοιας δινόταν από τη σχέση, (2.12) τότε ουσιαστικά θα δηλώναμε ότι κάθε άτομο του κόσμου που δεν είναι στιγμιότυπο της έννοιας (ακόμα και ο Woody Allen για παράδειγμα) είναι στιγμιότυπο της έννοιας. Η σύζευξη με την έννοια στη σχέση (2.11) αποκλείει την παρερμηνεία αυτή. Σε πολλές περιπτώσεις είναι χρήσιμο να ορίζουμε κατηγορίες ατόμων από τις σχέσεις τους με άλλα άτομα. Για παράδειγμα, μπορούμε να δηλώσουμε ότι ένα άτομο είναι στιγμιότυπο της έννοιας σκηνοθέτης αν έχει σκηνοθετήσει τουλάχιστον μία ταινία (σχετίζεται δηλαδή, κατά κάποιον τρόπο, με κάποιο άλλο άτομο του κόσμου). Τυπικά, ορίζουμε την έννοια από την ύπαρξη στιγμιοτύπου του ρόλου ως εξής:., (2.13) όπου είναι το σύμβολο του υπαρξιακού ποσοδείκτη (existential quantifier). Στην περίπτωση αυτή χρησιμοποιούμε την έννοια για να προσδιορίσουμε με ακρίβεια ότι θα λέμε σκηνοθέτη μόνο όποιον έχει σκηνοθετήσει κάποια ταινία (αποφεύγοντας έτσι πιθανά λάθη στον ορισμό στιγμιοτύπων της σχέσης ). αρόμοια χρησιμοποιείται ο καθολικός ποσοδείκτης (universal quantifier) για να δηλώσουμε ότι κάποια άτομα σχετίζονται μόνο με άτομα μιας συγκεκριμένης κατηγορίας, μέσω μιας συγκεκριμένης σχέσης. Για παράδειγμα, δηλώνουμε ότι τις ταινίες τις σκηνοθετούν σκηνοθέτες. Τυπικά, γράφουμε., (2.14) εννοώντας ότι αν τα στιγμιότυπα της έννοιας συνδέονται με κάποιο άτομο μέσω της σχέσης, το άτομο αυτό θα είναι στιγμιότυπο της έννοιας. Δηλώσεις της μορφής (2.13) περιγράφουν κατηγορίες ατόμων τα οποία σχετίζονται τουλάχιστον με ένα άτομο, μέσω μιας συγκεκριμένης σχέσης. Σε ορισμένες περιπτώσεις είναι χρήσιμο να προσδιορίσουμε με μεγαλύτερη ακρίβεια τον αριθμό των ατόμων με τα οποία

6 50 ΕΦΑ Α 2. Τ Γ ΕΣ Α Ε Γ ΑΦ ΕΣ Γ ΕΣ σχετίζονται τα άτομα αυτά. Για παράδειγμα, μπορούμε να ορίσουμε τους πολυβραβευμένους σκηνοθέτες ως τους σκηνοθέτες εκείνους που έχουν βραβευθεί περισσότερες από δύο φορές. Τυπικά, δηλώνουμε ότι 3, (2.15) όπου με συμβολίζουμε τον περιορισμό ελάχιστης πληθικότητας (least number restriction). Τονίζουμε ότι το όνομα 3 (2.16) αναφέρεται σε μια έννοια, συγκεκριμένα στην έννοια εκείνη όλα τα στιγμιότυπα της οποίας σχετίζονται μέσω του ρόλου με τουλάχιστον 3 διαφορετικά άτομα. Αντίστοιχα ορίζεται ο περιορισμός μέγιστης πληθικότητας (greatest number restriction) μέσω του συμβόλου. Στη σχέση (2.15) παρατηρούμε ότι προσδιορίζεται ο αριθμός των βραβείων ενός σκηνοθέτη, χωρίς να καθορίζεται η κατηγορία στην οποία ανήκουν τα βραβεία αυτά. Θα μπορούσαμε να προσδιορίσουμε (όπως και στη σχέση (2.13)) ότι τα βραβεία που θα μετρήσουμε είναι σημαντικά. Αυτό μπορεί να δηλωθεί ως εξής: 3., (2.17) όπου με την έννοια αναφερόμαστε στα σημαντικά βραβεία. Στην περίπτωση αυτή θα λέμε ότι έχουμε έναν περιορισμό ελάχιστης πληθικότητας με εξειδίκευση (qualified number restriction). Αντίστοιχα ορίζεται και ο περιορισμός μέγιστης πληθικότητας με εξειδίκευση. Στη δήλωση (2.14) παρατηρούμε ότι περιορίζουμε την ιδιότητα της σχέσης να λαμβάνει τιμές από την κατηγορία που ορίζει η έννοια μόνο για τα στιγμιότυπα της έννοιας, ενώ κάτι τέτοιο ισχύει για όλα τα άτομα του κόσμου που ανήκουν στο πεδίο της (για παράδειγμα τις τηλεοπτικές εκπομπές, τις θεατρικές παραστάσεις, κλπ.). Για να το ορίσουμε αυτό, θα έπρεπε να αναφερθούμε σε όλα τα άτομα του κόσμου, δηλαδή να ορίσουμε μια έννοια που έχει στιγμιότυπα όλα τα άτομα του κόσμου, σε όλες τις ορολογίες. Η έννοια αυτή συμβολίζεται με τον τελεστή (την ονομάζουμε ). Στο προηγούμενο παράδειγμα θα δηλώναμε ότι.. (2.18) ε αντίστοιχο τρόπο ορίζεται η έννοια που δεν μπορεί να έχει στιγμιότυπα σε κανέναν κόσμο, δηλαδή κανένα άτομο δεν μπορεί να ικανοποιεί την ιδιότητα ορισμού της κατηγορίας που ορίζουν. Τη συμβολίζουμε με τον τελεστή και την ονομάζουμε. Η έννοια αυτή θα μπορούσε για παράδειγμα να χρησιμοποιηθεί σε δηλώσεις του τύπου, (2.19) με την οποία δηλώνεται ότι αν ένα άτομο είναι στιγμιότυπο της έννοιας και, ταυτόχρονα, στιγμιότυπο της έννοιας, τότε είναι και στιγμιότυπο της έννοιας, γεγονός αδύνατο. Συνεπώς οι έννοιες και δεν μπορούν να έχουν κοινό στιγμιότυπο, άρα οι κατηγορίες ατόμων που ορίζουν είναι ξένες μεταξύ τους. Η δήλωση αυτή θα μπορούσε να γίνει και ως εξής:. (2.20)

7 2.2. ΤΥ ΕΣ Γ ΕΣ Ε Γ ΑΦΕΣ 51 λοκληρώνοντας τη μελέτη των κατασκευαστών εννοιών, θα δούμε μια ειδική κατηγορία ατόμων που ορίζεται από τα ίδια τα μέλη της. Έστω, για παράδειγμα, ότι θέλουμε να περιγράψουμε την προέλευση των ταινιών. ιο συγκεκριμένα, ας ξεκινήσουμε από την ήπειρο προέλευσής τους. Είναι προφανές ότι τα μοναδικά στιγμιότυπα της έννοιας είναι τα,,,, και. Για να διασφαλίσουμε τον περιορισμό αυτό, μπορούμε να δηλώσουμε ότι { } { }, (2.21) συμπεριλαμβάνοντας και τις έξι ηπείρους. Στην περίπτωση αυτή, με { } συμβολίζουμε την έννοια που έχει μόνο ένα στιγμιότυπο, το άτομο (αντίστοιχα και για τις υπόλοιπες ηπείρους). Η έννοια αυτή ονομάζεται ονοματική (nominal). Δεν είναι δύσκολο να δούμε ότι η εκφραστική δυνατότητα που δίνεται από τη χρήση των ονοματικών εννοιών μπορεί να χρησιμοποιηθεί και για τον ορισμό ισχυρισμών εννοιών. ράγματι, θα μπορούσαμε να πούμε ότι η δήλωση είναι ισοδύναμη με τον ισχυρισμό { } (2.22) ( ). (2.23) Φυσικά, οι παραπάνω δεν αποτελούν το μόνο παράδειγμα εκφράσεων με το ίδιο νόημα (οι οποίες λέγονται και ταυτόσημες). Συνήθως, αντίστοιχα παραδείγματα προκύπτουν από τη συντακτική ισοδυναμία των εκφράσεων, την οποία θα μελετήσουμε τυπικά σε επόμενο κεφάλαιο, αφού οριστεί τυπικά η σημασιολογία των περιγραφικών λογικών Περιγραφές σχέσεων Στην προηγούμενη παράγραφο είδαμε τον τρόπο με τον οποίο οι σχέσεις χρησιμοποιούνται για τον ορισμό των κατηγοριών ατόμων. ολλές φορές είναι χρήσιμο να μπορούμε να δηλώσουμε περιορισμούς που αφορούν τις σχέσεις. Για παράδειγμα, παρατηρούμε ότι όποτε ένα άτομο σχετίζεται με κάποιο άλλο μέσω της σχέσης, σχετίζεται με το ίδιο άτομο μέσω της. πορούμε να δηλώσουμε τυπικά τον συγκεκριμένο περιορισμό, μέσω της εξής έκφρασης:. (2.24) Σε αυτήν την περίπτωση λέμε ότι ο ρόλος είναι υπορόλος (subrole) του ρόλου. Επιπλέον, είναι χρήσιμο να εκφράζονται δηλώσεις στις οποίες αντιστρέφονται οι ρόλοι μιας σχέσης. Για παράδειγμα, όταν ένας σκηνοθέτης έχει σκηνοθετήσει μια ταινία, τότε η ταινία έχει σκηνοθετηθεί από τον. Η δήλωση αυτή μπορεί να γίνει τυπικά μέσω της έκφρασης. (2.25) Χρησιμοποιούμε το σύμβολο ( ) για να δηλώσουμε τη συσχέτιση των ρόλων και, και λέμε ότι οι ρόλοι αυτοί είναι ανάστροφοι (inverse). ροφανώς, σε πολλές περιπτώσεις δεν είναι προφανές από τα ονόματα των ρόλων ότι είναι ανάστροφοι (όπως για παράδειγμα οι ρόλοι και ). ιο περίπλοκες συσχετίσεις ορίζονται μεταξύ περισσότερων από δύο ρόλους. Για παράδειγμα, μπορούμε να δηλώσουμε ότι αν κάποιος σκηνοθέτης έχει σκηνοθετήσει μια ταινία

8 52 ΕΦΑ Α 2. Τ Γ ΕΣ Α Ε Γ ΑΦ ΕΣ Γ ΕΣ στην οποία έχει παίξει κάποιος ηθοποιός, τότε ο σκηνοθέτης έχει συνεργαστεί με τον συγκεκριμένο ηθοποιό. Τυπικά:, (2.26) όπου με το σύμβολο εκφράζουμε τη σύνθεση ρόλων (role composition). Τέλος, είναι σημαντικό να μπορούμε να δηλώσουμε τις ιδιότητες που έχουν πολλές φορές οι σχέσεις. Για παράδειγμα, η σχέση είναι μεταβατική: αν μια ταινία έχει μέρος της μια σκηνή, που έχει μέρος της ένα πλάνο, τότε η ταινία έχει μέρος της το πλάνο. Η δήλωση αυτή γίνεται τυπικά ως εξής: ( ), (2.27) όπου με το σύμβολο συμβολίζουμε τη μεταβατικότητα (transitivity). αρόμοια ορίζονται και άλλες ιδιότητες, όπως η συμμετρικότητα (symmetry) (μέσω της οποίας μπορούμε να δηλώσουμε ότι τα άτομα σχετίζονται με μία συγκεκριμένη σχέση σε ζεύγη χωρίς να έχει σημασία η φορά), η ανακλαστικότητα (reflexivity) (μέσω της οποίας μπορούμε να δηλώσουμε ότι κάθε άτομο σχετίζεται με τον εαυτό του με τη συγκεκριμένη σχέση) κλπ. 2.3 Σύνταξη περιγραφικών λογικών Στη συνέχεια θα ορίσουμε τυπικά τη σύνταξη των τελεστών που αναλύθηκαν στις προηγούμενες παραγράφους. Συγκεκριμένα, ξεκινώντας από τη χρήση των λογικών συμβόλων για τον ορισμό των περίπλοκων ονομάτων εννοιών και ρόλων, θα παρουσιάσουμε τον τρόπο με τον οποίο διατυπώνονται τα αξιώματα μιας βάσης γνώσης περιγραφικής λογικής. Για να ορίσουμε τυπικά τη σύνταξη των περιγραφικών λογικών, θα ξεκινήσουμε από ένα σύνολο ονομάτων που αποτελούν τα μη λογικά σύμβολα που θα χρησιμοποιηθούν στις δηλώσεις που πρόκειται να διατυπωθούν, και στη συνέχεια θα καθορίσουμε το είδος και τη χρήση των λογικών συμβόλων. Τα μη λογικά σύμβολα που χρησιμοποιούνται στη σύνταξη μιας γνώσης προσδιορίζουν τις απλές αναφορές στα στοιχεία του κόσμου, δηλαδή στα άτομα, τις έννοιες (κατηγορίες ατόμων) και τους ρόλους (σχέσεις μεταξύ των ατόμων). Έστω,, ένα σύνολο ονομάτων για τα άτομα, τις έννοιες και τους ρόλους του κόσμου, αντίστοιχα. ατά σύμβαση και για λόγους κατανόησης, θα χρησιμοποιούμε συμβολοσειρές που ξεκινούν με πεζό λατινικό γράμμα για τα ονόματα των ατόμων και των ρόλων, και συμβολοσειρές που ξεκινούν με κεφαλαίο γράμμα για τα ονόματα των εννοιών. Ορισμός Θα ονομάζουμε ισχυρισμό ισότητας ατόμων (individual equality assertion) κάθε δήλωση της μορφής a b, (2.28) όπου a, b άτομα του κόσμου. αρόμοια, θα ονομάζουμε ισχυρισμό ανισότητας ατόμων (individual inequality assertion) κάθε δήλωση της μορφής a b, (2.29) όπου a, b άτομα του κόσμου. Θα ονομάζουμε ισχυρισμό έννοιας (concept assertion) κάθε δήλωση της μορφής A(a), (2.30)

9 2.3. ΣΥ ΤΑ Η Ε Γ ΑΦ Ω Γ Ω 53 όπου A ένα όνομα έννοιας και a ένα όνομα ατόμου του κόσμου. Στην περίπτωση αυτή θα λέμε ότι το a είναι στιγμιότυπο της έννοιας A. Αντίστοιχα, θα ονομάζουμε ισχυρισμό ρόλου (role assertion) κάθε δήλωση της μορφής r(a, b), (2.31) όπου r ένα όνομα ρόλου και a, b δύο ονόματα ατόμων του κόσμου. Στην περίπτωση αυτή θα λέμε ότι το ζεύγος (a, b) είναι στιγμιότυπο του ρόλου r. Ένα σύνολο από ισχυρισμούς ισότητας ή ανισότητας στιγμιοτύπων, ισχυρισμούς εννοιών και ισχυρισμούς ρόλων ονομάζεται σώμα ισχυρισμών (assertion box, ABox). Το σύνολο των ονομάτων που χρησιμοποιούνται στους ισχυρισμούς ενός ABox A ονομάζεται υπογραφή του ABox και συμβολίζεται με (A). Παράδειγμα Το σύνολο ισχυρισμών A = {α 1, α 2, α 3, α 4, α 5, α 6, α 7 }, όπου α 1. ( ), α 2. (, ), α 3. (, ), α 4. (, ), α 5. ( ), α 6., α 7., αποτελεί ένα σώμα ισχυρισμών με υπογραφή (2.32) (A) = {,,,,,,,,,, }. (2.33) Το αξίωμα α 6 αποτελεί ισχυρισμό ισότητας ατόμων, το αξίωμα α 7 ισχυρισμό ανισότητας ατόμων, τα αξιώματα α 1 και α 5 αποτελούν ισχυρισμούς εννοιών, ενώ τα α 2, α 3 και α 4 αποτελούν ισχυρισμούς ρόλων. Στη συνέχεια θα δούμε με ποιον τρόπο μπορούμε να αυξήσουμε το λεξιλόγιο της γλώσσας, ορίζοντας ένα σύνολο από λογικά σύμβολα για τον καθορισμό ονοματικών εκφράσεων που προσδιορίζουν ρόλους. Ορισμός άθε όνομα ρόλου είναι μια ονοματική έκφραση (ή απλά έκφραση) ρόλου (role expression). Έστω r, s ονοματικές εκφράσεις ρόλων. ι εκφράσεις r, (2.34) r s (2.35) που ορίζονται αναδρομικά με τη βοήθεια των λογικών τελεστών και είναι ονοματικές εκφράσεις ρόλου. Επιπλέον, χρησιμοποιούμε το σύμβολο για να ονομάσουμε τον καθολικό ρόλο (universal role), ο οποίος είναι ρόλος. Θα καλούμε ατομική ονοματική έκφραση ρόλου (atomic role expression) κάθε όνομα του, ενώ κάθε άλλη ονοματική έκφραση ρόλου θα λέγεται σύνθετη (complex). Θα καλούμε κατασκευαστή ανάστροφου ρόλου (inverse role constructor) τον λογικό τελεστή που ορίζεται από την (2.34), ενώ, αντίστοιχα, θα καλούμε κατασκευαστή σύνθεσης ρόλων (role composition constructor) τον λογικό τελεστή που ορίζεται από την (2.35).

10 54 ΕΦΑ Α 2. Τ Γ ΕΣ Α Ε Γ ΑΦ ΕΣ Γ ΕΣ αταχρηστικά, πολλές φορές λέμε ατομικός ρόλος ή σύνθετος ρόλος για να αναφερθούμε στις ατομικές ή τις σύνθετες εκφράσεις ρόλου, αντίστοιχα, συγχέοντας, για λόγους απλότητας, τους ρόλους με τα ονόματά τους. Σε κάθε περίπτωση, δεν θα πρέπει να ξεχνάμε ότι πολλά διαφορετικά ονόματα, όπως και πολλές διαφορετικές ονοματικές εκφράσεις ρόλων, μπορούν, πιθανώς, να προσδιορίζουν τον ίδιο ρόλο. Ορισμός άθε όνομα έννοιας είναι μια ονοματική έκφραση (ή απλά έκφραση) έννοιας (concept expression). Έστω C, D ονοματικές εκφράσεις εννοιών, r ονοματική έκφραση ρόλου, a όνομα ατόμου και n φυσικός αριθμός. νοματικές εκφράσεις έννοιας είναι και οι εκφράσεις που ορίζονται, αναδρομικά, ως εξής: C, (2.36) C D, (2.37) C D, (2.38) r.c, (2.39) r.c, (2.40) nr.c, (2.41) nr.c, (2.42) {a}, (2.43) με τη βοήθεια των λογικών τελεστών,,,,, n, n, {}. Επιπλέον, ορίζονται ως ονοματικές εκφράσεις εννοιών και οι (ή αλλιώς ) και (ή αλλιώς ), καθώς και η, η οποία όμως μπορεί να χρησιμοποιείται μόνο ως περιορισμός ενός υπαρξιακού ποσοδείκτη. Θα καλούμε ατομική ονοματική έκφραση έννοιας (atomic concept expression) κάθε όνομα του, ενώ κάθε άλλη ονοματική έκφραση έννοιας θα λέγεται σύνθετη (complex). Θα καλούμε κατασκευαστές εννοιών (concept constructors) τα λογικά σύμβολα που ορίζονται από τις (2.36) (2.43), με ονόματα: άρνηση, τομή (conjunction), ένωση (disjunction), υπάρχει (existential), για κάθε (universal), αριθμητικός περιορισμός το-λιγότερο (at-least number restriction), αριθμητικός περιορισμός το-πολύ (at-most number restriction), ονοματική έννοια (αντίστοιχα). Όπως και στην περίπτωση των ρόλων, έτσι και στην περίπτωση των εννοιών, πολλές φορές χρησιμοποιούμε καταχρηστικά τον όρο ατομική έννοια ή σύνθετη έννοια για να αναφερθούμε στις ατομικές ή τις σύνθετες εκφράσεις εννοιών. Ορισμός Έστω, και ένα σύνολο ονομάτων ατόμων, εννοιών και ρόλων αντίστοιχα, και έστω C, D (πιθανώς σύνθετες) έννοιες που εμπλέκουν τα ονόματα των συνόλων αυτών. Θα ονομάζουμε αξίωμα υπαγωγής εννοιών (concept subsumption axiom) κάθε δήλωση της μορφής C D. (2.44) αρόμοια, θα ονομάζουμε αξίωμα ισοδυναμίας εννοιών (concept equivalence axiom) κάθε δήλωση της μορφής C D. (2.45)

11 2.3. ΣΥ ΤΑ Η Ε Γ ΑΦ Ω Γ Ω 55 Αντίστοιχα, θα ονομάζουμε αξίωμα υπαγωγής ρόλων (role subsumption axiom) κάθε δήλωση της μορφής r s. (2.46) Τέλος, θα ονομάζουμε αξίωμα ισοδυναμίας ρόλων (role equivalence axiom) κάθε δήλωση της μορφής r s. (2.47) Θα καλούμε σώμα ορολογίας (terminological box, TBox) ή οντολογία (ontology) ένα σύνολο από αξιώματα υπαγωγής και ισοδυναμίας εννοιών και ρόλων. Το σύνολο των ονομάτων που χρησιμοποιούνται στα αξιώματα ενός TBox T ονομάζεται υπογραφή του T και συμβολίζεται με (T ). Παράδειγμα Το σύνολο αξιωμάτων T = {τ 1, τ 2,...,τ 14 }, όπου τ 1., τ 2., τ 3., τ 4., τ 5., τ 6., τ 7.., τ 8.., τ 9. 3., τ 10.., τ 11., τ 12., τ 13., τ 14. (2.48) αποτελεί ένα σώμα ορολογίας με υπογραφή (T )= {,,,,,,,,,,,,,,,, }. (2.49) Τα αξιώματα τ 1, τ 3, τ 8 και τ 10 αποτελούν αξιώματα υπαγωγής εννοιών, τα αξιώματα τ 2, τ 4 τ 7 και τ 9 αποτελούν αξιώματα ισοδυναμίας εννοιών, τα τ 11, τ 13, τ 14 αποτελούν αξιώματα υπαγωγής ρόλων, ενώ το τ 12 αποτελεί αξίωμα ισοδυναμίας ρόλων. Ορισμός Έστω, και ένα σύνολο ονομάτων ατόμων, εννοιών και ρόλων, αντίστοιχα. Θα ονομάζουμε βάση γνώσης ή απλά γνώση K μια δυάδα K = T, A, όπου T ένα σώμα ορολογίας και A ένα σώμα ισχυρισμών, με (T ), (A). Θα ονομάζουμε υπογραφή, (K), της K το σύνολο (T ) (A). Είναι προφανές από τα παραπάνω ότι κατά τον ορισμό μιας βάσης γνώσης μπορούν να χρησιμοποιηθούν διάφοροι κατασκευαστές σύνθετων εννοιών και ρόλων στα αξιώματα του σώματος ορολογίας. άθε κατασκευαστής προσθέτει και μια εκφραστική δυνατότητα στη γλώσσα, αυξάνοντας την περιγραφική ευχέρεια του μηχανικού γνώσης. Από την άλλη

12 56 ΕΦΑ Α 2. Τ Γ ΕΣ Α Ε Γ ΑΦ ΕΣ Γ ΕΣ πλευρά, όμως, αυξάνοντας την εκφραστικότητα (όπως θα δούμε και στη συνέχεια) αυξάνουμε την πολυπλοκότητα της γλώσσας, δυσκολεύοντας το πρόβλημα της αυτόματης συλλογιστικής. Σημαντικό πλεονέκτημα των περιγραφικών λογικών αποτελεί η στοχευμένη επιλογή των απαραίτητων κατασκευαστών που χρησιμοποιούνται στα αξιώματα. Ενώ στη λογική πρώτης τάξης τα λογικά σύμβολα είναι λιγότερα από ό,τι στις περιγραφικές λογικές, ο συνδυασμός τους με τη δυνατότητα ορισμού σύνθετων ονοματικών εκφράσεων αναφοράς στα άτομα του κόσμου, μέσω των όρων (με χρήση των συναρτήσεων), αυξάνει πολύ τις εκφραστικές δυνατότητες. Από την άλλη πλευρά, δεν μπορούν να περιοριστούν εύκολα οι εκφραστικές δυνατότητες της γλώσσας, ώστε να ελεγχθεί η πολυπλοκότητα του προβλήματος της συλλογιστικής. Αντίθετα, στις περιγραφικές λογικές μπορούν να χρησιμοποιηθούν κατά βούληση όσοι κατασκευαστές κρίνονται απαραίτητοι, έτσι ώστε να ελέγχεται η πολυπλοκότητα του φορμαλισμού. Στο πλαίσιο αυτό έχουν μελετηθεί οικογένειες περιγραφικών λογικών που χρησιμοποιούν υποσύνολα κατασκευαστών εννοιών και ρόλων, διασφαλίζοντας τη δυνατότητα ανάπτυξης συστημάτων αυτόματης συλλογιστικής με επιθυμητά υπολογιστικά χαρακτηριστικά. Για τον σκοπό αυτό και για την απλοποίηση της αναφοράς, οι κατασκευαστές συμβολίζονται με απλούστερο τρόπο, ονοματίζοντας αντίστοιχα τις περιγραφικές λογικές στις οποίες χρησιμοποιούνται. Συγκεκριμένα, από τους κατασκευαστές εννοιών, η ένωση συμβολίζεται με U, ηάρνηση με C (από το complement), το υπάρχει με E (από το exists), το για κάθε με F (από το for-all), οι περιορισμοί πληθικότητας με N (από το number restriction), ενώ αν περιορίζονται και τα συσχετιζόμενα άτομα συμβολίζονται με Q (από το qualified number restriction), και οι ονοματικές έννοιες με O (από το one-of). Για τη σύζευξη δεν υπάρχει κάποιο ιδιαίτερο όνομα, γιατί συνήθως δεν αυξάνει την πολυπλοκότητα, οπότε θεωρούμε ότι χρησιμοποιείται σε όλες τις περιγραφικές λογικές. Αντίστοιχα, για τους κατασκευαστές ρόλων, ο κατασκευαστής ανάστροφου ρόλου συμβολίζεται με I και ο κατασκευαστής σύνθεσης ρόλων με R, ενώ αν εκτός από αξιώματα υπαγωγής εννοιών μπορούμε να ορίσουμε και αξιώματα υπαγωγής ρόλων (τα οποία καλούνται επίσης και αξιώματα ιεραρχίας ρόλων) προσθέτουμε στο όνομα της γλώσσας το σύμβολο H. ε βάση τα παραπάνω έχουν οριστεί αρκετές περιγραφικές λογικές. ια ευρέως διαδεδομένη περιγραφική λογική, που έχει μελετηθεί αρκετά, είναι η ALC. Στην ALC μπορούν να χρησιμοποιηθούν οι κατασκευαστές εννοιών τομή, ένωση, υπάρχει, για κάθε και άρνηση, όπως ορίζονται από τις (2.37), (2.38), (2.39), (2.40) και (2.36), αντίστοιχα, ενώ δεν χρησιμοποιούνται κατασκευαστές ρόλων. Το όνομά της προκύπτει από την περιγραφική λογική AL (attributive language) στην οποία χρησιμοποιούνται οι ίδιοι κατασκευαστές, με κάποιους περιορισμούς. Συγκεκριμένα, η άρνηση μπορεί να χρησιμοποιηθεί μόνο μπροστά από ατομικές έννοιες, ενώ το υπάρχει μπορεί να ορίσει την ύπαρξη σχέσης χωρίς, όμως, να περιορίζει το σχετιζόμενο άτομο (μπορούμε να χρησιμοποιήσουμε το r.c μόνο αν C, δηλαδή μπορούμε να γράψουμε μόνο r. ). ια άμεση επέκταση της ALC είναι η περιγραφική λογική S, η οποία δίνει επιπλέον τη δυνατότητα ορισμού μεταβατικών ρόλων μέσω της περιορισμένης χρήσης της σύνθεσης (όπως για παράδειγμα στο αξίωμα τ 14 του αραδείγματος 2.3.6). Συμβολίζεται με S σε μια προσπάθεια συντομογραφίας (για να χρησιμοποιούνται μικρότερα ονόματα). ε παρόμοιο τρόπο έχουν οριστεί και μελετηθεί πολλές περιγραφικές λογικές, όπως οι SI, SHI, SHIN, SHOIN, SHOIQ, SROIQ κλπ., τα ονόματα των οποίων προκύπτουν από τις συντομογραφίες των κατασκευαστών. Για παράδειγμα, στην SROIQ χρησιμοποιούνται κατασκευαστές εννοιών ένωσης, τομής, συμπληρώματος, υπάρχει, για κάθε, περιορισμοί πληθικότητας με εξειδίκευση (Q), ονοματικές έννοιες (O), ανάστροφοι ρόλοι (I) και σύνθεση ρόλων (R). Η SROIQ αποτελεί, μάλιστα, τη βάση για τον ορισμό του προτύπου

13 2.4. ΣΗ ΑΣ Γ Α Ε Γ ΑΦ Ω Γ Ω 57 αναπαράστασης οντολογιών στον αγκόσμιο στό, της OWL (Web Ontology Language). Σε επόμενη ενότητα, κατά τη μελέτη των συστημάτων αυτόματης συλλογιστικής, θα αναλύσουμε τόσο τις εκφραστικές περιγραφικές λογικές, όσο και βατά υποσύνολά τους, που διασφαλίζουν την ανάπτυξη αποδοτικών συστημάτων. 2.4 Σημασιολογία περιγραφικών λογικών Η πιο σημαντική πρακτική χρήση των οντολογιών βασίζεται στην αυτοματοποίηση της διαδικασίας παραγωγής συμπερασμάτων. Συγκεκριμένα, η περιγραφή των ιδιοτήτων των αντικειμένων του κόσμου και η ταξινόμησή τους σε κατηγορίες (που αναπαρίσταται στο σώμα ισχυρισμών), σε συνδυασμό με την περιγραφή των σχέσεων που έχουν οι κατηγορίες αυτές (έννοιες), που δίνεται στο σώμα ορολογίας, δίνει τη δυνατότητα για επιπλέον ταξινομήσεις των αντικειμένων, αλλά και την εξαγωγή επιπλέον συσχετίσεων μεταξύ των εννοιών. Για παράδειγμα, γνωρίζοντας ότι ένα αντικείμενο a είναι τύπου και, επιπλέον, γνωρίζοντας ότι όσα αντικείμενα είναι τύπου είναι και τύπου, μπορούμε να βγάλουμε το συμπέρασμα ότι το a είναι και τύπου. αρότι το παράδειγμα αυτό είναι απλό, θα δούμε στη συνέχεια ότι πολλές φορές, ανάλογα με την πολυπλοκότητα της γνώσης που διατυπώνεται, εξάγονται πολύ χρήσιμα συμπεράσματα, μέσω διαδικασιών που μπορούν να αυτοματοποιηθούν και να υποστηριχθούν από αλγορίθμους υπολογισμού. Για να μπορέσουν οι παραπάνω ιδέες να υλοποιηθούν στην πράξη, είναι απαραίτητη η τυπική ερμηνεία των εκφράσεων μιας βάσης γνώσης. Ορισμός Έστω K = A, T μια βάση γνώσης περιγραφικής λογικής με υπογραφή (K), όπου,, σύνολα ονομάτων ατόμων, εννοιών και ρόλων, αντίστοιχα. Ερμηνεία της γνώσης είναι ένα ζεύγος J = I, I, όπου I ένα μη κενό (πιθανώς άπειρο) σύνολο αντικειμένων που ονομάζεται πεδίο και I μια απεικόνιση που ονομάζεται αντιστοίχιση ερμηνείας και ερμηνεύει τα μη λογικά σύμβολα της K με δομές στοιχείων του I ως εξής: Τα άτομα ερμηνεύονται ως αντικείμενα του I, δηλαδή αν a ένα άτομο της γνώσης K, τότε a I I. (2.50) ι ατομικές έννοιες ερμηνεύονται ως υποσύνολα του I, δηλαδή αν A μια ατομική έννοια της γνώσης K, τότε A I I. (2.51) ι ατομικοί ρόλοι ερμηνεύονται ως υποσύνολα του καρτεσιανού I I, δηλαδή αν r ένας ατομικός ρόλος της γνώσης K, τότε r I I I. (2.52) ι σύνθετοι ρόλοι ερμηνεύονται ως υποσύνολα του καρτεσιανού I I (περιέχουν στοιχεία (x, y) I I ) αναδρομικά, με βάση τη δομή τους, ως εξής: Για κάθε x, y I ισχύει (x, y) I. (x, y) (r ) I αν και μόνο αν (y, x) r I. (x, y) (r s) I αν και μόνο αν υπάρχει z I τέτοιο ώστε (x, z) r I και (z, y) s I.

14 58 ΕΦΑ Α 2. Τ Γ ΕΣ Α Ε Γ ΑΦ ΕΣ Γ ΕΣ ι σύνθετες έννοιες ερμηνεύονται ως υποσύνολα του I (περιέχουν στοιχεία x I ) αναδρομικά, με βάση τη δομή τους, ως εξής: Για κάθε x I ισχύει x I. Δεν υπάρχει x I τέτοιο ώστε x I. x ( C) I αν και μόνο αν x / C I. x (C D) I αν και μόνο αν x C I και x D I. x (C D) I αν και μόνο αν x C I ή x D I. x ( r.c) I αν και μόνο αν υπάρχει y I, τέτοιο ώστε (x, y) r I και y C I. x ( r.c) I αν και μόνο αν για κάθε y I με (x, y) r I, ισχύει ότι y C I. x ( nr.c) I αν και μόνο αν υπάρχουν τουλάχιστον n στοιχεία y 1,...,y n του I, διαφορετικά μεταξύ τους, τέτοια ώστε (x, y i ) r I και y i C I, i N n. x ( nr.c) I αν και μόνο αν υπάρχουν το πολύ n στοιχεία y 1,...,y n του I, διαφορετικά μεταξύ τους, τέτοια ώστε (x, y i ) r I και y i C I, i N n. x ( r. ) I αν και μόνο αν (x, x) r I. x {a} I αν και μόνο αν x = a I. Θα λέμε ότι η ερμηνεία J της γνώσης K, ικανοποιεί: έναν ισχυρισμό στιγμιοτύπου έννοιας C(a) αν και μόνο αν a I C I, έναν ισχυρισμό στιγμιοτύπου ρόλου r(a, b) του A αν και μόνο αν (a I,b I ) r I, έναν ισχυρισμό ισότητας ατόμων a b του A αν και μόνο αν a I = b I, έναν ισχυρισμό ανισότητας ατόμων a b του A αν και μόνο αν a I b I. Θα λέμε ότι η ερμηνεία J ικανοποιεί το σώμα ισχυρισμών A αν και μόνο αν ικανοποιεί όλους τους ισχυρισμούς του. Στην περίπτωση αυτή θα λέμε ότι η J είναι μοντέλο του A. Αντίστοιχα, θα λέμε ότι η ερμηνεία J της γνώσης K ικανοποιεί (satisfies): ένα αξίωμα υπαγωγής εννοιών C D αν και μόνο αν C I D I, ένα αξίωμα ισοδυναμίας εννοιών C D αν και μόνο αν C I = D I, ένα αξίωμα υπαγωγής ρόλων r s αν και μόνο αν r I s I, ένα αξίωμα ισοδυναμίας ρόλων r s αν και μόνο αν r I = s I. Θα λέμε ότι η ερμηνεία J ικανοποιεί το σώμα ορολογίας T αν και μόνο αν ικανοποιεί όλα τα αξιώματά του. Στην περίπτωση αυτή θα λέμε ότι η J είναι μοντέλο του T. Επιπλέον, αν C είναι μια έννοια του T, θα λέμε ότι η C ικανοποιείται στην J αν και μόνο αν η ερμηνεία της C I είναι μη κενή. Τέλος, θα λέμε ότι η ερμηνεία J ικανοποιεί τη γνώση K, αν και μόνο αν είναι μοντέλο τόσο του σώματος ισχυρισμών όσο και του σώματος ορολογίας της. Στην περίπτωση αυτή θα λέμε ότι είναι μοντέλο (model) της γνώσης K. Αν υπάρχει κάποιο μοντέλο για τη γνώση, θα λέμε ότι είναι ικανοποιήσιμη (satisfiable).

15 2.4. ΣΗ ΑΣ Γ Α Ε Γ ΑΦ Ω Γ Ω 59 ίνακας 2.1: Σημασιολογία κατασκευαστών σύνθετων εννοιών και ρόλων. ατασκευαστής Σύνταξη Σημασιολογία I Άρνηση C I \ C I Τομή C D C I D I Ένωση C D C I D I Υπάρχει r.c {x y τέτοιο ώστε r(x, y)} Για κάθε r.c {x y με r(x, y) ισχύει C(y)} Τουλάχιστον n n.c {x y 1,...,y n με y i y j,r(x, y i ),i,j N n } Το πολύ n n.c {x y 1,...,y n+1 με y i y j,r(x, y i ),i,j N n+1 } Ανακλαστικότητα r. {x ισχύει r(x, x)} νοματική έννοια {a} a I αθολικός ρόλος I I Ανάστροφος ρόλος r {(x, y) ισχύει r(y, x)} Σύνθεση ρόλων r s {(x, y) z τέτοιο ώστε r(x, z) και s(z,y)} Όπως φαίνεται από τον ρισμό 2.4.1, η ερμηνεία είναι ένα πεπερασμένο σύνολο από (πιθανώς άπειρα) σύνολα. Το πρώτο σύνολο (που λέγεται και πεδίο της ερμηνείας) είναι το σύνολο των αντικειμένων του κόσμου, είτε αυτά έχουν ονόματα είτε όχι. Επιπλέον, για καθένα από τα ονοματισμένα άτομα του κόσμου ορίζεται η αντιστοίχισή του με τα αντικείμενα του πεδίου της ερμηνείας. Επίσης, για καθεμία από τις ατομικές έννοιες δίνεται το σύνολο των στοιχείων που αντιστοιχούν στα στιγμιότυπά της. Τέλος, για καθέναν από τους ατομικούς ρόλους, δίνεται το σύνολο των δυάδων στοιχείων του πεδίου που αντιστοιχούν σε στιγμιότυπα του ρόλου. αρατηρούμε, επομένως, ότι στην αναπαράσταση των ερμηνειών, το επίκεντρο είναι τα στοιχεία της σύνταξης της γνώσης (άτομα, έννοιες, ρόλοι), για τα οποία δίνονται τα στοιχεία του πεδίου με τα οποία ερμηνεύονται. ια αναπαράσταση των ερμηνειών, ισοδύναμη με την αναπαράσταση σε μορφή συνόλων, είναι η μορφή γράφου. Συγκεκριμένα, οι κόμβοι του γράφου αναπαριστούν τα στοιχεία του πεδίου I, δηλαδή τα αντικείμενα της ερμηνείας, με τις αντίστοιχες ετικέτες τους να αναπαριστούν όλες τις ιδιότητες των αντικειμένων, δηλαδή τόσο τα ονόματα των ατόμων που αντιστοιχούν στα αντικείμενα αυτά, όσο και τις έννοιες των οποίων τα στιγμιότυπα απεικονίζουν. ι ακμές των γράφων αναπαριστούν τις σχέσεις μεταξύ των ατόμων. Συγκεκριμένα, η ύπαρξη μίας ακμής σημαίνει ότι τα άτομα που ερμηνεύονται ως τα αντικείμενα που αντιστοιχούν στους κόμβους, σχετίζονται με έναν ή περισσότερους ρόλους. ι ετικέτες των ακμών αναπαριστούν τους ρόλους αυτούς. Δηλαδή, αν a, b είναι δύο άτομα για τα οποία ισχύει C(a) και r(a, b), τότε ο γράφος {r} {a, C} x y {b} είναι μια αναπαράσταση γράφου της εξής ερμηνείας: I = {x, y}, a I = {x}, b I = {y}, C I = {x}, r I = {(x, y)}. (2.53)

16 60 ΕΦΑ Α 2. Τ Γ ΕΣ Α Ε Γ ΑΦ ΕΣ Γ ΕΣ ίνακας 2.2: Σημασιολογία ισχυρισμών και αξιωμάτων. Αξίωμα Σύνταξη Συνθήκη μοντέλου Στιγμιότυπο έννοιας C(a) a I C I Στιγμιότυπο ρόλου r(a, b) (a I,b I ) r I σότητα ατόμων a b a I = b I Ανισότητα ατόμων a b a I b I Υπαγωγή εννοιών C D C I D I σοδυναμία εννοιών C D C I = D I Υπαγωγή ρόλων r s r I s I σοδυναμία ρόλων r s r I = s I Στη συγκεκριμένη περίπτωση, τα δύο αντικείμενα της ερμηνείας είναι τα x και y, τα οποία αντιστοιχούν στους κόμβους του γράφου. Η ετικέτα του κόμβου x περιέχει δύο στοιχεία, το a και το C, επειδή ισχύει ότι x a I και x C I. Αντίστοιχα, ο κόμβος y έχει στην ετικέτα του το b, διότι y b I. Επιπλέον, υπάρχει η ακμή (x, y), διότι (x, y) r I και για το λόγο αυτό το r ανήκει στην ετικέτα της ακμής αυτής. Η αναπαράσταση σε μορφή γράφου δίνει, σε πολλές περιπτώσεις, μια πιο εύληπτη απεικόνιση των μοντέλων από αυτή της μορφής συνόλου (ειδικά σε περιπτώσεις που τα άτομα είναι λίγα και η ορολογία μεγάλη). ροφανώς, οι δύο παραπάνω μορφές αναπαράστασης των ερμηνειών είναι ισοδύναμες και δεν είναι δύσκολη η μετατροπή από τη μια μορφή στην άλλη. Παράδειγμα Έστω A το ABox που ορίζεται στο αράδειγμα Δεν είναι δύσκολο να δούμε ότι η ερμηνεία I = {x, y, z, w}, I = {x}, I = {y}, I = {y}, I = {z}, I = {w}, I = {v}, I = {x}, I = {z}, I = {(x, y)}, I = {(x, z)}, I = {(x, w)} (2.54) είναι μοντέλο του A, καθώς με βάση τη σημασιολογία του ρισμού ισχύουν σε αυτήν όλοι οι ισχυρισμοί α 1 α 7. ράγματι, το α 1 ισχύει, αφού I = x και x I. Tο α 2 ισχύει, επειδή I = x, I = {y} και (x, y) I. Tο α 3 ισχύει διότι I = x, I = {w} και (x, w) I.Τοα 4 ισχύει, αφού I = {x}, I = {z} και (x, z) I.Τοα 5 ισχύει διότι I = z, z I = {x}. Τοα 6 ισχύει διότι I = {y}, I = {y} και y = y. Τέλος, το α 7 ισχύει, επειδή I = {y}, I = {v} και y v. Το μοντέλο (2.54) σε μορφή γράφου είναι το εξής:

17 2.4. ΣΗ ΑΣ Γ Α Ε Γ ΑΦ Ω Γ Ω 61 L v v L x x L (x,y) L (x,w) L (x,z) L y y w L w z L z L x = L y = L z = L w = L v = L (x,y) = L (x,z) = L (x,w) = {, } {, } {, } { } { } { } { } { } O καθορισμός του νοήματος των βάσεων γνώσης, όπως θεμελιώνεται από τον ρισμό 2.4.1, παρουσιάζει πολλά ενδιαφέροντα σημεία. Ένα σημαντικό σημείο είναι ότι, σε αντίθεση με τις συνήθεις ερμηνείες των βάσεων δεδομένων, δεν είναι απαραίτητο όλα τα στοιχεία του πεδίου της ερμηνείας να αντιστοιχούν σε ονοματισμένα άτομα. Αυτό έχει σαν αποτέλεσμα στιγμιότυπα των εννοιών να μην είναι μόνο τα άτομα που αναφέρονται ρητά στη βάση γνώσης, με κάποιο όνομα της υπογραφής της βάσης γνώσης, συγκεκριμένα του, αλλά και άτομα των οποίων η ύπαρξη είτε υπονοείται από κάποιο αξίωμα είτε, γενικά, δεν αποκλείεται από τα αξιώματα της βάσης γνώσης. Το χαρακτηριστικό αυτό της σημασιολογίας των περιγραφικών λογικών είναι βασικό στοιχείο της σημασιολογίας ανοικτού κόσμου και μπορεί να οδηγήσει σε πολύ ενδιαφέροντα συμπεράσματα για την υπονοούμενη γνώση, όπως φαίνεται και στο αράδειγμα Παράδειγμα Έστω η γνώση K = T, A, με T = { 3 }, (2.55) A = { (, ), (, )}. Το ερώτημα στην περίπτωση αυτή είναι αν ισχύει ότι (2.56) ( ). (2.57) Σε μια πρώτη ανάγνωση, φαίνεται ότι ο ισχυρισμός (2.57) δεν είναι αληθής, καθώς για να ήταν θα έπρεπε το να έχει τρία βραβεία, όπως υποδεικνύει το αξίωμα (2.55). Από το ABox A όμως, φαίνεται ότι έχει μόνο δύο (βλ. Εξίσωση (2.56)). Από την άλλη πλευρά, όμως, το γεγονός ότι γνωρίζουμε ότι η ταινία έχει βραβευθεί δύο φορές, δεν σημαίνει ότι δεν θα μπορούσε να έχει βραβευθεί και περισσότερες. Συνεπώς, ενώ (προφανώς) ο ισχυρισμός (2.57) δεν είναι λογικό συμπέρασμα της γνώσης K, δεν μπορούμε να πούμε ότι η γνώση K { ( )} είναι ασυνεπής. ράγματι, η ερμηνεία

18 62 ΕΦΑ Α 2. Τ Γ ΕΣ Α Ε Γ ΑΦ ΕΣ Γ ΕΣ I = {x, y, z}, I = {x}, I = {y}, I = {z}, I = {(x, y), (x, z)}, I = {}, (2.58) η οποία σε μορφή γράφου απεικονίζεται ως εξής: L x x L (x,y) L (x,z) y L y z L z L x = L y = L z = L (x,y) = L (x,z) = { } { } { } { } { }, αποτελεί μοντέλο της γνώσης K, όπως άλλωστε και η ερμηνεία I = {x, y, z, w}, I = {x}, I = {y}, I = {z}, I = {(x, y), (x, z), (x, w)}, I = {x}, (2.59) η οποία σε μορφή γράφου απεικονίζεται ως εξής: L x x L (x,y) L (x,w) L (x,z) L y y w L w z L z

19 2.4. ΣΗ ΑΣ Γ Α Ε Γ ΑΦ Ω Γ Ω 63 L x = {, } L y = { } L z = { } L w = {} L (x,y) = { } L (x,z) = { } L (x,w) = { } Η διαφορά των ερμηνειών (2.58) και (2.59) είναι ότι στην (2.59) υπάρχει ένα ακόμη αντικείμενο, το w, το οποίο δεν είναι ονοματισμένο και το οποίο συνδέεται με το x (το αντικείμενο που αποτελεί ερμηνεία του ), μέσω της. Επομένως, στην ερμηνεία αυτή ικανοποιείται ο ισχυρισμός ( ). Δηλαδή βλέπουμε ότι στο μοντέλο (2.58) της γνώσης K ο ισχυρισμός ( ) δεν ισχύει, ενώ στο μοντέλο (2.59) ισχύει. Ένα άλλο ενδιαφέρον σημείο της σημασιολογίας των περιγραφικών λογικών είναι η εγκυρότητα ερμηνειών που αντιστοιχίζουν διαφορετικά ονοματισμένα στιγμιότυπα στο ίδιο αντικείμενο. Το γεγονός αυτό είναι δυνατό να επηρεάσει την ικανοποιησιμότητα κάποιων εννοιών, μέσω του ορισμού μοντέλων που δεν θα μπορούσαν να υπάρχουν σε άλλη περίπτωση, όπως φαίνεται στο αράδειγμα Παράδειγμα Έστω η γνώση K = T, A, με T = { 1 }, (2.60) A = { (, ), (, ) ( ). (2.61) Το ερώτημα σε αυτήν την περίπτωση είναι αν είναι συνεπής η γνώση K. Σε μια πρώτη ανάγνωση, το αξίωμα (2.60) φαίνεται να μην ισχύει, διότι από το ABox A της Εξίσωσης (2.61) φαίνεται ότι το, ενώ είναι, το έχουν κερδίσει δύο άτομα. Δεν είναι δύσκολο, όμως να δούμε ότι η ερμηνεία που σε μορφή γράφου έχει ως εξής: I = {x, y}, I = {x}, I = {x}, I = {y}, I = {(x, y)}, I = {y}, (2.62) L (x,y) L a x y L b L a = L b = L (x,y) = {, } {, } { }

20 64 ΕΦΑ Α 2. Τ Γ ΕΣ Α Ε Γ ΑΦ ΕΣ Γ ΕΣ αποτελεί μοντέλο της γνώσης K. ράγματι, με βάση τη θεωρία δεν αποκλείεται να υπάρχουν δύο διαφορετικές αναφορές σε κάποιο στιγμιότυπο μιας έννοιας, δηλαδή κάποιο αντικείμενο να έχει περισσότερα από ένα ονόματα. Στη συγκεκριμένη περίπτωση, στην ερμηνεία (2.62), τόσο το όσο και το ερμηνεύονται ως το ίδιο αντικείμενο, το x. Παράδειγμα Συνεχίζοντας το αράδειγμα 2.4.2, εκτός από τους ισχυρισμούς του αραδείγματος 2.3.2, θεωρούμε, επιπλέον, την ορολογία που ορίζεται με τα αξιώματα τ 1 τ 14 του αραδείγματος Στην ερμηνεία (2.54), αν θεωρήσουμε ότι οι ερμηνείες όλων των στοιχείων της υπογραφής της γνώσης που δεν ερμηνεύονται άμεσα στην (2.54) είναι κενά σύνολα, παρατηρούμε ότι: Το τ 1 ικανοποιείται διότι I =. Το τ 2 ικανοποιείται διότι I = και I =, συνεπώς I = I. Το τ 3 ικανοποιείται διότι I = και I =, άρα I I =. Το τ 4 ικανοποιείται διότι I =, I = και I =, επομένως I = I I. Το τ 5 ικανοποιείται διότι I =, I = και I =, επομένως I = I I. Το τ 6 ικανοποιείται διότι I =, I = και I =, επομένως I = I ( I \ I ). (Στο σημείο αυτό κατανοούμε την αναγκαιότητα της τομής της με την κατά τον ορισμό των ξένων εννοιών και.) Το τ 7 ικανοποιείται διότι I =, I =, I = και επομένως {x y τέτοιο ώστε (x, y) και (x)} = = I. Το τ 8 ικανοποιείται διότι I =. Το τ 9 ικανοποιείται διότι I = και I =. Το τ 10 δεν ικανοποιείται διότι (x, y) I και y / I. Το τ 11 δεν ικανοποιείται διότι (x, y) I και (x, y) / I. Το τ 12 δεν ικανοποιείται διότι (x, y) I και (y, x) / I. Το τ 13 ικανοποιείται διότι I =, I = και I =. Το τ 14 ικανοποιείται διότι I =. 2.5 Περιγραφικές λογικές και λογική πρώτης τάξης Όπως αναφέρθηκε και σε προηγούμενες παραγράφους, οι περιγραφικές λογικές, αν και εισάγουν αρκετά συντακτικά στοιχεία (λογικά σύμβολα) στη γλώσσα, στην πραγματικότητα διατηρούν στοχευμένα υψηλές εκφραστικές δυνατότητες που δεν υπερκαλύπτουν σε καμία περίπτωση αυτές της λογικής πρώτης τάξης. ράγματι, η απουσία της δυνατότητας

21 2.5. Ε Γ ΑΦ ΕΣ Γ ΕΣ Α Γ Η ΩΤΗΣ ΤΑ ΗΣ 65 σύνθετης αναφοράς στα άτομα του κόσμου, μέσω των όρων, περιορίζει σημαντικά τις εκφραστικές δυνατότητες όλων των τελεστών. Γενικά, τα αξιώματα ενός σώματος ορολογιών περιγράφουν τις σχέσεις που έχουν οι κατηγορίες των ατόμων, ορίζοντας τις ιεραρχίες των εννοιών, και όχι τις ιδιότητες που έχουν κάποια ονοματισμένα άτομα που περιγράφουμε στον κόσμο. ι τελευταίες περιγράφονται με τους ισχυρισμούς εννοιών και ρόλων, που έχουν απλή μορφή και δεν χρησιμοποιούν λογικούς τελεστές για την κατασκευή σύνθετων αναφορών (όπως, αντίστοιχα, οι συναρτήσεις στη λογική πρώτης τάξης). Εκτός από τη διαφορά αυτή, μια ακόμη σημαντική διαφορά που παρατηρούμε είναι ότι, ενώ στη λογική πρώτης τάξης μπορούν να ορίζονται κατηγορήματα τάξης n 3, δηλαδή σχέσεις μεταξύ n-άδων ατόμων, στις περιγραφικές λογικές οι σχέσεις περιορίζονται στα κατηγορήματα τάξης 1 (έννοιες) και 2 (ρόλοι). Το γεγονός αυτό είναι αναμενόμενο, καθώς βασικός στόχος των οντολογιών είναι η τυπική, αναλυτική περιγραφή των κατηγοριών των ατόμων. Επομένως, περιγράφονται οι βασικές ιδιότητές τους (μέσω των εννοιών) και κατά την περιγραφή αυτή περιγράφονται ιδιότητες που προκύπτουν από τις σχέσεις τους με άλλα άτομα (ρόλοι). Στο πλαίσιο αυτό, παρότι σε ορισμένες περιπτώσεις θα ήταν χρήσιμο, αποφεύγεται η χρήση κατηγορημάτων μεγαλύτερης τάξης. Στη συνέχεια θα περιγράψουμε τον τρόπο με τον οποίο μπορούμε να μετατρέψουμε σε μορφή αξιωμάτων λογικής πρώτης τάξης κάθε δήλωση ενός σώματος ορολογίας ή ισχυρισμών που χρησιμοποιεί τους τελεστές που περιγράφονται στους ρισμούς 2.3.3, 2.3.4, και 2.3.5, με τη σημασιολογία που καθορίζεται από τον ρισμό και τους ίνακες 2.1 και 2.2. Η αντιστοίχιση τόσο των κατασκευαστών όσο και των αξιωμάτων φαίνεται στον ίνακα 2.3. Αρχικά, περιγράφεται η μετατροπή των κατασκευαστών εννοιών, όπου θεωρείται ότι χρησιμοποιούνται κατηγορήματα πρώτης τάξης για τις αντίστοιχες έννοιες με τα ίδια ονόματα. Στο πρώτο μπλοκ γραμμών του ίνακα 2.3 δίνεται η αντιστοίχιση αυτή, με βάση την παραδοχή ότι η μεταβλητή x αναφέρεται σε όλα εκείνα τα άτομα που είναι C. Για παράδειγμα, τα στιγμιότυπα της έννοιας C D (πρώτη στήλη) είναι όλα εκείνα τα x (χρησιμοποιούμε τη μεταβλητή x για να αναφερθούμε στα στιγμιότυπα) για τα οποία η δήλωση C(x) D(x) (δεύτερη στήλη) είναι αληθής. Για να αναπαραστήσουμε τα και που χρησιμοποιούνται στις περιγραφικές λογικές, δεσμεύουμε τα ονόματα και, ως ονόματα κατηγορημάτων τάξης 1 που αληθεύουν για όλα ή για κανένα από τα στοιχεία, αντίστοιχα. ε αντίστοιχο τρόπο μετατρέπουμε τους ρόλους σε κατηγορήματα τάξης 2 με τα ίδια ονόματα (όπως φαίνεται στο δεύτερο μπλοκ γραμμών του ίνακα 2.3), θεωρώντας, πλέον, δύο μεταβλητές x και y για να αναφερθούμε στα ζεύγη στιγμιοτύπων. Για παράδειγμα, στην τρίτη γραμμή του δεύτερου μπλοκ του ίνακα 2.3, βλέπουμε ότι τα στιγμιότυπα της σύνθεσης ρόλων r s της πρώτης στήλης είναι όλα εκείνα τα ζεύγη (x, y) για τα οποία είναι αληθής η δήλωση z.(r(x, z) s(z,y)). Επιπλέον, χρησιμοποιούμε (ως λογικό σύμβολο) το όνομα για να αναπαραστήσουμε το κατηγόρημα τάξης 2 που αληθεύει για κάθε ζεύγος ατόμων του κόσμου. Τέλος, τα δύο τελευταία μπλοκ γραμμών του ίνακα 2.3 περιγράφουν την αντιστοίχιση των ισχυρισμών εννοιών, των ισχυρισμών ρόλων και των ορολογικών αξιωμάτων. Ενώ οι ισχυρισμοί του ABox δεν διαφέρουν καθόλου στη σύνταξη (όπως φαίνεται στο τρίτο μπλοκ γραμμών), τα ορολογικά αξιώματα του TBox μετατρέπονται σε δηλώσεις που ξεκινούν με καθολικούς ποσοδείκτες. Για παράδειγμα, τα αξιώματα υπαγωγής εννοιών της μορφής C D μετατρέπονται σε αξιώματα της μορφής x. (C(x) D(x)), τα οποία δηλώνουν ότι κάθε άτομο του κόσμου (στο οποίο αναφέρεται η μεταβλητή x) που ικανοποιεί το κατηγόρημα C θα ικανοποιεί και το κατηγόρημα D. Παράδειγμα Το σύνολο αξιωμάτων T = {τ 1, τ 2,...,τ 14 } του αραδείγματος 2.3.6

22 66 ΕΦΑ Α 2. Τ Γ ΕΣ Α Ε Γ ΑΦ ΕΣ Γ ΕΣ ίνακας 2.3: Αντιστοιχία περιγραφικών λογικών και λογικής πρώτης τάξης. Σύνταξη Π Σύνταξη ΠΤ (x) (x) C C(x) C D C(x) D(x) C D C(x) D(x) r.c y. (r(x, y) C(y)) r.c y. (r(x, y) C(y)) n.c y 1. y n.(y 1 y 2 y 1 y n y n 1 y n r(x, y 1 ) r(x, y n )) n.c { y 1. y n+1.(y 1 y 2 y 1 y n+1 y n y n+1 r(x, y 1 ) r(x, y n+1 ))} r. r(x, x) {a} x a (x, y) r r(y, x) r s z.(r(x, z) s(z, y)) C(a) C(a) r(a, b) r(a, b) a b a b a b a b C D C D r s r s x. (C(x) D(x)) x. (C(x) D(x)) x. y. (r(x, y) s(x, y)) x. y.(r(x, y) s(x, y)) γίνεται: τ 1 x.( (x) (x)), τ 2 x.( (x) (x)), τ 3 x.(( (x) (x)) (x)), τ 4 x.( (x) ( (x) (x))), τ 5 x.( (x) ( (x) (y))), τ 6 x.( (x) ( (x))), τ 7 x.( (x) ( y. (x, y) (y))), τ 8 x.( (x) ( y. (x, y) (y))), τ 9 x.( (x) ( y 1. y 2. y 3.((y 1 y 2 y 1 y 3 y 2 y 3 ) ( (x, y 1 ) (x, y 2 ) (x, y 3 )) ( (y 1 ) (y 2 ) (y 3 )))), τ 10 x.( (x) ( y. (x, y) (y))), τ 11 x. y.( (x, y) (x, y)), τ 12 x. y.( (x, y) (y, x)), τ 13 x. y.( z. (x, y) ( (x, z) (z, y))), τ 14 x. y.( z. ( (x, z) (z, y)) (x, y)). (2.63)

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

Αυτόματη συλλογιστική σε οντολογίες

Αυτόματη συλλογιστική σε οντολογίες εφάλαιο 3 Αυτόματη συλλογιστική σε οντολογίες 3.1 Εισαγωγή Η οντολογική αναπαράσταση γνώσης δίνει τη δυνατότητα ρητής, τυπικής καταγραφής των ιδιοτήτων των αντικειμένων που επιθυμούμε να περιγράψουμε.

Διαβάστε περισσότερα

Μάθημα: Δ3. Δίκτυα Γνώσης και Σημασιολογικός Ιστός. Διάλεξη 02 & 03. Δρ. Γεώργιος Χρ. Μακρής

Μάθημα: Δ3. Δίκτυα Γνώσης και Σημασιολογικός Ιστός. Διάλεξη 02 & 03. Δρ. Γεώργιος Χρ. Μακρής ΔΙΑΤΜΗΜΑΤΙΚΟ ΠΡΟΓΡΑΜΜΑ ΜΕΤΑΠΤΥΧΙΑΚΩΝ ΣΠΟΥΔΩΝ στα ΔΙΚΤΥΑ και ΠΟΛΥΠΛΟΚΟΤΗΤΑ Μάθημα: Δ3. Δίκτυα Γνώσης και Σημασιολογικός Ιστός Χειμερινό Εξάμηνο Σπουδών Διάλεξη 02 & 03 Δρ. Γεώργιος Χρ. Μακρής Αναπαράσταση

Διαβάστε περισσότερα

Μάθημα: Δ3. Δίκτυα Γνώσης και Σημασιολογικός Ιστός. Διάλεξη 01 & 02. Δρ. Γεώργιος Χρ. Μακρής

Μάθημα: Δ3. Δίκτυα Γνώσης και Σημασιολογικός Ιστός. Διάλεξη 01 & 02. Δρ. Γεώργιος Χρ. Μακρής ΔΙΑΤΜΗΜΑΤΙΚΟ ΠΡΟΓΡΑΜΜΑ ΜΕΤΑΠΤΥΧΙΑΚΩΝ ΣΠΟΥΔΩΝ στα ΠΟΛΥΠΛΟΚΑ ΣΥΣΤΗΜΑΤΑ και ΔΙΚΤΥΑ Μάθημα: Δ3. Δίκτυα Γνώσης και Σημασιολογικός Ιστός Χειμερινό Εξάμηνο Σπουδών Διάλεξη 01 & 02 Δρ. Γεώργιος Χρ. Μακρής Αναπαράσταση

Διαβάστε περισσότερα

Περιγραφικές Λογικές. Αναπαράσταση γνώσης στο Σημασιολογικό Ιστό. Γ. Στάμου

Περιγραφικές Λογικές. Αναπαράσταση γνώσης στο Σημασιολογικό Ιστό. Γ. Στάμου Περιγραφικές Λογικές Αναπαράσταση γνώσης στο Σημασιολογικό Ιστό Γ. Στάμου Τυπικές γλώσσες και αναπαράσταση γνώσης Υπάρχει τυπικός (formal) (μαθηματικός) τρόπος για την καταγραφή της ανθρώπινης γνώσης;

Διαβάστε περισσότερα

Αναπαράσταση γνώσης και συλλογιστική

Αναπαράσταση γνώσης και συλλογιστική εφάλαιο 1 Αναπαράσταση γνώσης και συλλογιστική 1.1 Tυπική αναπαράσταση γνώσης ι φορμαλισμοί τυπικής αναπαράστασης γνώσης και συλλογιστικής χαρακτηρίζονται από τρία βασικά στοιχεία: τη σύνταξη (syntax),

Διαβάστε περισσότερα

Περιγραφικές Λογικές. Αλγόριθμοι αυτόματης εξαγωγής συμπερασμάτων. Γ. Στάμου

Περιγραφικές Λογικές. Αλγόριθμοι αυτόματης εξαγωγής συμπερασμάτων. Γ. Στάμου Περιγραφικές Λογικές Αλγόριθμοι αυτόματης εξαγωγής συμπερασμάτων Γ. Στάμου Παράδειγμα Πρόβλημα R.C R.D R.(C D)? Λύση R.C R.D ( R.(C D)) (αναγωγή στην ικανοποιησιμότητα) {a: R.C R.D ( R.(C D))} (αναγωγή

Διαβάστε περισσότερα

Πρόσβαση σε δεδομένα με χρήση οντολογιών

Πρόσβαση σε δεδομένα με χρήση οντολογιών εφάλαιο 4 Πρόσβαση σε δεδομένα με χρήση οντολογιών 4.1 Εισαγωγή ι εφαρμογές που διαχειρίζονται δεδομένα (πολλές φορές πολύ μεγάλου όγκου) καταχωρούν τα δεδομένα σε μορφή που διευκολύνει την αποθήκευση

Διαβάστε περισσότερα

Σημασιολογικά δεδομένα και Παγκόσμιος στός

Σημασιολογικά δεδομένα και Παγκόσμιος στός εφάλαιο 5 Σημασιολογικά δεδομένα και Παγκόσμιος στός 5.1 Πόροι, προσδιοριστικά και αναφορές Στον αγκόσμιο στό, κατά την αναπαράσταση της πληροφορίας, γίνεται αναφορά σε ένα σύνολο αντικειμένων, προσβάσιμων

Διαβάστε περισσότερα

Γιώργος Στάμου Αναπαράσταση Οντολογικής Γνώσης και Συλλογιστική. Κριτική Ανάγνωση: Ανδρέας-Γεώργιος Σταφυλοπάτης

Γιώργος Στάμου Αναπαράσταση Οντολογικής Γνώσης και Συλλογιστική. Κριτική Ανάγνωση: Ανδρέας-Γεώργιος Σταφυλοπάτης Γιώργος Στάμου Αναπαράσταση Οντολογικής Γνώσης και Συλλογιστική Κριτική Ανάγνωση: Ανδρέας-Γεώργιος Σταφυλοπάτης Γλωσσική επιμέλεια και επιμέλεια διαδραστικού υλικού: Αλέξανδρος Χορταράς Copyright ΣΕΑΒ,

Διαβάστε περισσότερα

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

Εισαγωγή στις Περιγραφικές Λογικές

Εισαγωγή στις Περιγραφικές Λογικές Εισαγωγή στις Περιγραφικές Λογικές Σύνταξη, Σημασιολογία και Αλγόριθμοι Συλλογιστικής Γιώργος Στοΐλος Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Η/Υ Εθνικό Μετσόβιο Πολυτεχνείο 1. Εισαγωγή Ένα από τα προβλήματα

Διαβάστε περισσότερα

Περιεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60

Περιεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60 Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

4. Ο,τιδήποτε δεν ορίζεται με βάση τα (1) (3) δεν είναι προτασιακός τύπος.

4. Ο,τιδήποτε δεν ορίζεται με βάση τα (1) (3) δεν είναι προτασιακός τύπος. Κεφάλαιο 10 Μαθηματική Λογική 10.1 Προτασιακή Λογική Η γλώσσα της μαθηματικής λογικής στηρίζεται βασικά στις εργασίες του Boole και του Frege. Ο Προτασιακός Λογισμός περιλαμβάνει στο αλφάβητό του, εκτός

Διαβάστε περισσότερα

Εισαγωγή στις Περιγραφικές Λογικές

Εισαγωγή στις Περιγραφικές Λογικές Εισαγωγή στις Περιγραφικές Λογικές Σύνταξη, Σημασιολογία και Αλγόριθμοι Συλλογιστικής Δρ. Γεώργιος Στοΐλος Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Η/Υ, Εθνικό Μετσόβιο Πολυτεχνείο, Ζωγράφου, 15780,

Διαβάστε περισσότερα

Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5)

Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στον Κατηγορηματικό Λογισμό Σύνταξη Κανόνες Συμπερασμού Σημασιολογία ΕΠΛ 412 Λογική στην

Διαβάστε περισσότερα

Περιγραφικές Λογικές και η γλώσσα OWL

Περιγραφικές Λογικές και η γλώσσα OWL Κεφάλαιο 4 Περιγραφικές Λογικές και η γλώσσα OWL Αυτό το κεφάλαιο αποτελείται από δύο μέρη, καθώς ο στόχος που υπηρετεί είναι διπλός: αρχικά θα γνωρίσουμε τις Περιγραφικές Λογικές - ΠΛ και στη συνέχεια

Διαβάστε περισσότερα

Description Logics. Γεώργιος Χρ. Μακρής MSc, MEd

Description Logics. Γεώργιος Χρ. Μακρής MSc, MEd Γεώργιος Χρ. Μακρής MSc, MEd Γλώσσες Περιγραφικής Λογικής Είναι γλώσσες αναπαράστασης της γνώσης των οποίων τα κύρια χαρακτηριστικά είναι: ο αυστηρός μαθηματικός φορμαλισμός η απλότητα και η κομψότητα.

Διαβάστε περισσότερα

Μαθηματική Λογική και Λογικός Προγραμματισμός

Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών

Διαβάστε περισσότερα

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Στοιχεία προτασιακής λογικής Περιεχόμενα

Διαβάστε περισσότερα

Σημασιολογική διαχείριση μεταδεδομένων πολιτιστικού περιεχομένου ΜΑΡΘΑΣ Μ. ΙΜΠΡΙΑΛΟΥ Επιβλέπων:

Σημασιολογική διαχείριση μεταδεδομένων πολιτιστικού περιεχομένου ΜΑΡΘΑΣ Μ. ΙΜΠΡΙΑΛΟΥ Επιβλέπων: Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών Σημασιολογική διαχείριση μεταδεδομένων πολιτιστικού περιεχομένου Διπλωματική

Διαβάστε περισσότερα

ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ

ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΤΟΜΕΑΣ ΤΕΧΝΟΛΟΓΙΑΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΥΠΟΛΟΓΙΣΤΩΝ Σημασιολογική Ταξινόμηση Δεδομένων ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ του ΚΩΝΣΤΑΝΤΙΝΟΥ

Διαβάστε περισσότερα

Επαγωγικός Λογικός Προγραμματισμός και Aσαφείς Λογικές Περιγραφής

Επαγωγικός Λογικός Προγραμματισμός και Aσαφείς Λογικές Περιγραφής .. και Aσαφείς Λογικές Περιγραφής Άγγελος Χαραλαμπίδης Στασινός Κωνσταντόπουλος ΕΚΕΦΕ «Δημόκριτος» {acharal,konstant}@iit.demokritos.gr .. Σκελετός Ομιλίας Εισαγωγή .. Ορισμός Προβλήματος Γενικότερο πλαίσιο

Διαβάστε περισσότερα

Υπολογιστικά & Διακριτά Μαθηματικά

Υπολογιστικά & Διακριτά Μαθηματικά Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 2:Στοιχεία Μαθηματικής Λογικής Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Πέμπτη, 15/02/2018 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 15-Feb-18

Διαβάστε περισσότερα

nr.c ( (n+1)r.c) Όποτε αρκεί να αποδείξουμε την ισοδυναμία ενός εκ των δυο περιορισμών.

nr.c ( (n+1)r.c) Όποτε αρκεί να αποδείξουμε την ισοδυναμία ενός εκ των δυο περιορισμών. Ενδεικτική Λύση 2 ης Άσκησης (Περιγραφικές Λογικές) Ερώτημα 1 α) Ο κατασκευαστής Q συμβολίζει τους προσοντούχους περιορισμούς πληθυκότητας, δηλαδή τις έννοιες της μορφής: nr.c, nr.c Αρχικά σύμφωνα με τους

Διαβάστε περισσότερα

Σημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης

Σημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης Σημειώσεις Λογικής I Εαρινό Εξάμηνο 2011-2012 Καθηγητής: Λ. Κυρούσης 2 Τελευταία ενημέρωση 28/3/2012, στις 01:37. Περιεχόμενα 1 Εισαγωγή 5 2 Προτασιακή Λογική 7 2.1 Αναδρομικοί Ορισμοί - Επαγωγικές Αποδείξεις...................

Διαβάστε περισσότερα

Aναπαράσταση Γνώσης στο Σημασιολογικό Ιστό

Aναπαράσταση Γνώσης στο Σημασιολογικό Ιστό Aναπαράσταση Γνώσης στο Σημασιολογικό Ιστό Οι γλώσσες RDF(S) και OWL Γ. Στάμου Περιγραφή Μεταδεδομένων με την RDF Η RDF χρησιμοποιείται για την απλή περιγραφή πόρων (resources) του διαδικτύου o Περιγράφει

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 2ο μέρος σημειώσεων: Συστήματα Αποδείξεων για τον ΠΛ, Μορφολογική Παραγωγή, Κατασκευή Μοντέλων Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης

Διαβάστε περισσότερα

Κεφάλαιο 3 Η Σημασιολογία των Γλωσσών Προγραμματισμού

Κεφάλαιο 3 Η Σημασιολογία των Γλωσσών Προγραμματισμού Κεφάλαιο 3 Η Σημασιολογία των Γλωσσών Προγραμματισμού Προπτυχιακό μάθημα Αρχές Γλωσσών Προγραμματισμού Π. Ροντογιάννης 1 Εισαγωγή Γνώση γλώσσας από τη σκοπιά Του συντακτικού (syntax) Περιγραφή με γραμματικές

Διαβάστε περισσότερα

Θεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος

Θεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος Περιγραφή μαθήματος Θεωρία Υπολογισμού Άρτιοι ΑΜ Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας (Θεωρία Αλγορίθμων). Διδάσκων: Σταύρος Κολλιόπουλος

Διαβάστε περισσότερα

Θεωρία Υπολογισμού Αρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr

Θεωρία Υπολογισμού Αρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr Θεωρία Υπολογισμού Άρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr Περιγραφή μαθήματος Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας

Διαβάστε περισσότερα

f I X i I f i X, για κάθεi I.

f I X i I f i X, για κάθεi I. 47 2 Πράξεις σε τοπολογικούς χώρους 2. Η τοπολογία γινόμενο Σε προηγούμενη παράγραφο ορίσαμε την τοπολογία γινόμενο στο καρτεσιανό γινόμενο Y δύο τοπολογικών χώρων Y, ( παράδειγμα.33 () ). Στην παρούσα

Διαβάστε περισσότερα

Πανεπιστήμιο Κρήτης Τμήμα Επιστήμης Υπολογιστών. Σχεσιακός Λογισμός

Πανεπιστήμιο Κρήτης Τμήμα Επιστήμης Υπολογιστών. Σχεσιακός Λογισμός Σχεσιακός Λογισμός Γλώσσα βασισμένη στον Κατηγορηματικό Λογισμό 1 ης Τάξης (First Order Predicate Calculus) Οι περισσότερες γλώσσες επερώτησης σχεσιακών βάσεων δεδομένων βασίζονται στον Σχεσιακό Λογισμό

Διαβάστε περισσότερα

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

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 Εισαγωγή Η Λογική ασχολείται με τους νόμους ορθού συλλογισμού και μελετά τους κανόνες βάσει των οποίων

Διαβάστε περισσότερα

Δώστε έναν επαγωγικό ορισμό για το παραπάνω σύνολο παραστάσεων.

Δώστε έναν επαγωγικό ορισμό για το παραπάνω σύνολο παραστάσεων. Εισαγωγή στη Λογική Α Τάξης Σ. Κοσμαδάκης Συντακτικό τύπων Α τάξης Α Θεωρούμε δεδομένο ένα λεξιλόγιο Λ, αποτελούμενο από (1) ένα σύνολο συμβόλων για σχέσεις, { R, S,... } (2) ένα σύνολο συμβόλων για συναρτήσεις,

Διαβάστε περισσότερα

Η έννοια του συνόλου. Εισαγωγικό κεφάλαιο 27

Η έννοια του συνόλου. Εισαγωγικό κεφάλαιο 27 Εισαγωγικό κεφάλαιο 27 Η έννοια του συνόλου Σύνολο είναι κάθε συλλογή αντικειμένων, που προέρχονται από την εμπειρία μας ή τη διανόησή μας, είναι καλά ορισμένα και διακρίνονται το ένα από το άλλο. Αυτός

Διαβάστε περισσότερα

Τα παρακάτω σύνολα θα τα θεωρήσουμε γενικά γνωστά, αν και θα δούμε πολλές από τις ιδιότητές τους: N Z Q R C

Τα παρακάτω σύνολα θα τα θεωρήσουμε γενικά γνωστά, αν και θα δούμε πολλές από τις ιδιότητές τους: N Z Q R C Κεφάλαιο 1 Εισαγωγικές έννοιες Στο κεφάλαιο αυτό θα αναφερθούμε σε ορισμένες έννοιες, οι οποίες ίσως δεν έχουν άμεση σχέση με τους διανυσματικούς χώρους, όμως θα χρησιμοποιηθούν αρκετά κατά τη μελέτη τόσο

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά. Προτασιακός Λογισμός. Προηγούμενη φορά. Βάσεις της Μαθηματικής Λογικής. 02 Προτασιακός Λογισμός

HY118-Διακριτά Μαθηματικά. Προτασιακός Λογισμός. Προηγούμενη φορά. Βάσεις της Μαθηματικής Λογικής. 02 Προτασιακός Λογισμός HY118-Διακριτά Μαθηματικά Πέμπτη, 08/02/2018 Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του e-mail: Kees argyros@csd.uoc.gr van Deemter, από το University of Aberdeen Προηγούμενη

Διαβάστε περισσότερα

ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι

ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι Για τον προτασιακό λογισμό παρουσιάσαμε την αποδεικτική θεωρία (natural deduction/λογικό συμπέρασμα) τη σύνταξη (ορίζεται με γραμματική χωρίς συμφραζόμενα και εκφράζεται με συντακτικά

Διαβάστε περισσότερα

ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ

ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ 1. ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ Στόχος Να γνωρίζουν οι μαθητές: να αξιοποιούν το σύμβολο της συνεπαγωγής και της ισοδυναμίας να αξιοποιούν τους συνδέσμους «ή», «και» ΕΙΣΑΓΩΓΗ Η συννενόηση μεταξύ των ανθρώπων

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Πέμπτη, 08/02/2018 Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του e-mail: Kees argyros@csd.uoc.gr van Deemter, από το University of Aberdeen 08-Feb-18

Διαβάστε περισσότερα

HY Λογική Διδάσκων: Δ. Πλεξουσάκης Εαρινό Εξάμηνο. Φροντιστήριο 6

HY Λογική Διδάσκων: Δ. Πλεξουσάκης Εαρινό Εξάμηνο. Φροντιστήριο 6 HY-180 - Λογική Διδάσκων: Δ. Πλεξουσάκης Εαρινό Εξάμηνο 2015-2016 Φροντιστήριο 6 Α) ΘΕΩΡΙΑ Μέθοδος Επίλυσης (Resolution) Στη μέθοδο της επίλυσης αποδεικνύουμε την ικανοποιησιμότητα ενός συνόλου προτάσεων,

Διαβάστε περισσότερα

Σύνολα, Σχέσεις, Συναρτήσεις

Σύνολα, Σχέσεις, Συναρτήσεις Κεφάλαιο 2 Σύνολα, Σχέσεις, Συναρτήσεις Τα σύνολα, οι σχέσεις και οι συναρτήσεις χρησιμοποιούνται ευρύτατα σε κάθε είδους μαθηματικές αναπαραστάσεις και μοντελοποιήσεις. Στη θεωρία υπολογισμού χρησιμεύουν,

Διαβάστε περισσότερα

ΛΟΓΙΣΜΟΣ ΜΙΑΣ ΜΕΤΑΒΛΗΤΗΣ, ΕΣΠΙ 1

ΛΟΓΙΣΜΟΣ ΜΙΑΣ ΜΕΤΑΒΛΗΤΗΣ, ΕΣΠΙ 1 ΛΟΓΙΣΜΟΣ ΜΙΑΣ ΜΕΤΑΒΛΗΤΗΣ, ΕΣΠΙ 1 ΣΥΝΑΡΤΗΣΕΙΣ Η έννοια της συνάρτησης είναι θεμελιώδης στο λογισμό και διαπερνά όλους τους μαθηματικούς κλάδους. Για το φοιτητή είναι σημαντικό να κατανοήσει πλήρως αυτή

Διαβάστε περισσότερα

Αρχεία και Βάσεις Δεδομένων

Αρχεία και Βάσεις Δεδομένων ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Αρχεία και Βάσεις Δεδομένων Διάλεξη 7η: Σχεσιακός Λογισμός Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Σχεσιακός Λογισμός Γλώσσα βασισμένη στον Κατηγορηματικό

Διαβάστε περισσότερα

ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ. Ενότητα 11: Λογική πρώτης τάξης. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής

ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ. Ενότητα 11: Λογική πρώτης τάξης. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής Ενότητα 11: Λογική πρώτης τάξης Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου

Διαβάστε περισσότερα

Διαδικασιακός Προγραμματισμός

Διαδικασιακός Προγραμματισμός Τμήμα ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕ ΤΕΙ ΔΥΤΙΚΗΣ ΕΛΛΑΔΑΣ Διαδικασιακός Προγραμματισμός Διάλεξη 2 η Τύποι Δεδομένων Δήλωση Μεταβλητών Έξοδος Δεδομένων Οι διαλέξεις βασίζονται στο βιβλίο των Τσελίκη και Τσελίκα

Διαβάστε περισσότερα

ΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση μεγιστοποιήσει την πιθανότητά

ΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση μεγιστοποιήσει την πιθανότητά ΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση: Έστω ότι έχουμε τους παίκτες Χ και Υ. Ο κάθε παίκτης, σε κάθε κίνηση που κάνει, προσπαθεί να μεγιστοποιήσει την πιθανότητά του να κερδίσει. Ο Χ σε κάθε κίνηση που κάνει

Διαβάστε περισσότερα

ΕΝΟΤΗΤΑ 1: ΟΡΙΣΜΟΣ ΠΕΔΙΟ ΟΡΙΣΜΟΥ ΠΡΑΞΕΙΣ ΣΥΝΑΡΤΗΣΕΩΝ ΓΡΑΦΙΚΕΣ ΠΑΡΑΣΤΑΣΕΙΣ ΒΑΣΙΚΩΝ ΣΥΝΑΡΤΗΣΕΩΝ ΛΥΜΕΝΑ ΘΕΜΑΤΑ ΘΕΜΑ Α

ΕΝΟΤΗΤΑ 1: ΟΡΙΣΜΟΣ ΠΕΔΙΟ ΟΡΙΣΜΟΥ ΠΡΑΞΕΙΣ ΣΥΝΑΡΤΗΣΕΩΝ ΓΡΑΦΙΚΕΣ ΠΑΡΑΣΤΑΣΕΙΣ ΒΑΣΙΚΩΝ ΣΥΝΑΡΤΗΣΕΩΝ ΛΥΜΕΝΑ ΘΕΜΑΤΑ ΘΕΜΑ Α ΚΕΦΑΛΑΙΟ 1 ο : ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 1: ΟΡΙΣΜΟΣ ΠΕΔΙΟ ΟΡΙΣΜΟΥ ΠΡΑΞΕΙΣ ΣΥΝΑΡΤΗΣΕΩΝ ΓΡΑΦΙΚΕΣ ΠΑΡΑΣΤΑΣΕΙΣ ΒΑΣΙΚΩΝ ΣΥΝΑΡΤΗΣΕΩΝ ΛΥΜΕΝΑ ΘΕΜΑΤΑ Ερώτηση θεωρίας 1 ΘΕΜΑ Α Τι ονομάζουμε πραγματική συνάρτηση

Διαβάστε περισσότερα

Σχεδιασµός Ανάπτυξη Οντολογίας

Σχεδιασµός Ανάπτυξη Οντολογίας Σχεδιασµός Ανάπτυξη Οντολογίας ΈλεναΜάντζαρη, Γλωσσολόγος, Ms.C. ΙΑΤΡΟΛΕΞΗ: Ανάπτυξη Υποδοµής Γλωσσικής Τεχνολογίας για το Βιοϊατρικό Τοµέα Τι είναι η οντολογία; Μιαοντολογίαείναιέναλεξικόόρωνπου διατυπώνονται

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο

Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνολα Συναρτήσεις και Σχέσεις Γραφήματα Λέξεις και Γλώσσες Αποδείξεις ΕΠΛ 211 Θεωρία

Διαβάστε περισσότερα

Λογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών

Λογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών Λογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια χρήσης Creative Commons και

Διαβάστε περισσότερα

\5. Κατηγορηματικός Λογισμός (Predicate Calculus)

\5. Κατηγορηματικός Λογισμός (Predicate Calculus) \5 Κατηγορηματικός Λογισμός (Predicate Calculus) 51 Αντικείμενα Ιδιότητες και Σχέσεις Θεωρείστε την παρακάτω εξαγωγή συμπεράσματος: Κανένας ακέραιος δεν είναι μεγαλύτερος από το τετράγωνό του Το 1 2 είναι

Διαβάστε περισσότερα

Περιεχόμενα. Πρόλογος 3

Περιεχόμενα. Πρόλογος 3 Πρόλογος Τα πρώτα μαθήματα, σχεδόν σε όλους τους κλάδους των μαθηματικών, περιέχουν, ή θεωρούν γνωστές, εισαγωγικές έννοιες που αφορούν σύνολα, συναρτήσεις, σχέσεις ισοδυναμίας, αλγεβρικές δομές, κλπ.

Διαβάστε περισσότερα

1 Αριθμητική κινητής υποδιαστολής και σφάλματα στρογγύλευσης

1 Αριθμητική κινητής υποδιαστολής και σφάλματα στρογγύλευσης 1 Αριθμητική κινητής υποδιαστολής και σφάλματα στρογγύλευσης Στη συγκεκριμένη ενότητα εξετάζουμε θέματα σχετικά με την αριθμητική πεπερασμένης ακρίβειας που χρησιμοποιούν οι σημερινοί υπολογιστές και τα

Διαβάστε περισσότερα

Σ αυτή την παράγραφο θα γνωρίσουμε τέσσερις βασικές έννοιες της λογικής, οι οποίες θα μας φανούν χρήσιμες στα επόμενα κεφάλαια του βιβλίου.

Σ αυτή την παράγραφο θα γνωρίσουμε τέσσερις βασικές έννοιες της λογικής, οι οποίες θα μας φανούν χρήσιμες στα επόμενα κεφάλαια του βιβλίου. Σ αυτή την παράγραφο θα γνωρίσουμε τέσσερις βασικές έννοιες της λογικής, οι οποίες θα μας φανούν χρήσιμες στα επόμενα κεφάλαια του βιβλίου. Η προσέγγιση των εννοιών αυτών θα γίνει με τη βοήθεια απλών παραδειγμάτων,

Διαβάστε περισσότερα

K15 Ψηφιακή Λογική Σχεδίαση 7-8: Ανάλυση και σύνθεση συνδυαστικών λογικών κυκλωμάτων

K15 Ψηφιακή Λογική Σχεδίαση 7-8: Ανάλυση και σύνθεση συνδυαστικών λογικών κυκλωμάτων K15 Ψηφιακή Λογική Σχεδίαση 7-8: Ανάλυση και σύνθεση συνδυαστικών λογικών κυκλωμάτων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Η έννοια του συνδυαστικού

Διαβάστε περισσότερα

Υπολογιστική Πολυπλοκότητα Εξέταση Ιουνίου 2017 Σελ. 1 από 5

Υπολογιστική Πολυπλοκότητα Εξέταση Ιουνίου 2017 Σελ. 1 από 5 Υπολογιστική Πολυπλοκότητα Εξέταση Ιουνίου 2017 Σελ. 1 από 5 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 8 Η ΓΛΩΣΣΑ PASCAL

ΚΕΦΑΛΑΙΟ 8 Η ΓΛΩΣΣΑ PASCAL 8.1. Εισαγωγή ΚΕΦΑΛΑΙΟ 8 Η ΓΛΩΣΣΑ PACAL Πως προέκυψε η γλώσσα προγραμματισμού Pascal και ποια είναι τα γενικά της χαρακτηριστικά; Σχεδιάστηκε από τον Ελβετό επιστήμονα της Πληροφορικής Nicklaus Wirth to

Διαβάστε περισσότερα

Λογικός Προγραμματισμός

Λογικός Προγραμματισμός Λογικός Προγραμματισμός Αναπαράσταση γνώσης: Λογικό Σύστημα. Μηχανισμός επεξεργασίας γνώσης: εξαγωγή συμπεράσματος. Υπολογισμός: Απόδειξη θεωρήματος (το συμπέρασμα ενδιαφέροντος) από αξιώματα (γνώση).

Διαβάστε περισσότερα

Στοιχεία Κατηγορηματικής Λογικής

Στοιχεία Κατηγορηματικής Λογικής Στοιχεία Κατηγορηματικής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηματική Λογική

Διαβάστε περισσότερα

Σύστημα υποστήριξης κατασκευής ερωτημάτων με χρήση οντολογίας.

Σύστημα υποστήριξης κατασκευής ερωτημάτων με χρήση οντολογίας. ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΔΙΑΤΜΗΜΑΤΙΚΟ ΠΡΟΓΡΑΜΜΑ ΜΕΤΑΠΤΥΧΙΑΚΩΝ ΣΠΟΥΔΩΝ «ΜΑΘΗΜΑΤΙΚΗ ΠΡΟΤΥΠΟΠΟΙΗΣΗ σε ΣΥΓΧΡΟΝΕΣ ΤΕΧΝΟΛΟΓΙΕΣ και την ΟΙΚΟΝΟΜΙΑ» Σύστημα

Διαβάστε περισσότερα

Στοιχεία Προτασιακής Λογικής

Στοιχεία Προτασιακής Λογικής Στοιχεία Προτασιακής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Μαθηματικές Προτάσεις

Διαβάστε περισσότερα

Μεταγλωττιστές. Γιώργος Δημητρίου. Μάθημα 1 ο. Πανεπιστήμιο Θεσσαλίας - Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών

Μεταγλωττιστές. Γιώργος Δημητρίου. Μάθημα 1 ο. Πανεπιστήμιο Θεσσαλίας - Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Γιώργος Δημητρίου Μάθημα 1 ο Γλώσσα - Μετάφραση Γλώσσα προγραμματισμού = Αναπαράσταση αλγορίθμων Ευκολία χρήσης Ακρίβεια και πληρότητα περιγραφής, όχι διφορούμενη! Μία περιγραφή για όλες τις μηχανές Μετάφραση

Διαβάστε περισσότερα

Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή

Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή raniah@hua.gr 1 Ασάφεια (Fuzziness) Ποσοτικοποίηση της ποιοτικής πληροφορίας Οφείλεται κυρίως

Διαβάστε περισσότερα

ΣΗΜΕΙΩΣΕΙΣ. x A αντιστοιχίζεται (συσχετίζεται) με ένα μόνο. = ονομάζεται εξίσωση της

ΣΗΜΕΙΩΣΕΙΣ. x A αντιστοιχίζεται (συσχετίζεται) με ένα μόνο. = ονομάζεται εξίσωση της ΚΕΦΑΛΑΙΟ 2ο: ΣΥΝΑΡΤΗΣΕΙΣ - ΟΡΙΟ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΕΝΟΤΗΤΑ 1: ΕΝΝΟΙΑ ΠΡΑΓΜΑΤΙΚΗΣ ΣΥΝΑΡΤΗΣΗΣ - ΓΡΑΦΙΚΗ ΠΑΡΑΣΤΑΣΗ ΣΥΝΑΡΤΗΣΗΣ. IΣΟΤΗΤΑ ΣΥΝΑΡΤΗΣΕΩΝ - ΠΡΑΞΕΙΣ ΜΕ ΣΥΝΑΡΤΗΣΕΙΣ - ΣΥΝΘΕΣΗ ΣΥΝΑΡΤΗΣΕΩΝ [Ενότητα

Διαβάστε περισσότερα

Υποθετικές προτάσεις και λογική αλήθεια

Υποθετικές προτάσεις και λογική αλήθεια Υποθετικές προτάσεις και λογική αλήθεια Δρ. Παναγιώτης Λ. Θεοδωρόπουλος Σχολικός Σύμβουλος κλάδου ΠΕ03 www.p-theodoropoulos.gr Περίληψη Στην εργασία αυτή επιχειρείται μια ερμηνεία της λογικής αλήθειας

Διαβάστε περισσότερα

Περιεχόμενα. Πρόλογος 3

Περιεχόμενα. Πρόλογος 3 Πρόλογος Η Γραμμική Άλγεβρα είναι ένα σημαντικό συστατικό στο πρόγραμμα σπουδών, όχι μόνο των Μαθηματικών, αλλά και άλλων τμημάτων, όπως είναι το τμήμα Φυσικής, Χημείας, των τμημάτων του Πολυτεχνείου,

Διαβάστε περισσότερα

Κεφ. 6Β: Συνήθεις διαφορικές εξισώσεις (ΣΔΕ) - προβλήματα αρχικών τιμών

Κεφ. 6Β: Συνήθεις διαφορικές εξισώσεις (ΣΔΕ) - προβλήματα αρχικών τιμών Κεφ. 6Β: Συνήθεις διαφορικές εξισώσεις (ΣΔΕ) - προβλήματα αρχικών τιμών. Εισαγωγή (ορισμός προβλήματος, αριθμητική ολοκλήρωση ΣΔΕ, αντικατάσταση ΣΔΕ τάξης n με n εξισώσεις ης τάξης). Μέθοδος Euler 3. Μέθοδοι

Διαβάστε περισσότερα

f(t) = (1 t)a + tb. f(n) =

f(t) = (1 t)a + tb. f(n) = Παράρτημα Αʹ Αριθμήσιμα και υπεραριθμήσιμα σύνολα Αʹ1 Ισοπληθικά σύνολα Ορισμός Αʹ11 (ισοπληθικότητα) Εστω A, B δύο μη κενά σύνολα Τα A, B λέγονται ισοπληθικά αν υπάρχει μια συνάρτηση f : A B, η οποία

Διαβάστε περισσότερα

ΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ. a β a β.

ΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ. a β a β. ΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ Ε.1 ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ Στη παράγραφο αυτή θα γνωρίσουμε μερικές βασικές έννοιες της Λογικής, τις οποίες θα χρησιμοποιήσουμε στη συνέχεια, όπου αυτό κρίνεται αναγκαίο, για τη σαφέστερη

Διαβάστε περισσότερα

, για κάθε n N. και P είναι αριθμήσιμα.

, για κάθε n N. και P είναι αριθμήσιμα. ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΔΙΑΚΡΙΤA ΜΑΘΗΜΑΤΙΚΑ Διδάσκοντες: Δ.Φωτάκης Θ. Σούλιου η Γραπτή Εργασία Ημ/νια παράδοσης 5/4/8 Θέμα (Διαδικασίες Απαρίθμησης.

Διαβάστε περισσότερα

Στοιχεία Κατηγορηματικής Λογικής

Στοιχεία Κατηγορηματικής Λογικής Στοιχεία Κατηγορηματικής Λογικής Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης, Δ. Σούλιου Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηματική

Διαβάστε περισσότερα

Πρόταση. Αληθείς Προτάσεις

Πρόταση. Αληθείς Προτάσεις Βασικές έννοιες της Λογικής 1 Πρόταση Στην καθημερινή μας ομιλία χρησιμοποιούμε εκφράσεις όπως: P1: «Καλή σταδιοδρομία» P2: «Ο Όλυμπος είναι το ψηλότερο βουνό της Ελλάδας» P3: «Η Θάσος είναι το μεγαλύτερο

Διαβάστε περισσότερα

ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική)

ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 2 η Εργασία: Γενική Εικόνα Αρκετά καλή βαθμολογική εικόνα (

Διαβάστε περισσότερα

Αποδοτική Αναγνώριση Υπονοούμενων Ιεραρχικών Σχέσεων σε OWL Οντολογίες

Αποδοτική Αναγνώριση Υπονοούμενων Ιεραρχικών Σχέσεων σε OWL Οντολογίες ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΤΟΜΕΑΣ ΤΕΧΝΟΛΟΓΙΑΣ ΥΠΟΛΟΓΙΣΤΩΝ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ Efficient OWL Ontology Classification Αποδοτική Αναγνώριση Υπονοούμενων

Διαβάστε περισσότερα

1 Συνοπτική ϑεωρία. 1.1 Νόµοι του Προτασιακού Λογισµού. p p p. p p. ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών

1 Συνοπτική ϑεωρία. 1.1 Νόµοι του Προτασιακού Λογισµού. p p p. p p. ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών HY-180: Λογική Εαρινό Εξάµηνο 2016 Κ. Βάρσος Πρώτο Φροντιστήριο 1 Συνοπτική ϑεωρία 1.1 Νόµοι του Προτασιακού Λογισµού 1. Νόµος ταυτότητας : 2. Νόµοι αυτοπάθειας

Διαβάστε περισσότερα

Λογική. Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF

Λογική. Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Άδειες

Διαβάστε περισσότερα

Περί της Ταξινόμησης των Ειδών

Περί της Ταξινόμησης των Ειδών Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης Σχολή Θετικών Επιστημών Τμήμα Φυσικής 541 24 Θεσσαλονίκη Καθηγητής Γεώργιος Θεοδώρου Tel.: +30 2310998051, Ιστοσελίδα: http://users.auth.gr/theodoru Περί της Ταξινόμησης

Διαβάστε περισσότερα

Στοιχεία Κατηγορηματικής Λογικής

Στοιχεία Κατηγορηματικής Λογικής Στοιχεία Κατηγορηματικής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κατηγορηματική Λογική

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 3ο μέρος σημειώσεων: Μέθοδος της Επίλυσης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια

Διαβάστε περισσότερα

K15 Ψηφιακή Λογική Σχεδίαση 6: Λογικές πύλες και λογικά κυκλώματα

K15 Ψηφιακή Λογική Σχεδίαση 6: Λογικές πύλες και λογικά κυκλώματα K15 Ψηφιακή Λογική Σχεδίαση 6: Λογικές πύλες και λογικά κυκλώματα Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Λογικές πύλες Περιεχόμενα 1 Λογικές πύλες

Διαβάστε περισσότερα

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

Δοµές Δεδοµένων και Αλγόριθµοι - Εισαγωγή

Δοµές Δεδοµένων και Αλγόριθµοι - Εισαγωγή Δοµές Δεδοµένων και Αλγόριθµοι - Εισαγωγή Στην ενότητα αυτή θα µελετηθούν τα εξής επιµέρους θέµατα: Εισαγωγή στις έννοιες Αλγόριθµοι και Πολυπλοκότητα, Οργάνωση Δεδοµένων και Δοµές Δεδοµένων Χρήσιµοι µαθηµατικοί

Διαβάστε περισσότερα

Από το Γυμνάσιο στο Λύκειο... 7. 3. Δειγματικός χώρος Ενδεχόμενα... 42 Εύρεση δειγματικού χώρου... 46

Από το Γυμνάσιο στο Λύκειο... 7. 3. Δειγματικός χώρος Ενδεχόμενα... 42 Εύρεση δειγματικού χώρου... 46 ΠEΡΙΕΧΟΜΕΝΑ Από το Γυμνάσιο στο Λύκειο................................................ 7 1. Το Λεξιλόγιο της Λογικής.............................................. 11. Σύνολα..............................................................

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης. 5ο μέρος σημειώσεων: Κατηγορηματικός Λογισμός (Predicate Calculus)

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης. 5ο μέρος σημειώσεων: Κατηγορηματικός Λογισμός (Predicate Calculus) ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 5ο μέρος σημειώσεων: Κατηγορηματικός Λογισμός (Predicate Calculus) Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό

Διαβάστε περισσότερα

ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΔΙΑΚΡΙΤΩΝ ΕΝΑΛΛΑΚΤΙΚΩΝ ΣΕ ΠΡΟΒΛΗΜΑΤΑ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΣΥΝΘΕΣΗΣ ΔΙΕΡΓΑΣΙΩΝ

ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΔΙΑΚΡΙΤΩΝ ΕΝΑΛΛΑΚΤΙΚΩΝ ΣΕ ΠΡΟΒΛΗΜΑΤΑ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΣΥΝΘΕΣΗΣ ΔΙΕΡΓΑΣΙΩΝ ΜΕΡΟΣ ΙΙ ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΔΙΑΚΡΙΤΩΝ ΕΝΑΛΛΑΚΤΙΚΩΝ ΣΕ ΠΡΟΒΛΗΜΑΤΑ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΣΥΝΘΕΣΗΣ ΔΙΕΡΓΑΣΙΩΝ 36 ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΔΙΑΚΡΙΤΩΝ ΕΝΑΛΛΑΚΤΙΚΩΝ ΣΕ ΠΡΟΒΛΗΜΑΤΑ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΣΥΝΘΕΣΗΣ ΔΙΕΡΓΑΣΙΩΝ Πολλές από τις αποφάσεις

Διαβάστε περισσότερα

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

Αναπαράσταση Γνώσης και Αναζήτηση στον Σηµασιολογικό Ιστό

Αναπαράσταση Γνώσης και Αναζήτηση στον Σηµασιολογικό Ιστό Αναπαράσταση Γνώσης και Αναζήτηση στον Σηµασιολογικό Ιστό Αλέξανδρος Βαλαράκος (alexv@iit.demokritos.gr) (alexv@aegean.gr) Υποψήφιος ιδάκτορας Τµήµα Μηχανικών Υπολογιστικών και Πληροφοριακών Συστηµάτων.

Διαβάστε περισσότερα

Ανάπτυξη Διαδικτυακής Εφαρμογής Σημασιολογικής Πλοήγησης σε Σχεσιακές Βάσεις Δεδομένων

Ανάπτυξη Διαδικτυακής Εφαρμογής Σημασιολογικής Πλοήγησης σε Σχεσιακές Βάσεις Δεδομένων ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΤΟΜΕΑΣ ΤΕΧΝΟΛΟΓΙΑΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΥΠΟΛΟΓΙΣΤΩΝ Ανάπτυξη Διαδικτυακής Εφαρμογής Σημασιολογικής Πλοήγησης σε Σχεσιακές

Διαβάστε περισσότερα

K15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole

K15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole K15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Ορισμός της δίτιμης άλγεβρας Boole Περιεχόμενα 1 Ορισμός της

Διαβάστε περισσότερα

Description Logics and Temporal Description Logics

Description Logics and Temporal Description Logics Description Logics and Temporal Description Logics ΑΤΕΙ ΚΡΗΤΗΣ Σχολή Τεχνολογικών Εφαρμογών Τμήμα Εφαρμοσμένης Πληροφορικής και Πολυμέσων Πτυχιακή εργασία Του Αμανατίδη Δημητρίου Γεωργίου ΑΜ 2121 Επιβλέπων:

Διαβάστε περισσότερα

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 6: Προτασιακός Λογισμός

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 6: Προτασιακός Λογισμός Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 6: Προτασιακός Λογισμός Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ : Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Σκελετοί Λύσεων Άσκηση [0 μονάδες] α Να αναφέρετε τρεις μεθόδους μέσω των οποίων μπορούμε να αποφασίσουμε

Διαβάστε περισσότερα

τα βιβλία των επιτυχιών

τα βιβλία των επιτυχιών Τα βιβλία των Εκδόσεων Πουκαμισάς συμπυκνώνουν την πολύχρονη διδακτική εμπειρία των συγγραφέων μας και αποτελούν το βασικό εκπαιδευτικό υλικό που χρησιμοποιούν οι μαθητές των φροντιστηρίων μας. Μέσα από

Διαβάστε περισσότερα

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 118 ερωτήσεις θεωρίας με απάντηση 324 416 ασκήσεις για λύση. 20 συνδυαστικά θέματα εξετάσεων

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 118 ερωτήσεις θεωρίας με απάντηση 324 416 ασκήσεις για λύση. 20 συνδυαστικά θέματα εξετάσεων ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ 118 ερωτήσεις θεωρίας με απάντηση 34 416 ασκήσεις για λύση ερωτήσεις κατανόησης λυμένα παραδείγματα 0 συνδυαστικά θέματα εξετάσεων Π Ε Ρ Ι Ε Χ Ο Μ Ε Ν Α Εισαγωγική ενότητα Το λεξιλόγιο

Διαβάστε περισσότερα

Ενσωμάτωση Μεθόδων Αναπαράστασης Γνώσης και Τεχνικών Μηχανικής Μάθησης σε Νέες Αρχιτεκτονικές Ταξινόμησης Πληροφοριών ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ

Ενσωμάτωση Μεθόδων Αναπαράστασης Γνώσης και Τεχνικών Μηχανικής Μάθησης σε Νέες Αρχιτεκτονικές Ταξινόμησης Πληροφοριών ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΤΟΜΕΑΣ ΤΕΧΝΟΛΟΓΙΑΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΥΠΟΛΟΓΙΣΤΩΝ Ενσωμάτωση Μεθόδων Αναπαράστασης Γνώσης και Τεχνικών Μηχανικής Μάθησης

Διαβάστε περισσότερα

ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική)

ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 2 η Εργασία: Γενική Εικόνα Ικανοποιητική βαθμολογική εικόνα

Διαβάστε περισσότερα

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ Θεωρία Υπολογισμού Ενότητα 3: Συναρτήσεις - σχέσεις Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται

Διαβάστε περισσότερα