ΠΕΡΙΕΧΟΜΕΝΑ ΠΕΡΙΕΧΟΜΕΝΑ... 4 ΛΙΣΤΑ ΠΙΝΑΚΩΝ... 6 ΛΙΣΤΑ ΠΛΑΙΣΙΩΝ... 7 ΛΙΣΤΑ ΕΙΚΟΝΩΝ... 8 ΕΙΣΑΓΩΓΗ...9

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

Download "ΠΕΡΙΕΧΟΜΕΝΑ ΠΕΡΙΕΧΟΜΕΝΑ... 4 ΛΙΣΤΑ ΠΙΝΑΚΩΝ... 6 ΛΙΣΤΑ ΠΛΑΙΣΙΩΝ... 7 ΛΙΣΤΑ ΕΙΚΟΝΩΝ... 8 ΕΙΣΑΓΩΓΗ...9"

Transcript

1 ΤΜΗΜΑ ΜΗΧ/ΚΩΝ ΗΛΕΚΤΡΟΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΠΑΝΕΠΙΣΤΗΜΙΟY ΠΑΤΡΩΝ ιπλωµατική Εργασία για το Μεταπτυχιακό ίπλωµα Ειδίκευσης στην «Επιστήµη και Τεχνολογία Υπολογιστών» ΜΕΤΑΤΡΟΠΗ ΕΚΦΡΑΣΕΩΝ ΚΑΤΗΓΟΡΗΜΑΤΙΚΗΣ ΛΟΓΙΚΗΣ ΠΡΩΤΗΣ ΤΑΞΗΣ ΣΕ ΦΥΣΙΚΗ ΓΛΩΣΣΑ Μπαγουλή Αικατερίνη Επιβλέπων Επ. Καθηγητής κ. Ιωάννης Χατζηλυγερούδης Τριµελής Επιτροπή Επ. Καθηγητής κ. Ιωάννης Χατζηλυγερούδης Επ. Καθηγητής κ. Χρήστος Μακρής Επ. Καθηγητής κ. Κυριάκος Σγάρµπας ΠΑΤΡΑ, ΑΠΡΙΛΙΟΣ 2009

2 ΕΥΧΑΡΙΣΤΙΕΣ Ευχαριστώ πολύ τον καθηγητή µου κ. Ιωάννη Χατζηλυγερούδη για την βοήθεια που µου προσέφερε κατά την διάρκεια των µεταπτυχιακών µου σπουδών και κατά τη διάρκεια της συγκεκριµένης εργασίας, καθώς και τους γονείς µου και τους φίλους µου που βρίσκονται κοντά µου και δίνουν νόηµα σε ό,τι κάνω. 3

3 ΠΕΡΙΕΧΟΜΕΝΑ ΠΕΡΙΕΧΟΜΕΝΑ... 4 ΛΙΣΤΑ ΠΙΝΑΚΩΝ... 6 ΛΙΣΤΑ ΠΛΑΙΣΙΩΝ... 7 ΛΙΣΤΑ ΕΙΚΟΝΩΝ... 8 ΕΙΣΑΓΩΓΗ...9 ΚΕΦ.1 : ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ ΠΡΩΤΗΣ ΤΑΞΗΣ (ΚΛΠΤ) ΒΑΣΙΚΑ ΣΤΟΙΧΕΙΑ ΘΕΩΡΙΑΣ ΚΛΠΤ Τεχνητή Νοηµοσύνη και ΚΛΠΤ Αναπαράσταση Γνώσης Λογική Προτασιακή Λογική Κατηγορηµατική Λογική Προτασιακή Μορφή ΚΛΠΤ ΚΕΦ.2 : ΕΠΕΞΕΡΓΑΣΙΑ ΦΥΣΙΚΗΣ ΓΛΩΣΣΑΣ ΚΑΙ ΣΧΕΤΙΚΗ ΕΡΕΥΝΑ ΕΠΕΞΕΡΓΑΣΙΑ ΦΥΣΙΚΗΣ ΓΛΩΣΣΑΣ Εισαγωγή Κατανόηση Φυσικής Γλώσσας Παραγωγή Φυσικής Γλώσσας ΕΡΕΥΝΑ ΠΑΝΩ ΣΤΗ ΜΕΤΑΤΡΟΠΗ ΦΓ ΣΕ ΚΛΠΤ Εισαγωγή Συµβουλές Μετάφρασης (Translation Tips) Μετάφραση Φυσικής Γλώσσας σε Λογική µε PhraseBank Μετάφραση Ισπανικών προτάσεων σε Λογική Πρώτης Τάξης ηµιουργία Μοντέλων για Κατανόηση Φυσικής Γλώσσας Αντικατάσταση του ΚΛΠΤ από Ελεγχόµενη Φυσική Γλώσσα ΕΡΕΥΝΑ ΠΑΝΩ ΣΤΗΝ ΠΑΡΑΓΩΓΗ ΦΓ Εισαγωγή Prolog και Ανάλυση Φυσικής Γλώσσας LMT: Σύστηµα Μηχανικής Μετάφρασης βασισµένο σε Prolog Modular Logic Grammars Ανάκτηση Λεξικολογικών εδοµένων και Άρση Αµφισηµιών

4 2.3.6 Μετατροπή Αγγλικών Προτάσεων σε ΚΛΠΤ και αντιστρόφως Από τα Αγγλικά στη Λογική ηµιουργία Εφαρµοσµένων Συστηµάτων NLG Ένα NLG Σύστηµα που παράγει Αγγλικά από ΚΛΠΤ ΣΥΜΠΕΡΑΣΜΑΤΑ ΚΕΦ.3 : JESS JESS Εισαγωγή Κανόνες Γενικά για την Jess Η γλώσσα Jess Τα γεγονότα στην Jess Οι κανόνες στην Jess Τα modules στην Jess Προγραµµατισµός στην Jess..71 ΚΕΦ.4 : ΤΟ ΣΥΣΤΗΜΑ FOLtoNL ΤΟ ΣΥΣΤΗΜΑ FOLtoNL Εισαγωγή Η λογική του συστήµατος FOLtoNL Tree ιαδικασία Μετάφρασης Μέθοδος Μετατροπής ΚΛΠΤ σε ΦΓ Υποκατάστατα ΦΓ για τις µεταβλητές Το Λεξικό του συστήµατος Στοιχεία Υλοποίησης Παραδείγµατα Εφαρµογής και Αξιολόγηση ΚΕΦΑΛΑΙΟ 5 : ΣΥΜΠΕΡΑΣΜΑΤΑ ΣΥΜΠΕΡΑΣΜΑΤΑ ΠΑΡΑΡΤΗΜΑ Α : Λίστα Συναρτήσεων της Jess 135 ΠΑΡΑΡΤΗΜΑ Β : Λεξικό του συστήµατος (lex.clp)..154 Βιβλιογραφία.168 5

5 ΛΙΣΤΑ ΠΙΝΑΚΩΝ ΚΕΦ.1 : ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ ΠΡΩΤΗΣ ΤΑΞΗΣ (ΚΛΠΤ) Πίνακας 1.1: Συνδετικά ΚΛΠΤ 15 Πίνακας 1.2: Ποσοδείκτες ΚΛΠΤ 16 ΚΕΦ.2 : ΕΠΕΞΕΡΓΑΣΙΑ ΦΥΣΙΚΗΣ ΓΛΩΣΣΑΣ ΚΑΙ ΣΧΕΤΙΚΗ ΕΡΕΥΝΑ ΚΕΦ.3 : JESS Πίνακας 3.1: Είδη κανόνων.62 ΚΕΦ.4 : ΤΟ ΣΥΣΤΗΜΑ FOLtoNL ΚΕΦΑΛΑΙΟ 5 : ΣΥΜΠΕΡΑΣΜΑΤΑ 6

6 ΛΙΣΤΑ ΠΛΑΙΣΙΩΝ ΚΕΦ.1 : ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ ΠΡΩΤΗΣ ΤΑΞΗΣ (ΚΛΠΤ) ΚΕΦ.2 : ΕΠΕΞΕΡΓΑΣΙΑ ΦΥΣΙΚΗΣ ΓΛΩΣΣΑΣ ΚΑΙ ΣΧΕΤΙΚΗ ΕΡΕΥΝΑ Πλαίσιο 2.1: Παράδειγµα Γραµµατικής DCG.. 24 Πλαίσιο 2.2: Κανονικές Ποσοτικές Εκφράσεις Πλαίσιο 2.3: Σειρά Ποσοδεικτών στον ΚΛΠΤ. 28 Πλαίσιο 2.4: Γραµµατική Συστήµατος Μετατροπής Ισπανικών σε Λογική...32 Πλαίσιο 2.5: Λεξιλόγιο Μοντέλου Πρώτης Τάξης 33 Πλαίσιο 2.6: Ένα µοντέλο πρώτης τάξης.. 33 Πλαίσιο 2.7: Θεωρία Πρώτης Τάξης 34 Πλαίσιο 2.8: CFG Πλαίσιο 2.9: CFG in Prolog Πλαίσιο 2.10: DCG για συµφωνία ουσιαστικού-ρήµατος 39 Πλαίσιο 2.11: DCG Σηµειογραφία Prolog...39 Πλαίσιο 2.12: DCG..40 ΚΕΦ.3 : JESS Πλαίσιο 3.1: Σύνταξη deffunction...66 Πλαίσιο 3.2: Σύνταξη deftemplate ΚΕΦ.4 : ΤΟ ΣΥΣΤΗΜΑ FOLtoNL Πλαίσιο 4.1: Σύνταξη ΚΛΠΤ 75 Πλαίσιο 4.2: Αλγόριθµος ηµιουργίας FOLtoNL Tree. 82 Πλαίσιο 4.3: Αλγόριθµος Μετάφρασης Ατόµων Πλαίσιο 4.4: Αλγόριθµος Μετάφρασης Όρων Πλαίσιο 4.5: Γενικός Αλγόριθµος Μετάφρασης...92 Πλαίσιο 4.6: Αλγόριθµος Μετάφρασης Συνεπαγωγών Πλαίσιο 4.7: Μετάφραση Ειδικών Συναπγωγών Β.100 Πλαίσιο 4.8: Αλγόριθµος Μετάφρασης Μεταβλητών. 102 Πλαίσιο 4.9: Υπολογισµός Βασικών Υποκατάστατων ΦΓ Πλαίσιο 4.10: Υπολογισµός Τελικού Υποκατάστατου ΦΓ ΚΕΦΑΛΑΙΟ 5 : ΣΥΜΠΕΡΑΣΜΑΤΑ 7

7 ΛΙΣΤΑ ΕΙΚΟΝΩΝ ΚΕΦ.1 : ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ ΠΡΩΤΗΣ ΤΑΞΗΣ (ΚΛΠΤ) ΚΕΦ.2 : ΕΠΕΞΕΡΓΑΣΙΑ ΦΥΣΙΚΗΣ ΓΛΩΣΣΑΣ ΚΑΙ ΣΧΕΤΙΚΗ ΕΡΕΥΝΑ Εικόνα 2.1: Στάδια NLU.. 22 Εικόνα 2.2: Ένα παράδειγµα του συντακτικού δένδρου...55 ΚΕΦ.3 : JESS Εικόνα 3.1: Βασική οµή ΣΒΚ...63 Εικόνα 3.2: ιαδικασία Εξαγωγής Συµπερασµάτων ΚΕΦ.4 : ΤΟ ΣΥΣΤΗΜΑ FOLtoNL Εικόνα 4.1: A special (basic) Εικόνα 4.2: B special (basic) Εικόνα 4.3: A special (general) Εικόνα 4.4: B special (general) Εικόνα 4.5: Κατηγοριοποίηση Εκφράσεων ΚΛΠΤ Εικόνα 4.6: Μετάφραση Ειδικής Συνεπαγωγής Β 80 Εικόνα 4.7: ένδρο έκφρασης: (forall x) gardener(x)=>likes(x,sun). 83 Εικόνα 4.8: ένδρο έκφρασης:(forall x) (exists y) (exists z) (exists w) ( human(x) & name(y) & age(z) & birthday(w)) => (has(x,y) & has(x,z) & has(x,w)) 83 Εικόνα 4.9: ένδρο έκφρασης: (forall x) (human(x) => (little(x) => (~dwarf(x) => child(x))). 83 Εικόνα 4.10: ένδρο έκφρασης: (forall x) (mushroom(x) & purple(x)) => poisonous(x).. 84 Εικόνα 4.11: ένδρο έκφρασης: (forall x) ~( (human(x)=>mortal(x)) => (mortal(x)=>human(x))). 84 Εικόνα 4.12: Ενοποίηση κόµβων ΚΑΙ.. 85 Εικόνα 4.13: Απαλοιφή διπλού ΟΧΙ 85 Εικόνα 4.14: Μετάδοση άρνησης στο ΚΑΙ (1 sentence) 86 Εικόνα 4.15: Απαλοιφή ταυτολογιών.. 86 Εικόνα 4.16: Μετασχηµατισµός Ειδικών Συνεπαγωγών µορφής Α..90 Εικόνα 4.17: Μετασχηµατισµός Ειδικών Συνεπαγωγών µορφής Β..90 Εικόνα 4.18: complex-and Nodes Εικόνα 4.19: and-or Nodes..91 Εικόνα 4.20: Μέρη µιας B-special Συνεπαγωγής Εικόνα 4.21: Αρχιτεκτονική FOLtoNL Εικόνα 4.22: Κόµβοι κατηγοριών για κάθε σύµβολο µεταβλητής ΚΕΦΑΛΑΙΟ 5 : ΣΥΜΠΕΡΑΣΜΑΤΑ 8

8 ΕΙΣΑΓΩΓΗ Με σκοπό την ενίσχυση του µαθήµατος Τεχνητή Νοηµοσύνη στο τµήµα Μηχανικών Η/Υ και Πληροφορικής της Πολυτεχνικής σχολής του Πανεπιστηµίου Πατρών έχει δηµιουργηθεί από την Οµάδα Τεχνητής Νοηµοσύνης το πρωτότυπο για ένα ευφυές Σύστηµα ιδασκαλίας Τεχνητής Νοηµοσύνης (Σ ΤΝ). Το σύστηµα αυτό διδάσκει την Κατηγορηµατική Λογική ως γλώσσα Αναπαράστασης Γνώσης και Αυτόµατου Συλλογισµού. Πρόκειται για σύστηµα που προσαρµόζεται, επιτρέποντας στους φοιτητές να επιλέγουν οι ίδιοι τον ρυθµό και το επίπεδο µάθησης, π.χ. κάθε φοιτητής-χρήστης µπορεί να επιλέξει το επίπεδο πολυπλοκότητας και δυσκολίας των ασκήσεων που θα του δοθούν από το σύστηµα. Ένα άλλο ενδιαφέρον σηµείο του συστήµατος είναι η δυνατότητα που δίνει στον φοιτητή να δοκιµάσει µετατροπή µιας οποιασδήποτε πρότασης Κατηγορηµατικού Λογισµού Πρώτης Τάξης (ΚΛΠΤ) σε Προτασιακή Μορφή. Ένα από τα θέµατα που διαπραγµατεύεται το σύστηµα είναι και η µετατροπή προτάσεων από φυσική γλώσσα (ΦΓ) σε προτάσεις ΚΛΠΤ. Επειδή η διαδικασία αυτή δεν είναι αυτοµατοποιήσιµη, ο φοιτητής δεν µπορεί να πάρει κάποια βοήθεια ή υπόδειξη από το σύστηµα, πριν δώσει την τελική του απάντηση. Γι αυτό, θεωρήθηκε σκόπιµο να ενσωµατωθεί µια επιπλέον δυνατότητα: η µετατροπή των προτάσεων ΚΛΠΤ που δηµιουργεί ένας φοιτητής στην προσπάθειά του να λύσει τέτοιες ασκήσεις, σε προτάσεις ΦΓ. Η δυνατότητα αυτή θα µπορούσε να χρησιµοποιηθεί από τον φοιτητή για την αυτοαξιολόγησή του, πριν καταθέσει την τελική του απάντηση στο σύστηµα. Με άλλα λόγια, θα µπορούσε να αποτελέσει ένα είδος ανατροφοδότησης του συστήµατος στον χρήστη, για την προσφορά κάποιας βοήθειας. Για την υλοποίηση αυτής της δυνατότητας ξεκίνησε, στα πλαίσια της προπτυχιακής µου διπλωµατικής εργασίας, η ανάπτυξη ενός ανεξάρτητου συστήµατος βασισµένου σε κανόνες, του FOLtoNL (First Order Logic to Natural Language), µε στόχο την επιτυχή µετατροπή προτάσεων ΚΛΠΤ σε ΦΓ. Η µετατροπή αυτή επιτεύχθηκε, αλλά όχι στον καλύτερο δυνατό βαθµό και όχι για όλες τις δυνατές περιπτώσεις. Το FOLtoNL υλοποιήθηκε σε Jess, µια γλώσσα προγραµµατισµού µε κανόνες, γραµµένη εξ ολοκλήρου σε Java. Ήταν απλουστευµένο και δούλευε για έναν πολύ περιορισµένο αριθµό πιθανών εισόδων. Το κύριο µειονέκτηµα του συστήµατος ήταν η αδυναµία µετατροπής ΚΛΠΤ σε προτάσεις «καθαρά» φυσικής γλώσσας. Οι προτάσεις που επιστρέφονταν, αφενός περιείχαν σύµβολα µεταβλητών της µορφής ΚΛΠΤ και αφετέρου είχαν µια αρκετά αυστηρή και άκαµπτη µορφή, συγκρινόµενες µε την φυσική γλώσσα που χρησιµοποιούµε. Σκοπός της παρούσας εργασίας ήταν η βελτίωση/τελειοποίηση του συστήµατος FOLtoNL, ώστε να επιτυγχάνει τον αρχικό του στόχο µε τον καλύτερο δυνατό τρόπο. Για τον σκοπό αυτό απαιτήθηκε, καταρχήν, βιβλιογραφική έρευνα κυρίως στο χώρο της Παραγωγής Φυσικής Γλώσσας (Natural Language Generation-NLG), αλλά και γενικότερα στα πεδία της Επεξεργασίας και Κατανόησης Φυσικής Γλώσσας (Natural Language Processing/Understanding). Σκοπός της έρευνας ήταν να εντοπιστούν µέθοδοι που θα µπορούσαν να ενσωµατωθούν ή να συνδυαστούν µε την, έως τότε, βασισµένη σε κανόνες προσέγγιση, ώστε να προκύψουν τα επιθυµητά αποτελέσµατα. Η έρευνα που έγινε δεν οδήγησε τελικά σε ανάγκη επανασχεδιασµού του συστήµατος αν και µια τέτοια ανάγκη είχε θεωρηθεί πιθανή αρχικά. Συνεπώς, πραγµατοποιήθηκε 9

9 σχεδιασµός και υλοποίηση µιας νέας, βελτιωµένης µεθόδου η οποία εξακολουθεί να βασίζεται σε κανόνες αλλά δίνει πολύ καλύτερα αποτελέσµατα και καλύπτει πολλές από τις προηγούµενες αδυναµίες. Η νέα εκδοχή του FOLtoNL αξιολoγήθηκε µε βάση τα αποτελέσµατά του συστήµατος σε ειδικά σχεδιασµένο σύνολο προτάσεων ΚΛΠΤ. Η έρευνα εστιάστηκε καταρχήν στο να βρεθούν εργασίες που επιχειρούν µετατροπή ίδια µε αυτήν που µας ενδιέφερε. Από εκείνη την έρευνα προέκυψε πως η βιβλιογραφία η σχετική µε την επιθυµητή µετατροπή ήταν πολύ περιορισµένη. Στη συνέχεια προσανατολιστήκαµε γενικότερα στον χώρο Παραγωγής Φυσικής Γλώσσας και Υπολογιστικής Γλωσσολογίας (Computational Linguistics), που σχετίζονται µε την µετατροπή από κάποια λογική µορφή σε φυσική γλώσσα, εντοπίζοντας αρκετές εργασίες και βιβλία. Στις περισσότερες από αυτές τις εργασίες, βέβαια, η λογική µορφή δεν είναι ΚΛΠΤ, ενώ κάποιες άλλες που αφορούν ΚΛΠΤ, εστιάζουν στην δηµιουργία κάποιου τύπου λογικής γραµµατικής σε Prolog, όπως π.χ. µια Definite Clause Grammar (DCG), για την µετατροπή από ΦΓ σε ΚΛΠΤ. Από την στιγµή που θα επιτευχθεί το τελευταίο, η αντίστροφη µετατροπή µπορεί να γίνει πολύ εύκολα λόγω της αντιστρεψιµότητας (reversibility) των προγραµµάτων Prolog. Κάποια εργασία που να προσεγγίζει ακριβώς µετατροπή ΚΛΠΤ σε ΦΓ δεν βρέθηκε και πάλι, παρά µόνο στο τελευταίο στάδιο υλοποίησης του βελτιωµένου συστήµατος µας. Βρέθηκαν δύο εργασίες πάνω στο ίδιο θέµα και µάλιστα µε παρόµοιο κίνητρο µε το δικό µας, δηλαδή την παροχή υποδείξεων και βοήθειας στους χρήστες ενός ευφυούς συστήµατος διδασκαλίας µε ασκήσεις ΚΛΠΤ. Τα συστήµατα εκείνων των εργασιών, βέβαια, δεν είναι βασισµένα σε κανόνες και ξεκινούν από µια κάπως διαφορετική βάση σε σχέση µε το δικό µας. Για τις πιο απλές περιπτώσεις ΚΛΠΤ, οι έξοδοι αυτών των συστηµάτων και του δικού µας ταυτίζονται ή µοιάζουν αρκετά. Τα άλλα συστήµατα, όµως, δεν λαµβάνουν υπόψη συναρτήσεις, δεν αφορούν προτάσεις ΚΛΠΤ µε πάνω από δύο µεταβλητές, δεν παρουσιάζουν παραδείγµατα λειτουργίας για πολλαπλές συνεπαγωγές σε διαφορετικά επίπεδα, δεν µπορούν να χειριστούν την προτεραιότητα τελεστών σε κάποιες προτάσεις και σε κάποιες περιπτώσεις περιέχουν στην έξοδο σύµβολα µεταβλητών, σε αντίθεση µε την νέα έκδοση του δικού µας συστήµατος που έχει εστιάσει και σε αυτά τα ζητήµατα. Στο 1 ο κεφάλαιο παρουσιάζονται κάποια θέµατα που αφορούν την θεωρία του Κατηγορηµατικού Λογισµού ως Γλώσσας Αναπαράστασης Γνώσης για εφαρµογές Τεχνητής Νοηµοσύνης. Τo 2o κεφάλαιο αφορά το επιστηµονικό πεδίο, µέσα στο οποίο εντάσσεται η παρούσα εργασία. Πιο συγκεκριµένα, στο κεφάλαιο αυτό γίνεται αναφορά στην Επεξεργασία Φυσικής Γλώσσας και ιδιαίτερα στην Παραγωγή Φυσικής Γλώσσας και επιπλέον παρουσιάζονται κάποιες εργασίες στις οποίες βασίστηκε η έρευνά µας. Στο 3 ο κεφάλαιο γίνεται εισαγωγή στα βασικότερα χαρακτηριστικά του εργαλείου JESS και στο 4 ο παρουσιάζεται το βελτιωµένο σύστηµα FOLtoNL. Τέλος, στο 5 ο κεφάλαιο γίνεται µια ανακεφαλαίωση σχετικά µε το σύστηµα και συγκρίνεται µε την προηγούµενη εκδοχή του και µε τις άλλες σχετικές εργασίες. Πηγή για το πρώτο κεφάλαιο είναι οι σηµειώσεις από το µάθηµα Τεχνητής Νοηµοσύνης του Τµήµατος Μηχανικών Η/Υ και Πληροφορικής του Πανεπιστηµίου Πατρών «Αναπαράσταση Γνώσης και Αυτόµατος συλλογισµός» (Χατζηλυγερούδης, 2004), ενώ για την πρώτη ενότητα του δεύτερου κεφαλαίου το βιβλίο «Τεχνητή Νοηµοσύνη» (Βλαχάβας, Κεφαλάς, Βασιλειάδης, Ρεφανίδης, Κόκκορας, 2002). Στα υπόλοιπα κεφάλαια οι πηγές αναφέρονται, όπου χρειάζεται, µε τα ονόµατα των αντίστοιχων συγγραφέων. 10

10 Μετά τα βασικά κεφάλαια της εργασίας ακολουθούν δύο παραρτήµατα. Στο παράρτηµα Α υπάρχει η λίστα µε τις συναρτήσεις της Jess και στο παράρτηµα Β υπάρχει το λεξικό που χρησιµοποιεί το σύστηµα για να πετύχει την µετατροπή (lex.clp). 11

11 ΚΕΦΑΛΑΙΟ 1 ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ ΠΡΩΤΗΣ ΤΑΞΗΣ (ΚΛΠΤ) 12

12 1.1 ΒΑΣΙΚΑ ΣΤΟΙΧΕΙΑ ΘΕΩΡΙΑΣ ΚΛΠΤ Τεχνητή Νοηµοσύνη και ΚΛΠΤ Τεχνητή Νοηµοσύνη (ΤΝ) είναι ο τοµέας της επιστήµης των υπολογιστών, που ασχολείται µε τη σχεδίαση ευφυών υπολογιστικών συστηµάτων, δηλαδή συστηµάτων που επιδεικνύουν χαρακτηριστικά που σχετίζουµε µε τη νοηµοσύνη στην ανθρώπινη συµπεριφορά. Αντικείµενό της είναι η επίλυση προβληµάτων. Η εξίσωση που περιγράφει την ΤΝ είναι «ΤΝ = Αναπαράσταση Γνώσης + Αναζήτηση». Η Αναπαράσταση Γνώσης αφορά τους τρόπους αναπαράστασης της γνώσης γύρω από ένα πρόβληµα, µε στόχο την περιγραφή του προβλήµατος και την αυτοµατοποίηση της συλλογιστικής για την επίλυσή του. Η Αναζήτηση αφορά διάφορους αλγόριθµους που αυτοµατοποιούν την διαδικασία επίλυσης ενός προβλήµατος, αναζητώντας λύσεις µε χρήση της κατάλληλης αναπαράστασης της γνώσης που περιγράφει το πρόβληµα. Οι αλγόριθµοι αναζήτησης, µαζί µε την αναπαράσταση γνώσης, συνθέτουν τον πυρήνα κάθε εφαρµογής της ΤΝ. Ο Κατηγορηµατικός Λογισµός Πρώτης Τάξης (ΚΛΠΤ) ανήκει στις δηµοφιλέστερες µεθόδους αναπαράστασης γνώσης Αναπαράσταση Γνώσης Η Αναπαράσταση Γνώσης (ΑΓ) είναι µια περιοχή της ΤΝ που ασχολείται µε το πώς µπορεί καλύτερα και αποδοτικότερα να παρασταθεί γνώση γύρω από ένα πεδίο µέσα σε ένα Η/Υ για τη λύση προβληµάτων. Οποιοδήποτε σύστηµα που εκδηλώνει ευφυή συµπεριφορά περιλαµβάνει δύο βασικά δοµικά στοιχεία. Το πρώτο είναι µια βάση γνώσης. Το δεύτερο είναι ένας µηχανισµός εξαγωγής συµπερασµάτων (ΜΕΣ). Η γνώση δεν προγραµµατίζεται στο σύστηµα, αλλά περιγράφεται ρητά στη βάση γνώσης (ΒΓ) µε τη βοήθεια κάποιας τυπικής-αυστηρής γλώσσας, που ονοµάζεται Γλώσσα Αναπαράστασης της Γνώσης (ΓΑΓ). ηλαδή η ΒΓ αποτελείται από ένα σύνολο εκφράσεων-προτάσεων µιας ΓΑΓ που περιγράφουν την ενσωµατωµένη στο σύστηµα γνώση. Τη ΒΓ χειρίζεται ο ΜΕΣ, ο οποίος επεξεργάζεται τις εκφράσεις σε αυτήν για να παράγει ευφυή συµπεριφορά. Μια Γλώσσα Αναπαράστασης Γνώσης µπορεί να οριστεί σαν ένα σύνολο συντακτικών και σηµασιολογικών συµβάσεων που καθιστά δυνατή την περιγραφή κάποιας γνώσης. Το σύνολο αυτό, συνοδεύεται από ένα άλλο σύνολο κανόνων που επιτρέπει τον αποδοτικό χειρισµό αυτής της γνώσης. Μια ΓΑΓ έχει δυο βασικά στοιχεία. Το ένα είναι η σύνταξη ή σηµειογραφία και προσδιορίζει πώς πρέπει να σχηµατίζονται οι σωστές εκφράσεις της γλώσσας. Η σύνταξη µιας γλώσσας περιλαµβάνει : α) ένα σύνολο πρωτογενών συµβόλων (λεξιλόγιο) και β) ένα σύνολο γραµµατικών κανόνων (συντακτικοί κανόνες) για τον σχηµατισµό εκφράσεων της γλώσσας. Εκφράσεις µιας ΓΑΓ µε σωστή σύνταξη λέγονται καλά σχηµατισµένες εκφράσεις (ΚΣΕ, well formed formulas - wff) ή καλά σχηµατισµένοι τύποι. Το δεύτερο στοιχείο είναι η σηµασιολογία ή σηµαντική µιας ΓΑΓ, η οποία προσδιορίζει την έννοια των ΚΣΕ της γλώσσας, δηλ. το αν µια έκφραση είναι αληθής ή ψευδής. Αποτελείται από ένα σύνολο κανόνων (σηµασιολογικοί κανόνες) που 13

13 καθορίζουν την έννοια µιας σύνθετης ΚΣΕ από τις έννοιες των επί µέρους στοιχειωδών εκφράσεων που τη συνιστούν. Ο ΜΕΣ χειρίζεται τις ΚΣΕ της γλώσσας για την παραγωγή νέας γνώσης, µε την έννοια ότι γνώση µη ρητά περιγραφόµενη, αλλά ενυπάρχουσα στη ΒΓ, γίνεται φανερή. Π.χ. από τις προτάσεις «κάθε άνθρωπος είναι θνητός», «ο Σωκράτης είναι άνθρωπος» µπορεί να εξαχθεί το συµπέρασµα «ο Σωκράτης είναι θνητός», το οποίο όµως δεν αποτελεί εντελώς νέα γνώση, αλλά φανέρωση γνώσης υπονοούµενης στις δύο παραπάνω προτάσεις. Αυτός ο χειρισµός-επεξεργασία της γνώσης γίνεται µε τη χρήση ορισµένων αφηρηµένων κανόνων, που ονοµάζονται κανόνες εξαγωγής συµπερασµάτων ή συµπερασµατικοί κανόνες και είναι γενικοί δηλ. δεν εξαρτώνται από τη συγκεκριµένη γνώση που βρίσκεται στη ΒΓ. Ο ΜΕΣ δεν αποτελεί στοιχείο της ΓΑΓ καθ αυτής, αλλά συνδέεται αναπόσπαστα µε αυτήν και τη συνοδεύει. Έτσι, δεν εννοείται ΓΑΓ χωρίς καθορισµένο ΜΕΣ. Μια ΓΑΓ µαζί µε τον αντίστοιχο ΜΕΣ αποτελούν ένα σύστηµα αναπαράστασης γνώσης. Οι δηµοφιλέστερες µέθοδοι αναπαράστασης γνώσης ανήκουν σε τρεις βασικές κατηγορίες: την Λογική, τις οµηµένες αναπαραστάσεις γνώσης και τους Κανόνες (if-then rules). Στην Λογική ανήκουν η προτασιακή λογική (propositional logic), η κατηγορηµατική λογική (predicate logic) και η διαζευκτική µορφή της λογικής (clausal form of logic). Στις οµηµένες αναπαραστάσεις γνώσης ανήκουν τα σηµασιολογικά δίκτυα (semantic networks), τα πλαίσια (frames), η εννοιολογική εξάρτηση (conceptual dependency) και τα σενάρια (scripts). Εµείς, σε αυτό το κεφάλαιο, αρκούµαστε σε κάποια από τα στοιχεία της Λογικής. Συγκεκριµένα, γίνεται µια αναφορά στην Προτασιακή Λογική και µετά εκτενέστερη παρουσίαση της Κατηγορηµατικής Λογικής και του ΚΛΠΤ που µας ενδιαφέρει Λογική Η Λογική παρέχει έναν τρόπο για την αποσαφήνιση και την τυποποίηση της διαδικασίας της ανθρώπινης σκέψης και προσφέρει µια σηµαντική και εύχρηστη µεθοδολογία για την αναπαράσταση και επίλυση προβληµάτων. Η ανάγκη χρήσης µιας αυστηρά ορισµένης γλώσσας, µε τη µαθηµατική έννοια, προήλθε από την ακαταλληλότητα της φυσικής γλώσσας για χρήση σε υπολογιστικά συστήµατα. Αντίθετα, η Λογική προσφέρει µια σαφή, ακριβή και απλή στη σύνταξη γλώσσα, καθώς και τη δυνατότητα παραγωγής νέας γνώσης από την ήδη υπάρχουσα. Η Λογική ορίζεται σαν η µελέτη της σωστής εξαγωγής συµπερασµάτων. Μια κατ ελάχιστον απαίτηση για σωστή εξαγωγή συµπερασµάτων είναι η διατήρηση της αλήθειας, δηλαδή η απαίτηση από αληθείς υποθέσεις - προτάσεις να εξάγονται αληθή συµπεράσµατα - προτάσεις. Γι αυτό και η Λογική ορίζεται κατ ελάχιστον σαν η µελέτη της διατήρησης της αλήθειας στην εξαγωγή συµπερασµάτων (συµπερασµατική). Μια λογική γλώσσα είναι µια ΓΑΓ. Έτσι, για να την ορίσουµε πρέπει να ορίσουµε τα τρία βασικά στοιχεία για αυτήν: (1) την σύνταξη, (2) την σηµαντική και (3) την αποδεικτική θεωρία (συµπερασµατικοί κανόνες). Υπάρχουν δύο βασικά είδη τυπικής Λογικής, ο Προτασιακός Λογισµός και ο Κατηγορηµατικός Λογισµός. Ο Προτασιακός Λογισµός ή Προτασιακή Λογική (propositional calculus - logic) χρησιµοποιεί ολόκληρες προτάσεις σαν δοµικές µονάδες, ενώ ο Κατηγορηµατικός Λογισµός ή Κατηγορηµατική Λογική (predicate 14

14 calculus-logic) αναλύει µια πρόταση σε περισσότερες δοµικές µονάδες. Πιο προχωρηµένο και πιο χρήσιµο είδος λογικής, ιδιαίτερα για εφαρµογές ΤΝ, είναι η Κατηγορηµατική Λογική και πιο συγκεκριµένα ο Κατηγορηµατικός Λογισµός Πρώτης Τάξης (First-Order Predicate Calculus), συντοµογραφικά ΚΛΠΤ (FOPC) Προτασιακή Λογική Η Προτασιακή Λογική αποτελεί την απλούστερη µορφή Λογικής. Σε αυτήν κάθε γεγονός του πραγµατικού κόσµου αναπαρίσταται µε µια λογική πρόταση, η οποία χαρακτηρίζεται είτε ως αληθής (true) είτε ως ψευδής (false), µπορεί δηλαδή να έχει δύο λογικές τιµές. Οι λογικές προτάσεις αναπαρίστανται συνήθως από λατινικούς χαρακτήρες : P, Q, R κλπ. και ονοµάζονται άτοµα (atoms). Τα άτοµα µπορούν να συνδυαστούν µε χρήση λογικών συµβόλων ή συνδετικών (connectives), τα οποία φαίνονται στον παρακάτω πίνακα µαζί µε τις ονοµασίες και τις επεξηγήσεις τους: Σύµβολο Ονοµασία/Επεξήγηση Σύζευξη (λογικό ΚΑΙ) ιάζευξη (λογικό Η) Άρνηση (λογικό ΟΧΙ) Συνεπαγωγή (ΕΑΝ - ΤΟΤΕ) Ισοδυναµία (ΑΝ ΚΑΙ ΜΟΝΟ ΑΝ) Πίνακας 1.1: Συνδετικά ΚΛΠΤ Οι σύνθετες προτάσεις που προκύπτουν ονοµάζονται ορθά δοµηµένοι τύποι. Η λογική τιµή των ορθά δοµηµένων τύπων υπολογίζεται χρησιµοποιώντας πίνακες αλήθειας ή απόδειξη. Παραδείγµατα αναπαράστασης γνώσης µε τη χρήση της προτασιακής λογικής φαίνονται παρακάτω. Σε κάθε πρόταση (ονοµάζεται και γεγονός) που θέλουµε να αναπαραστήσουµε αντιστοιχεί ένας λατινικός χαρακτήρας: P: «Ο Νίκος είναι προγραµµατιστής» Q: «Ο Νίκος έχει υπολογιστή» Η αναπαράσταση της γνώσης ότι εάν ο Νίκος είναι προγραµµατιστής, τότε έχει και υπολογιστή γίνεται µε το συνδυασµό των δύο παραπάνω προτάσεων µέσω του κατάλληλου συνδετικού σε P Q: Εάν «Ο Νίκος είναι προγραµµατιστής» τότε «Ο Νίκος έχει υπολογιστή». Αν υποτεθεί ότι οι προτάσεις P και Q είναι αληθείς, τότε και ο ορθά δοµηµένος τύπος P Q είναι αληθής. Στις δύο προτάσεις που ακολουθούν αναπαρίσταται η γνώση που αφορά τις ιδιότητες ενός συγκεκριµένου τριγώνου ΑΒΓ: R: «Το τρίγωνο ΑΒΓ είναι ισόπλευρο» V: «Το τρίγωνο ΑΒΓ έχει όλες τις πλευρές του ίσες» Η ισοδυναµία µεταξύ των προτάσεων R και V δηλώνεται µε τον εξής ορθά δοµηµένο τύπο: R V: «Το τρίγωνο ΑΒΓ είναι ισόπλευρο» αν και µόνο αν «Το τρίγωνο ΑΒΓ έχει όλες τις πλευρές του ίσες» Τα πλεονεκτήµατα της χρήσης της προτασιακής λογικής για την αναπαράσταση γνώσης είναι η απλότητα στη σύνταξη και το γεγονός ότι µπορεί να καταλήξει πάντα σε συµπέρασµα. Σηµαντικό όµως µειονέκτηµα είναι η έλλειψη γενικότητας που 15

15 οδηγεί σε ογκώδεις αναπαραστάσεις γνώσης, καθώς κάθε γεγονός πρέπει να αναπαρίσταται µε µια χωριστή λογική πρόταση Κατηγορηµατική Λογική Η Κατηγορηµατική Λογική ή Λογική Πρώτης Τάξεως λύνει το πρόβληµα της µη προσπελασιµότητας των στοιχείων των γεγονότων της προτασιακής λογικής. Για παράδειγµα, στην κατηγορηµατική λογική, η πρόταση: «ο Νίκος είναι προγραµµατιστής» αναπαρίσταται µε προγραµµατιστής(νίκος), επιτρέποντας έτσι την προσπέλαση των στοιχείων του συγκεκριµένου αντικειµένου (Νίκος) από τους κανόνες εξαγωγής συµπερασµάτων για τη δηµιουργία νέων προτάσεων. Η κατηγορηµατική λογική επεκτείνει την προτασιακή λογική εισάγοντας όρους (terms), κατηγορήµατα (predicates) και ποσοδείκτες (quantifiers). Ένα γεγονός αναπαρίσταται µε έναν ατοµικό τύπο της µορφής P( A1, A 2,..., A n ), όπου το P ονοµάζεται κατηγόρηµα (predicate) και τα A 1, A 2,..., A nορίσµατα (arguments). Κάθε όρισµα µπορεί να είναι σταθερά, µεταβλητή, η συναρτησιακός όρος (functional term). Οι συναρτησιακοί όροι έχουν την µορφή f( t 1, t 2,..., t n ), όπου το f ονοµάζεται συναρτησιακό σύµβολο και τα t 1, t 2,..., t ορίσµατα. n Τα συνδετικά της Κατηγορηµατικής Λογικής είναι τα ίδια µε αυτά που εµφανίστηκαν στον πίνακα συνδετικών της προτασιακής λογικής, µόνο που πλέον υπάρχουν δύο επιπλέον σύµβολα που ονοµάζονται ποσοδείκτες: Σύµβολο Ονοµασία/Επεξήγηση Καθολικός ποσοδείκτης ( x σηµαίνει : για κάθε x) Υπαρξιακός ποσοδείκτης ( x σηµαίνει : υπάρχει x) Πίνακας 1.2: Ποσοδείκτες ΚΛΠΤ Θα πρέπει να σηµειωθεί ότι η ύπαρξη µεταβλητών και ποσοδεικτών αυξάνει σηµαντικά την εκφραστική ικανότητά της κατηγορηµατικής λογικής. Με αυτόν τον τρόπο µπορούµε να εκφράσουµε την πρόταση «Κάθε άνθρωπος έχει όνοµα» ως ( x)( y) άνθρωπος(x) όνοµα(x). Παρόµοια, µπορούµε να εκφράσουµε την πρόταση «Όλοι οι παίκτες του µπάσκετ είναι ψηλοί» ως ( x) (παίκτης_µπάσκετ(x) ψηλός(x)). Τα πλεονεκτήµατα της κατηγορηµατικής λογικής συνοψίζονται στην αντιστοιχία µε τη φυσική γλώσσα, την ικανοποιητική έκφραση ποσοτικοποίησης των εννοιών µε τους κατάλληλους ποσοδείκτες και την ικανότητά της να συλλάβει τη γενικότητα. Ένα σηµαντικό µειονέκτηµα της λογικής είναι γενικότερα η αδυναµία έκφρασης της ασάφειας, καθώς κάθε πρόταση µπορεί να είναι αληθής ή ψευδής χωρίς να δίνεται η δυνατότητα έκφρασης ασαφών τιµών. Στα µειονεκτήµατα συγκαταλέγεται επίσης η αθροιστικότητα των αποτελεσµάτων, δηλαδή ένα εξαγόµενο συµπέρασµα προστίθεται στη γνώση χωρίς να δίνεται η δυνατότητα αναθεώρησής του αν αργότερα κριθεί ότι είναι εσφαλµένο (µονότονη λογική). 16

16 Για τον καθορισµό των διαφόρων στοιχείων του ΚΛΠΤ χρειάζεται να διευκρινιστεί η παρακάτω έννοια του πεδίου ορισµού. Πεδίο Ορισµού D (Universe of Discourse), ονοµάζεται το σύνολο των αντικειµένων-οντοτήτων που σχετίζονται µε τη γνώση που θέλουµε να αναπαραστήσουµε. Ακολουθούν οι συντακτικοί κανόνες του ΚΛΠΤ που µας ενδιαφέρουν. Με τους σηµασιολογικούς κανόνες δεν θα ασχοληθούµε εδώ. Ο ΚΛΠΤ περιλαµβάνει τα εξής: Ένα σύνολο από σταθερές (constants) : {ci}, στοιχείο του D. Μια σταθερά αντιπροσωπεύει ένα συγκεκριµένο αντικείµενο στο D. Τις λογικές σταθερές true και false : { T, F }. Ένα σύνολο από µεταβλητές (variables) : {vi}, υποσύνολο του D. Μια µεταβλητή αντιπροσωπεύει κάποιο αντικείµενο από το D χωρίς να ονοµάζει ποιο. n Ένα σύνολο από συναρτήσεις (functions) : {fi}: D D. Μια συνάρτηση n µεταβλητών είναι µια αµφιµονοσήµαντη απεικόνιση που αντιστοιχεί ένα σύνολο οντοτήτων σε µια οντότητα. Η συνάρτηση δηλαδή αναφέρεται σε µια οντότητα που σχετίζεται µε τις µεταβλητές οντότητές που αποτελούν τους όρους της. n Ένα σύνολο από κατηγορήµατα (predicates) : {Pi}: D {T, F}. Ένα κατηγόρηµα n ορισµάτων ή θέσεων είναι µια αντιστοίχιση κάποιας ακολουθίας n αντικειµένων του πεδίου ορισµού D στο {T, F} κι εκφράζει ένα συσχετισµό µεταξύ των αντικειµένων. Αν τα n αντικείµενα συσχετίζονται µεταξύ τους µε τον τρόπο που δηλώνει το κατηγόρηµα, τότε αυτό παίρνει την τιµή Τ, διαφορετικά παίρνει την τιµή F. Τα λογικά διασυνδετικά (connectives): όχι (not ), ή (or ), και (and ), συνεπάγεται (implies ) και ισοδυναµεί (equivalent ). Τα είδαµε και πριν στην Κατηγορηµατική Λογική µε µια µικρή διαφορά στα δύο τελευταία σύµβολα που είναι, όµως, ισοδύναµα µε τα προηγούµενα. ύο ποσοδείκτες: ο καθολικός (universal ) και ο υπαρξιακός (existential ). Και τους ποσοδείκτες τους είδαµε στην ενότητα της Κατηγορηµατικής Λογικής. Οι σταθερές, οι λογικές σταθερές, οι µεταβλητές, οι συναρτήσεις και τα κατηγορήµατα συνθέτουν το λεξιλόγιο του ΚΛΠΤ. Όπως είδαµε και πριν, η στοιχειώδης δοµική µονάδα µιας λογικής έκφρασης στον ΚΛΠΤ είναι η Ατοµική Έκφραση ή Άτοµο, έχει δε την µορφή P( t 1,..., t n ), όπου P ένα κατηγόρηµα n ορισµάτων και t 1,..., t οι όροι του. n Ένας Όρος (Term) ορίζεται αναδροµικά ως εξής : i. Μια σταθερά είναι όρος. ii. Μια µεταβλητή είναι όρος. iii. Αν f είναι µια συνάρτηση n µεταβλητών και t,..., 1 t n είναι όροι, τότε η f( t 1,..., t n ) είναι όρος. iv. Όλοι οι όροι παράγονται µε εφαρµογή των κανόνων (i), (ii), (iii). 17

17 Με βάση τα προηγούµενα, µπορούµε τώρα να ορίσουµε αυστηρά µια ΚΣΕ (καλά σχηµατισµένη έκφραση) ή πιο απλά µια έκφραση στον ΚΛΠΤ: i. Ένα άτοµο είναι µια ΚΣΕ. ii. Αν F και G είναι ΚΣΕς, τότε F, ( F G), ( F G), ( F G) και ( F G) είναι ΚΣΕς. iii. Αν F είναι µια ΚΣΕ και x µια ελεύθερη µεταβλητή στη F, τότε οι ( x) F και ( x ) F είναι ΚΣΕς. iv. Οι ΚΣΕς δηµιουργούνται µόνο από πεπερασµένο αριθµό εφαρµογών των (i), (ii) και (iii). Για παράδειγµα, αν το greater είναι ένα κατηγόρηµα που εκφράζει τη σχέση «µεγαλύτερο», τότε το greater(3,2) είναι ένα άτοµο που είναι αληθές (Τ), ενώ το greater(1,3) είναι ψευδές (F). Aν x, y είναι µεταβλητές τότε η έκφραση ( x)( y) greater( x, y) είναι µια ΚΣΕ και σηµαίνει «για κάθε x υπάρχει y τέτοιο ώστε το greater(x,y) να είναι αληθές», µε άλλα λόγια «για κάθε x υπάρχει y τέτοιο ώστε το x να είναι µεγαλύτερο του y». Κάθε ποσοδείκτης έχει µια εµβέλεια (scope), η οποία είναι η έκφραση στην οποία εφαρµόζεται. Για παράδειγµα, στην προηγούµενη έκφραση η εµβέλεια του x (και του y) είναι η έκφραση greater(x,y). Μια µεταβλητή λέγεται δεσµευµένη (bound) σε µια έκφραση, αν και µόνο αν µια εµφάνισή της σε αυτή την έκφραση βρίσκεται µέσα στην εµβέλεια ενός ποσοδείκτη που την προσδιορίζει. Μια µεταβλητή που δεν είναι δεσµευµένη λέγεται ελεύθερη (free). Για παράδειγµα, στην έκφραση ( x) P( x, y) η µεταβλητή x είναι δεσµευµένη, ενώ η y είναι ελεύθερη. Μια πρόταση που περιέχει ελεύθερες µεταβλητές λέγεται ανοιχτή πρόταση, ενώ µια πρόταση που δεν περιέχει καθόλου ελεύθερες µεταβλητές λέγεται κλειστή πρόταση. Ακολουθεί ένα παράδειγµα στο οποίο αναπαρίσταται σε ΚΛΠΤ η γνώση για τα χαρακτηριστικά διαφόρων ειδών ζώων. Η γνώση αποτυπώνεται στο ακόλουθο σύνολο προτάσεων: i. Κάθε ζώο το οποίο έχει τρίχωµα ή παράγει γάλα είναι θηλαστικό. ii. Κάθε ζώο που έχει φτερά και γεννάει αυγά είναι πουλί. iii. Κάθε θηλαστικό που τρέφεται µε κρέας ή έχει κοφτερά δόντια είναι σαρκοβόρο. iv. Κάθε σαρκοβόρο µε χρώµα καφέ-πορτοκαλί που έχει ρίγες είναι τίγρης. v. Κάθε σαρκοβόρο µε χρώµα καφέ-πορτοκαλί που έχει µαύρες βούλες είναι τσιτάχ. vi. Κάθε πουλί το οποίο δεν πετά και κολυµπά είναι πιγκουΐνος. Ακολουθούν οι αναπαραστάσεις των παραπάνω προτάσεων σε ΚΛΠΤ: i. ( x ) (έχει(x,τρίχωµα) παράγει(x,γάλα)) θηλαστικό(x) ii. ( x ) (έχει(x,φτερά) γεννάει(x,αυγά) πουλί(x) iii. ( x ) (θηλαστικό(x) (τρέφεται(x,κρέας) έχει(x,κοφτερά_δόντια))) σαρκοβόρο(x) iv. ( x ) (σαρκοβόρο(x) χρώµα(καφέ_πορτοκαλί,x) έχει(x,µαύρες_ρίγες)) τίγρης(x) v. ( x ) (σαρκοβόρο(x) χρώµα(καφέ_πορτοκαλί,x) έχει(x,µαύρες_βούλες)) τσιτάχ(x) 18

18 vi. ( x ) (πουλί(x) πετάει(x) κολυµπάει(x)) πιγκουίνος(x) Μια ΚΣΕ λέµε ότι βρίσκεται σε Συζευκτική Κανονική Μορφή (Conjunctive Normal Form, CNF) όταν είναι γραµµένη σαν σύζευξη διαζεύξεων, όπως για παράδειγµα η ( Α Β) ( Α Γ ). Αντίθετα, λέµε ότι µια ΚΣΕ βρίσκεται σε ιαζευκτική Κανονική Μορφή (Disjunctive Normal Form, DNF) αν είναι γραµµένη σαν διάζευξη συζεύξεων, πχ ( Α Β ) ( Α Γ ). Μια έκφραση βρίσκεται σε Κανονική Μορφή Prenex (Prenex Normal Form, PNF) αν και µόνο αν έχει την µορφή ( Q1x1 )...( Qn xn )( M ), όπου κάθε Qi, i=1,,n είναι είτε το είτε το, και η Μ είναι µια έκφραση που δεν περιέχει ποσοδείκτες: Αποδεικνύεται ότι για κάθε έκφραση του ΚΛΠΤ υπάρχει µια ισοδύναµη έκφραση σε κανονική µορφή prenex. Με τον όρο «ισοδύναµη» εννοούµε ότι οι δυο εκφράσεις παίρνουν τις ίδιες λογικές τιµές (Τ ή F) κάτω από οποιαδήποτε ερµηνεία. Στην επόµενη ενότητα αναφέρεται ενδεικτικά µια σταθερή µέθοδος µετατροπής µιας έκφρασης σε κανονική prenex µορφή. Τα βασικά πλεονεκτήµατα του ΚΛΠΤ και των Λογικών Γλωσσών εν γένει είναι (1) πως έχουν ξεκάθαρη σηµαντική, (2) έχουν µεγάλη εκφραστικότητα και (3) πως προσφέρουν δηλωτική αναπαράσταση. Οι έννοιες των λογικών προτάσεων µπορούν να καθοριστούν επακριβώς, πράγµα το οποίο δίνει τη δυνατότητα ελέγχου της ορθής αναπαράστασης της γνώσης. Μειονεκτήµατα, από την άλλη, είναι η αναποτελεσµατικότητα, η αναποφασιστικότητα, η αδυναµία αναπαράστασης διαδικαστικής γνώσης και η µονοτονικότητα Προτασιακή Μορφή ΚΛΠΤ Η Προτασιακή Μορφή (Clausal Form) είναι µια απλοποιηµένη εκδοχή του ΚΛΠΤ, η οποία αποτελείται από στοιχεία και προτάσεις. Ένα στοιχείο (literal) είναι είτε µια ατοµική έκφραση (θετικό στοιχείο) είτε η άρνηση µιας ατοµικής έκφρασης (αρνητικό στοιχείο). Μια πρόταση (clause) είναι ένα σύνολο από στοιχεία, το οποίο αναπαριστά τη διάζευξή τους. Πρόκειται δηλαδή για µια διάζευξη στοιχείων. Υπάρχουν αρκετά διαφορετικά είδη προτάσεων, βάσει του πλήθους και του είδους των στοιχείων τους. Μια κενή πρόταση δεν περιέχει κανένα στοιχείο. Μια πρόταση που περιέχει ένα µόνο στοιχείο ονοµάζεται µοναδιαία, διαφορετικά ονοµάζεται µη µοναδιαία. Ανάλογα, µια πρόταση που περιέχει n στοιχεία, ονοµάζεται n-πρόταση. Όταν όλα τα στοιχεία µιας πρότασης είναι θετικά, ονοµάζεται θετική, ενώ αν όλα τα στοιχεία της είναι αρνητικά ονοµάζεται αρνητική. Μια µεικτή πρόταση περιέχει τόσο θετικά όσο και αρνητικά στοιχεία, ενώ µια πρόταση τύπου Horn περιέχει το πολύ ένα θετικό στοιχείο. Ένα ζευγάρι από στοιχεία λέγεται συµπληρωµατικό αν το ένα στοιχείο είναι θετικό, το άλλο αρνητικό και οι ατοµικές τους εκφράσεις είναι ίδιες. Μια έκφραση βρίσκεται σε προτασιακή µορφή αν µπορεί να γραφεί σαν σύζευξη από προτάσεις. Επειδή η σύζευξη και η διάζευξη είναι πράξεις προσεταιριστικές, αντιµεταθετικές και ανακλαστικές, µια έκφραση θεωρείται συχνά σαν ένα σύνολο από προτάσεις. Η διαδικασία µετατροπής µιας λογικής έκφρασης G σε προτασιακή µορφή φαίνεται παρακάτω: 1. Απαλοιφή των συνεπαγωγών από την G: 19

19 Η( f1 f 2) γράφεται σαν ( f 1 f 2). 2. Περιορισµός της εµβέλειας των αρνήσεων διανέµοντάς τες στα υπόλοιπα διασυνδετικά: Η ( ( f ) ) γράφεται σαν f Η ( x ) f γράφεται σαν ( x )( f ) Η ( x ) f γράφεται σαν ( x ) ( f ) Η ( f 1 f 2... fn) γράφεται σαν ( f 1 f 2... fn) Η ( f 1 f 2... fn) γράφεται σαν ( f1 f 2... fn) 3. Μετονοµασία µεταβλητών που δεσµεύονται από διαφορετικούς ποσοδείκτες, έτσι ώστε κάθε µεταβλητή να δεσµεύεται από έναν µόνο ποσοδείκτη. 4. Μετατροπή της έκφρασης σε κανονική prenex µορφή. Γίνεται µεταφορά ποσοδεικτών στα αριστερά της έκφρασης, µε τη σειρά που εµφανίζονται σ αυτήν. 5. Απαλοιφή των υπαρξιακών ποσοδεικτών χρησιµοποιώντας συναρτήσεις και σταθερές Skolem (Skolemization). 6. ιαγραφή των καθολικών ποσοδεικτών. 7. Μετατροπή της έκφρασης σε συζευκτική κανονική µορφή (CNF). f ( f 1 f 2... fn) ( f f1) ( f f 2)... ( f fn) Η ( ) γράφεται σαν ( ) 8. Απαλοιφή των διασυνδετικών και γραφή του συνόλου των προτάσεων που προέκυψαν. 9. Μετονοµασία των µεταβλητών, έτσι ώστε µια µεταβλητή να µην εµφανίζεται σε περισσότερες από µία προτάσεις. Κατά τη διαδικασία Skolemization αντικαθιστούµε τις µεταβλητές που δεσµεύονται από υπαρξιακό ποσοδείκτη µε ειδικές σταθερές Skolem ή ειδικές Skolem συναρτήσεις µεταβλητών, ανάλογα µε το αν υπάρχουν ή όχι καθολικοί ποσοδείκτες πριν τον αντίστοιχο υπαρξιακό. Μετά από την αντικατάσταση κάθε τέτοιας µεταβλητής στην έκφραση, φεύγει ο αντίστοιχος υπαρξιακός ποσοδείκτης. 20

20 ΚΕΦΑΛΑΙΟ 2 ΕΠΕΞΕΡΓΑΣΙΑ ΦΥΣΙΚΗΣ ΓΛΩΣΣΑΣ ΚΑΙ ΣΧΕΤΙΚΗ ΕΡΕΥΝΑ 21

21 2.1 ΕΠΕΞΕΡΓΑΣΙΑ ΦΥΣΙΚΗΣ ΓΛΩΣΣΑΣ Εισαγωγή Με τον όρο Επεξεργασία Φυσικής Γλώσσας (Natural Language Processing NLP) εννοούµε δύο διαδικασίες, την Κατανόηση Φυσικής Γλώσσας (Natural Language Understanding- NLU) και την Παραγωγή Φυσικής Γλώσσας (Natural Language Generation - NLG). Η Κατανόηση Φυσικής Γλώσσας αναφέρεται στη δυνατότητα εξαγωγής κάποιου νοήµατος από µία πρόταση-φράση, προφορική ή γραπτή, έτσι ώστε ο υπολογιστής να µπορέσει να προβεί σε ενέργειες, ή τουλάχιστον να τη µετατρέψει σε εσωτερικές δοµές αναπαράστασης γνώσης για µελλοντική χρήση. Η Παραγωγή Φυσικής Γλώσσας αναφέρεται στο αντίστροφο, δηλαδή στη µετατροπή κάποιων δοµών αναπαράστασης γνώσης σε προτάσεις φυσικής γλώσσας. Και στις δύο περιπτώσεις ενδέχεται να υπάρχει και ηχητική διασύνδεση µε το χρήστη. Η Επεξεργασία Φυσικής Γλώσσας βρίσκει µεγάλη εφαρµογή στην ανάπτυξη εξελιγµένων διασυνδέσεων (interfaces) µε το χρήστη, παρακάµπτοντας το κλασσικό µοντέλο διασύνδεσης πληκτρολόγιο ποντίκι οθόνη. Η µετατροπή µιας πρότασης ΦΓ σε µορφή ΚΛΠΤ είναι ένα είδος κατανόησης φυσικής γλώσσας. Αντίθετα, η µετατροπή µιας πρότασης ΚΛΠΤ σε φυσική γλώσσα έχει να κάνει µε παραγωγή φυσικής γλώσσας Κατανόηση Φυσικής Γλώσσας Η Κατανόηση Φυσικής Γλώσσας, όπως ήδη αναφέρθηκε, αφορά τη µετατροπή του λόγου σε µονοσήµαντες εσωτερικές δοµές αναπαράστασης γνώσης. Στην πιο ολοκληρωµένη µορφή της περιλαµβάνει τέσσερα στάδια: Εικόνα 2.1: Στάδια NLU Τα τέσσερα στάδια που απεικονίζονται στην παραπάνω εικόνα, δεν έχουν αυστηρή διαδοχή εκτέλεσης, αλλά είναι δυνατόν ένα στάδιο να λαµβάνει ανάδραση από τα επόµενα στάδια, επανυπολογίζοντας έτσι τις εξόδους του. Στην συνέχεια παρουσιάζονται τα παραπάνω στάδια λίγο πιο αναλυτικά. 22

22 Η Αναγνώριση οµιλίας (Speech recognition) είναι η διαδικασία κατά την οποία τα ηχητικά-ηλεκτρικά σήµατα µετατρέπονται σε φθόγγους και στη συνέχεια από αυτά παράγονται λέξεις και προτάσεις. Η διαδικασία αυτή πραγµατοποιείται µε την παραγωγή φασµατογραφήµατος, την αναγνώριση φθόγγων και την δηµιουργία λέξεων. Η αναγνώριση οµιλίας είναι µια εξαιρετικά δύσκολη διαδικασία. Για παράδειγµα, πολλές διαφορετικές λέξεις εκφέρονται µε τον ίδιο ακριβώς τρόπο ή, αντίθετα, η ίδια λέξη ή ακόµη και φθόγγοι µπορεί να εκφέρονται µε διαφορετικούς τρόπους. Για το λόγο αυτό πολλά συστήµατα αναγνώρισης οµιλίας κάνουν παραδοχές απλούστευσης. Η Συντακτική ανάλυση (Syntactic analysis) έχει σκοπό να οµαδοποιήσει τις λέξεις που παρήχθησαν από το προηγούµενο στάδιο σε προτάσεις, οι οποίες πρέπει να είναι σωστές βάσει των γραµµατικών και των συντακτικών κανόνων της γλώσσας. Οι λέξεις που έχουν παραχθεί στο προηγούµενο στάδιο θεωρούνται σωστές. Κάτι τέτοιο ωστόσο µπορεί να συµβεί µόνο στην περίπτωση που οι λέξεις παρήχθησαν από γραπτό κείµενο, αλλά και πάλι σε περιορισµένο βαθµό. Σε περιπτώσεις όµως που η είσοδος έγινε µε αναγνώριση οµιλίας κάτι τέτοιο συµβαίνει πολύ σπάνια. Το σύνηθες είναι να δοκιµάζεται η συντακτική ανάλυση διαφόρων ερµηνειών των λέξεων και να επιλέγονται εκείνες οι λέξεις που ταιριάζουν καλύτερα τόσο στη συντακτική όσο και στη σηµασιολογική και πραγµατολογική ανάλυση. Για να πραγµατοποιηθεί η συντακτική ανάλυση απαιτούνται ένα λεξικό και µια γραµµατική. Λόγω του µεγάλου αριθµού των λέξεων, δεν είναι δυνατό να κρατούνται για κάθε µια από αυτές όλες οι µορφές της. Έτσι, αποθηκεύεται στο λεξικό µόνο η βασική µορφή κάθε λέξης και στη συνέχεια προκύπτουν από αυτή άλλες µορφές της λέξης, εφαρµόζοντας κανόνες µορφολογικής ανάλυσης. Τέτοιοι κανόνες µπορεί να σχηµατίζουν διάφορα πρόσωπα, πτώσεις, αριθµούς της λέξης, να σχηµατίζουν νέες λέξεις, προσθέτοντας γνωστά προθέµατα ή καταλήξεις στις υπάρχουσες λέξεις καθώς και να συνδυάζουν απλές λέξεις για να σχηµατίσουν σύνθετες. Ένα πρόβληµα της συντακτικής ανάλυσης είναι η µη αναγνώριση λέξεων, είτε επειδή αυτές δεν υπάρχουν στο λεξικό είτε επειδή δεν πρόκειται για λέξεις είτε τέλος επειδή αυτές έχουν εισαχθεί λανθασµένα. Η πρώτη περίπτωση δεν µπορεί γενικά να αντιµετωπιστεί, η δεύτερη αντιµετωπίζεται µε ειδικές τεχνικές ενώ η τρίτη αντιµετωπίζεται µε χρήση αλγορίθµων διόρθωσης ορθογραφικών λαθών (αναγνωρίζουν µια λανθασµένη λέξη και προσπα-θούν να προσδιορίσουν ποια είναι η σωστή). Η γραµµατική συνίσταται σε ένα σύνολο κανόνων που συνθέτουν προτάσεις από µεµονωµένες λέξεις. Μια απλή γραµµατική θα µπορούσε να είναι αυτή που φαίνεται στο πλαίσιο 2.1, µε το σύµβολο να ερµηνεύεται ως «αποτελείται από». Η γραµµατική αυτή µπορεί να αναλύσει προτάσεις της µορφής: «ο Γιάννης είναι φοιτητής» ή «η Μαρία είναι νέα», ενώ δεν δέχεται προτάσεις της µορφής «ο Γιάννης έχει είναι» κλπ. Ωστόσο δεν µπορεί να αναγνωρίσει σηµασιολογικά λάθη, όπως αυτό της πρότασης «ο Μαρία έχει νέος». Φυσικά, σε ένα πραγµατικό σύστηµα θα υπάρχουν πολλοί περισσότεροι κανόνες, οπότε η αναζήτηση της δοµής µιας πρότασης καθίσταται πολύπλοκο πρόβληµα αναζήτησης. Βοήθεια σε αυτό το πρόβληµα µπορούν να δώσουν τόσο η σηµασιολογική, όσο και η πραγµατολογική ανάλυση που βλέπουµε αµέσως µετά. Γραµµατικές σαν αυτήν του πλαισίου 2.1 ονοµάζονται Γραµµατικές Οριστικών Προτάσεων (Definite Clause Grammars DCG s) και σε αυτές θα αναφερθούµε περισσότερο σε επόµενη ενότητα. Η Σηµασιολογική ανάλυση (Semantic analysis) επιχειρεί µια πρώτη µετατροπή των προτάσεων σε εσωτερικές δοµές αναπαράστασης γνώσης, χρησιµοποιώντας τη 23

23 νοηµατική σηµασία των λέξεων. Το πιο σηµαντικό πρόβληµα της σηµασιολογικής ανάλυσης είναι η αµφισηµία (ambiguity) όσον αφορά τη σωστή ερµηνεία των λέξεων και των προτάσεων (µια λέξη µπορεί να έχει πολλές διαφορετικές έννοιες, πολλές λέξεις υπονοούνται ή αναφέρονται µε αντωνυµίες κλπ). πρόταση υποκείµενο, ρήµα, αντικείµενο πρόταση υποκείµενο, ρήµα, κατηγορούµενο υποκείµενο άρθρο, ουσιαστικό ρήµα [είναι] ρήµα [έχει] κατηγορούµενο επίθετο κατηγορούµενο ουσιαστικό αντικείµενο ουσιαστικό επίθετο [νέα] ουσιαστικό [φοιτητής] άρθρο [ο] άρθρο [η] ουσιαστικό [Γιάννης] ουσιαστικό [Μαρία] Πλαίσιο 2.1: Παράδειγµα Γραµµατικής DCG Η Πραγµατολογική ανάλυση (Pragmatic analysis) επιχειρεί την ένταξη της πρότασης µέσα στο γενικότερο νοηµατικό πλαίσιο των συµφραζοµένων (context), λαµβάνοντας υπόψη τις συνθήκες µέσα στις οποίες αυτή εκφράστηκε. Χωρίς γενική γνώση του αντικειµένου που πραγµατεύεται ένα κείµενο είναι αδύνατο να γίνει πραγµατολογική ανάλυση αυτού Παραγωγή Φυσικής Γλώσσας Η Παραγωγή Φυσικής Γλώσσας αναφέρεται στη δυνατότητα ενός συστήµατος να απαντά στο χρήστη σε φυσική γλώσσα, γραπτή ή προφορική. Η διαδικασία παραγωγής φυσικής γλώσσας µπορεί να αναλυθεί σε δύο γενικότερα στάδια: (1) την επιλογή του τι θα ειπωθεί και (2) την επιλογή του πώς θα ειπωθεί. Το στάδιο της επιλογής του τι θα ειπωθεί έχει να κάνει µε το ποια πληροφορία επιλέγει το σύστηµα να αναφέρει στον χρήστη. Το πρόβληµα της επιλογής της πληροφορίας που το σύστηµα θα παρουσιάσει στον χρήστη αναφέρεται σαν σχεδιασµός κειµένου (text planning) και στις πιο εξελιγµένες περιπτώσεις δανείζεται τεχνικές από το σχεδιασµό ενεργειών (planning). Το επόµενο στάδιο έχει να κάνει µε το πώς θα ειπωθεί η πληροφορία στο χρήστη. Συνήθως, η πληροφορία οµαδοποιείται σε µικρές λογικές ενότητες, από τις οποίες στη συνέχεια δηµιουργούνται προτάσεις, χρησιµοποιώντας τους κανόνες γραµµατικής της γλώσσας. Στην ενότητα που αφορά την έρευνα για σχετικές εργασίες στο πεδίο NLG και Computational Linguistics θα αναφερθούµε εκτενέστερα στα στάδια παραγωγής φυσικής γλώσσας. 24

24 2.2 ΕΡΕΥΝΑ ΠΑΝΩ ΣΤΗ ΜΕΤΑΤΡΟΠΗ ΦΓ ΣΕ ΚΛΠΤ Εισαγωγή Σε αυτήν την ενότητα παρουσιάζονται τα πιο βασικά σηµεία κάποιων εργασιών που αφορούν την αντίστροφη µετατροπή από αυτήν που µας ενδιαφέρει. Το σκεπτικό ήταν πως η µελέτη της µετατροπής ΦΓ σε ΚΛΠΤ θα βοηθούσε και προς την αντίστροφή κατεύθυνση. Καθεµία από τις επόµενες υπο-ενότητες αφορά και µια διαφορετική εργασία και η ονοµασία της προκύπτει από τον τίτλο της εργασίας αυτής Συµβουλές Μετάφρασης (Translation Tips) Σε αυτήν την εργασία, (Suber, 1979), η Λογική Πρώτης Τάξης αντιµετωπίζεται σαν µια γλώσσα και προσφέρονται κάποιες εµπειρικές συµβουλές για µετάφραση από τα Αγγλικά σε αυτήν την γλώσσα. Υπάρχουν διαφορετικές οδηγίες για την Προτασιακή και διαφορετικές για την Κατηγορηµατική Λογική. Εδώ αναφέρονται µόνο τα πιο σηµαντικά σηµεία της εργασίας. Χρησιµοποιείται το σύµβολο για το λογικό ΚΑΙ ενώ το σύµβολο ~ υποκαθιστά το σύµβολο της άρνησης. Καταρχήν, όσον αφορά την Προτασιακή Λογική, τονίζεται πως το λογικό Ή εκφράζει συνολική (inclusive) και όχι αποκλειστική (exclusive) διάζευξη. Το (p q) σηµαίνει πως είτε αληθεύει το p, είτε αληθεύει το q, είτε αληθεύουν και τα δύο. Η αποκλειστική διάζευξη των p και q, όµως, σηµαίνει πως είτε αληθεύει το p, είτε αληθεύει το q, αλλά σίγουρα δεν αληθεύουν και τα δύο και εκφράζεται ως εξής: ( p q) ( p q). Το «Neither p nor q» σηµαίνει πως και το p και το q είναι ψευδή και εκφράζεται ως: (~p ~q), ή ισοδύναµα ως: ~(p q). Αν «p and q are not both true», τότε αρνούµαστε την σύζευξή τους: ~(p q). Από την άλλη, αν «p and q are both not true», τότε αρνούµαστε καθένα από αυτά: (~p ~q) ή ~(p q). Όπως βλέπουµε, είναι πολύ χρήσιµη η οικειότητα µε τα θεωρήµατα DeMorgan. Ιδιαίτερη σηµασία έχει η συνεπαγωγή (implication): p q, η οποία µεταφράζει µια µεγάλη ποικιλία Αγγλικών εκφράσεων, όπως για παράδειγµα, «if p, then q», «if p, q», «p implies q», «p entails q», «p therefore q», «p hence q», «q if p», «q provided p», «q follows from p» «p is the sufficient condition of q», «q is the necessary condition of p». Κάποιες σχεδόν συνώνυµες εκφράσεις, όµως, όπως οι: «q because p», «q since p», «because p, q», «since p, q» δεν είναι γνήσιες περιπτώσεις συνεπαγωγής. Η πρόταση «p only if q» θα µεταφραστεί και αυτή σαν p qσε Λογική. Το «p even if q» σηµαίνει: «Το p αληθεύει είτε αληθεύει το q είτε όχι». Μια τέλεια µετάφραση θα ήταν απλά το p. Η αδιαφορία για το q τονίζεται µε την ταυτολογία στο: p (~q q). Να επισηµάνουµε εδώ πως ταυτολογία στην Προτασιακή Λογική, ονοµάζεται µια έκφραση που είναι αληθής κάτω από οποιαδήποτε ανάθεση τιµών Αλήθειας στις λογικές µεταβλητές της. Λέµε πως το p είναι επαρκής συνθήκη για το q όταν η αλήθεια του p εγγυάται την αλήθεια του q. Αντιθέτως, το q είναι αναγκαία συνθήκη για το p όταν η µη-αλήθεια του p εγγυάται την µη-αλήθεια του q. Το p qσηµαίνει: «p is the sufficient condition of q» και «q is the necessary condition of p». Αν το p είναι και αναγκαία και επαρκής συνθήκη για το q τότε έχουµε ισοδυναµία, που συµβολίζεται: ( p q ). 25

25 Για να µπορεί ένα στοιχείο αγγλικής πρότασης να εκφραστεί µε κάποιον από τους λογικούς τελεστές θα πρέπει να έχει λειτουργία Αληθείας. Το «and» στα Αγγλικά για παράδειγµα, µερικές φορές εκφράζει χρονική διαδοχή κι όχι σύζευξη, όπως συµβαίνει στην πρόταση: «She cursed like a sailor and hung up». Η λειτουργία αυτή του «and» δεν στηρίζεται στην Αλήθεια κι έτσι δεν µπορεί να καλυφθεί από τον λογικό τελε-στή ΚΑΙ. Όποτε έχουµε δύο ή περισσότερους τελεστές σε µια σύνθετη λογική έκφραση, χρειαζόµαστε παρενθέσεις για να αποτρέψουµε την αµφισηµία. Η διάζευξη έχει και τη µεταθετική και τη προσεταιριστική ιδιότητα. Έτσι, η αφαίρεση των παρενθέσεων δεν δηµιουργεί ασάφεια. Τα ίδια ισχύουν και για την σύζευξη. Σε περιπτώσεις συνδυασµού σύζευξης και διάζευξης, όµως, πρέπει να χρησιµοποιούµε παρενθέσεις για να καθορίζουµε την προτεραιότητα των τελεστών. Η παράλειψη παρενθέσεων είναι ένα σύνηθες λάθος στην µετάφραση. Όσον αφορά τώρα την Κατηγορηµατική Λογική, η καλύτερη συµβουλή για µετάφραση είναι οι δοκιµές: πρώτα πάνω στην αγγλική πρόταση και µετά πάνω στις δυνατότητες του συµβολισµού της Λογικής. οκιµές πάνω στην αγγλική πρόταση γίνονται χρησιµοποιώντας διαφορετικές παραφράσεις της, µέχρι να βρεθεί κάποια πρόταση που (1) να είναι ισοδύναµη µε την αρχική και (2) να είναι ευκολότερο να µεταφραστεί από ότι η αρχική. Κατά την παράφραση, πρέπει να θυµόµαστε πως µπορούµε να χρησιµοποιήσουµε µόνο τρεις ποσότητες : όλα (all), κάποια (some) και κανένα (none). Όταν πια έχουµε µια έκφραση σε Λογική που ίσως είναι καλή µετάφραση, χρησιµοποιούµε κανόνες όπως αντικατάσταση, συνεπαγωγή, κανόνες DeMorgan και εξαγωγή, ώστε να την µετατρέψουµε σε άλλες ισοδύναµες εκφράσεις. Αν κάποια από τις ισοδύναµες εκφράσεις είναι ανακριβής, τότε και η αρχική µας µετάφραση είναι ανακριβής. Υπάρχουν κάποιες Κανονικές Ποσοτικές Εκφράσεις, γνωρίζοντας τις οποίες µπορούµε να µεταφράσουµε πιο γρήγορα και πιο αξιόπιστα. Αυτό επιτυγχάνεται παραφράζοντας την αρχική αγγλική πρόταση µέχρι να µοιάζει σε κάποια από αυτές τις εκφράσεις που φαίνονται στο επόµενο πλαίσιο: All A s are B s ( x ) A(x) B(x) No A s are B s ( x ) A(x) ~B(x) Some A s are B s ( x ) (A(x) B(x)) Some A s are not B s ( x ) (A(x) ~B(x)) All and only A s are B s ( x ) A(x) B(x) Only A s are B s = All A s are B s (above) Not all A s are B s = Some A s are not B s (above) All A s are not B s = No A s are B s (above) Πλαίσιο 2.2: Κανονικές Ποσοτικές Εκφράσεις Η εµβέλεια ενός ποσοδείκτη είναι (σαν την εµβέλεια του τελεστή άρνησης) η πρώτη πρόταση (απλή ή σύνθετη) ή προτασιακή συνάρτηση στα δεξιά του. Το «some», όπως ακριβώς είδαµε και πριν για το «or», έχει συνολική και αποκλειστική έννοια. Συνολικά, σηµαίνει «τουλάχιστον ένας, πιθανώς και όλοι», ενώ αποκλειστικά σηµαίνει «όχι όλοι, πιθανώς κανένας».η αποκλειστική έννοια του «some» πρέπει να µεταφράζεται σαν «not all». Η φράση «only some» σηµαίνει «περισσότεροι από ένας και λιγότεροι 26

26 από όλους» ή «ούτε κανένας, ούτε όλοι». Συνεπώς δεν είναι ισοδύναµη ούτε µε την συνολική ούτε µε την αποκλειστική έννοια του «some», αλλά µε την σύζευξή τους. Στην διαδικασία επιλογής ποσοδείκτη, αναρωτιόµαστε αν η αγγλική πρόταση δεσµεύεται ή όχι για την ύπαρξη κάποιου αντικειµένου. Στην πρώτη περίπτωση, χρησιµοποιούµε υπαρξιακό ποσοδείκτη. Στην δεύτερη, χρησιµοποιούµε καθολικό ποσοδείκτη. Επίσης, αποφεύγουµε την άρνηση και προτιµάµε να µεταφράζουµε σε καταφατικές προτάσεις. Οι ποσοδείκτες εµµέσως αναφέρονται σ ένα Σύµπαν Οντοτήτων (Universe of Discourse) τις οποίες αφορούν οι προτάσεις που δεσµεύονται από αυτούς. Ο καθολικός ποσοδείκτης λέει συγκεκριµένα: «for all things in the universe of discourse». Οµοίως, ο υπαρξιακός ποσοδείκτης λέει «for at least one thing in the universe of discourse». Το σύµπαν θεωρείται απεριόριστο εκτός και αν εµείς το ορίσουµε διαφορετικά. Η φράση-if σε µια καθολικά ποσοδεικτούµενη πρόταση βοηθά στον περιορισµό του Σύµπαντος Οντοτήτων στο οποίο αναφερόµαστε και για το οποίο λέµε κάτι στην φράση-then. Για παράδειγµα ας πάρουµε την πρόταση «All humans are mortal». Θέλουµε να περιορίσουµε το σύµπαν στους ανθρώπους οπότε βάζουµε τον περιορισµό στην φράση-if: ( x)( H( x) M( x)) (all things, if they are human, they are mortal). Εδώ, µπορούµε να επισηµάνουµε έναν γενικό κανόνα: Οι καθολικοί ποσοδείκτες συνήθως αντιστοιχούν σε υπό συνθήκη προτάσεις, ενώ οι υπαρξιακοί τυπικά αντιστοιχούν σε συζεύξεις. Για παράδειγµα, παίρνουµε αρχικά την πρόταση «All humans are mortal». Κάθε πρόταση που αφορά «όλα» τα πράγµατα κάποιου είδους περιέχει µια υπονοούµενη «if, then» δοµή: ( x)( H ( x) M ( x)) - «Για όλα τα πράγµατα του σύµπαντος, αν είναι άνθρωποι, τότε είναι θνητοί». Χρησιµοποιώντας µια σύζευξη στη θέση της υπο συνθήκη πρότασης προκύπτει κάτι παράλογο: ( x)( H ( x) M ( x)) - (όλα στο σύµπαν είναι άνθρωποι και θνητοί). Η σύζευξη µπορεί να χρησιµοποιηθεί σε συνδυασµό µε την συνεπαγωγή, όταν θέλουµε να περιορίσουµε το σύµπαν σε οντότητες µε δύο ή περισσότερες ιδιότητες. Αν έχουµε όµως την πρόταση: «Some humans are inhumane» θα γράψουµε: ( x)( H ( x) I( x)). Αυτό γίνεται κατανοητό παραφράζοντας την αρχική πρόταση ως: «Κάποιες οντότητες έχουν δύο ιδιότητες, είναι άνθρωποι και είναι απάνθρωποι». Ένας άλλος κανόνας είναι πως αποφεύγουµε υπαρξιακά ποσοδεικτούµενες υπό συνθήκη προτάσεις. Αυτός είναι µόνο ένας πρόχειρος κανόνας κι όχι κάθετη απαγόρευση. Οι υπαρξιακά ποσοδεικτούµενες υπο συνθήκη προτάσεις δεν είναι σχεδόν ποτέ καλές µεταφράσεις των υπο συνθήκη προτάσεων στα αγγλικά. εν τις µπερδεύουµε, βέβαια, µε τις υπαρξιακά ποσοδεικτούµενες συνθήκες προτάσεων που είναι απόλυτα αποδεκτές, αφού η εµβέλεια του υπαρξιακού ποσοδείκτη επεκτείνεται µόνο στην συνθήκη. Υπάρχουν δύο τρόποι να µην δεσµευτούµε στην ύπαρξη κάποιας οντότητας: (1) η χρήση καθολικού ποσοδείκτη ή (2) χρήση υπαρξιακού ποσοδείκτη στην συνθήκη µιας υπο συνθήκη πρότασης. Πολύ σηµαντική είναι η σειρά των ποσοδεικτών που χρησιµοποιούµε. Όταν οι ποσοδείκτες είναι ίδιου τύπου η σειρά δεν παίζει ρόλο. Όταν όµως είναι διαφορετικοί, η σειρά έχει σηµασία κι ακολουθείται ο εξής κανόνας: ο πρώτος ποσοδείκτης πρέπει να αναφέρεται στο υποκείµενο της πρότασης, οι υπόλοιποι στα αντικείµενα του ρήµατος. Στο επόµενο πλαίσιο εµφανίζονται κάποια παραδείγµατα για να γίνει κατανοητός ο ρόλος της σειράς των ποσοδεικτών: 27

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

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

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

Γνώση. Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος.

Γνώση. Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος. Γνώση Η γνώση είναι διαφορετική από τα δεδομένα Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος. Η γνώση για κάποιο

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

Λογική. Προτασιακή Λογική. Λογική Πρώτης Τάξης

Λογική. Προτασιακή Λογική. Λογική Πρώτης Τάξης Λογική Προτασιακή Λογική Λογική Πρώτης Τάξης Λογική (Logic) Αναλογίες διαδικασίας επίλυσης προβλημάτων υπολογισμού και προβλημάτων νοημοσύνης: Πρόβλημα υπολογισμού 1. Επινόηση του αλγορίθμου 2. Επιλογή

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

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

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

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

Συστήματα Γνώσης. Θεωρητικό Κομμάτι Μαθήματος Ενότητα 2: Βασικές Αρχές Αναπαράστασης Γνώσης και Συλλογιστικής

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

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

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

Αναπαράσταση Γνώσης και Συλλογιστικές ναπαράσταση Γνώσης και Συλλογιστικές! Γενικά Προτασιακή λογική Λογική πρώτης τάξης Λογικός προγραµµατισµός Επεκτάσεις της Λογικής Πρώτης Τάξης Συστήµατα Κανόνων Επίλογος ναπαράσταση γνώσης " ναπαράσταση

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

9.1 Προτασιακή Λογική

9.1 Προτασιακή Λογική ΚΕΦΑΛΑΙΟ 9 9 Λογική Η λογική παρέχει έναν τρόπο για την αποσαφήνιση και την τυποποίηση της διαδικασίας της ανθρώπινης σκέψης και προσφέρει µια σηµαντική και εύχρηστη µεθοδολογία για την αναπαράσταση και

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

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

Αναπαράσταση Γνώσης και Συλλογιστικές ναπαράσταση Γνώσης και Συλλογιστικές Γενικά Προτασιακή λογική Λογική πρώτης τάξης Λογικός προγραµµατισµός Επεκτάσεις της Λογικής Πρώτης Τάξης Συστήµατα Κανόνων Επίλογος ναπαράσταση γνώσης ναπαράσταση γνώσης

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

Κεφάλαιο 9. Λογική. Τεχνητή Νοηµοσύνη - Β' Έκδοση. Ι. Βλαχάβας, Π. Κεφαλάς, Ν. Βασιλειάδης, Φ. Κόκκορας, Η. Σακελλαρίου

Κεφάλαιο 9. Λογική. Τεχνητή Νοηµοσύνη - Β' Έκδοση. Ι. Βλαχάβας, Π. Κεφαλάς, Ν. Βασιλειάδης, Φ. Κόκκορας, Η. Σακελλαρίου Κεφάλαιο 9 Λογική Τεχνητή Νοηµοσύνη - Β' Έκδοση Ι. Βλαχάβας, Π. Κεφαλάς, Ν. Βασιλειάδης, Φ. Κόκκορας, Η. Σακελλαρίου Λογική Aποσαφήνιση και την τυποποίηση της διαδικασίας της ανθρώπινης σκέψης. Η µαθηµατική

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

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

! όπου το σύµβολο έχει την έννοια της παραγωγής, δηλαδή το αριστερό µέρος ισχύει ενώ το δεξιό µέρος συµπεραίνεται και προστίθεται στη βάση γνώσης. Αποδείξεις (1/2)! Χρησιµοποιούµε τις συνεπαγωγές της βάσης γνώσης για να βγάλουµε νέα συµπεράσµατα. Για παράδειγµα:! Από τις προτάσεις:! Ακαι Α Β! µπορούµε να βγάλουµε το συµπέρασµα (τεχνική modus ponens

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

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

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

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

Προηγµένη ιασύνδεση µε τοπεριβάλλον

Προηγµένη ιασύνδεση µε τοπεριβάλλον Προηγµένη ιασύνδεση µε τοπεριβάλλον! Επεξεργασία φυσικής γλώσσας # Κατανόηση φυσικής γλώσσας # Παραγωγή φυσικής γλώσσας! Τεχνητή όραση! Ροµποτική Κατανόηση Φυσικής Γλώσσας! Αναγνώριση οµιλίας (Speech recognition)!

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

Α. Ερωτήσεις Ανάπτυξης

Α. Ερωτήσεις Ανάπτυξης οµηµένος Προγραµµατισµός-Κεφάλαιο 7 Σελίδα 1 α ό 10 ΕΝΟΤΗΤΑ ΙΙΙ (ΠΡΟΓΡΑΜΜΑΤΑ) ΚΕΦΑΛΑΙΟ 7: Είδη, Τεχνικές και Περιβάλλοντα Προγραµµατισµού Α. Ερωτήσεις Ανάπτυξης 1. Τι ονοµάζουµε γλώσσα προγραµµατισµού;

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

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

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

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

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

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

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

Κεφάλαιο 7 : Είδη, Τεχνικές, και Περιβάλλοντα Προγραµµατισµού

Κεφάλαιο 7 : Είδη, Τεχνικές, και Περιβάλλοντα Προγραµµατισµού ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΥΠΟΛΟΓΙΣΤΩΝ Κεφάλαιο 7 : Είδη, Τεχνικές, και Περιβάλλοντα Προγραµµατισµού ( Απαντήσεις & Λύσεις Βιβλίου) 1. Σκοποί κεφαλαίου Κύκλος ανάπτυξης προγράµµατος Κατηγορίες γλωσσών προγραµµατισµού

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

Υπολογιστική Λογική και Λογικός Προγραμματισμός

Υπολογιστική Λογική και Λογικός Προγραμματισμός ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Υπολογιστική Λογική και Λογικός Προγραμματισμός Ενότητα 2: Λογική: Εισαγωγή, Προτασιακή Λογική. Νίκος Βασιλειάδης, Αναπλ. Καθηγητής Άδειες

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

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

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

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

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

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

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

Γλώσσες υψηλού επιπέδου Περιέχουν περισσότερες εντολές για την εκτέλεση πολύπλοκων εργασιών Τα προγράµµατα µεταφράζονται σε γλώσσα µηχανής είτε από το

Γλώσσες υψηλού επιπέδου Περιέχουν περισσότερες εντολές για την εκτέλεση πολύπλοκων εργασιών Τα προγράµµατα µεταφράζονται σε γλώσσα µηχανής είτε από το Σηµαντικά σηµεία κεφαλαίου Τα τρία στάδια επίλυσης ενός προβλήµατος: Ακριβής προσδιορισµό του προβλήµατος Ανάπτυξη του αντίστοιχου αλγορίθµου. ιατύπωση του αλγορίθµου σε κατανοητή µορφή από τον υπολογιστή.

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

HY118- ιακριτά Μαθηµατικά

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

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

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

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

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

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

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

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

ΑΕΠΠ Ερωτήσεις θεωρίας

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

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

HY118- ιακριτά Μαθηµατικά

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

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

ΗΥ Λογική. Διδάσκων: Δημήτρης Πλεξουσάκης Καθηγητής

ΗΥ Λογική. Διδάσκων: Δημήτρης Πλεξουσάκης Καθηγητής ΗΥ 180 - Λογική Διδάσκων: Καθηγητής E-mail: dp@csd.uoc.gr Ώρες διδασκαλίας: Δευτέρα, Τετάρτη 4-6 μμ, Αμφ. Β Ώρες φροντιστηρίου: Πέμπτη 4-6 μμ, Αμφ. Β Ώρες γραφείου: Δευτέρα, Τετάρτη 2-4 μμ, Κ.307 Web site:

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

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

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

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

Λογικοί πράκτορες. Πράκτορες βασισµένοι στη γνώση

Λογικοί πράκτορες. Πράκτορες βασισµένοι στη γνώση Λογικοί πράκτορες Πράκτορες βασισµένοι στη γνώση Βάση γνώσης (knowledge base: Σύνολο προτάσεων (sentences Γλώσσα αναπαράστασης της γνώσης Γνωστικό υπόβαθρο: «Αµετάβλητο» µέρος της ΒΓ Βασικές εργασίες:

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

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

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

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

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

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

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

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

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

Επιµέλεια Θοδωρής Πιερράτος

Επιµέλεια Θοδωρής Πιερράτος Εισαγωγή στον προγραµµατισµό Η έννοια του προγράµµατος Ο προγραµµατισµός ασχολείται µε τη δηµιουργία του προγράµµατος, δηλαδή του συνόλου εντολών που πρέπει να δοθούν στον υπολογιστή ώστε να υλοποιηθεί

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

HY118- ιακριτά Μαθηµατικά

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

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

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

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

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

ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Κεφάλαιο 8 : H γλώσσα προγραµµατισµού Pascal 1 ο Μέρος σηµειώσεων (Ενότητες 8.1 & 8.2 σχολικού βιβλίου)

ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Κεφάλαιο 8 : H γλώσσα προγραµµατισµού Pascal 1 ο Μέρος σηµειώσεων (Ενότητες 8.1 & 8.2 σχολικού βιβλίου) ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Κεφάλαιο 8 : H γλώσσα προγραµµατισµού Pascal 1 ο Μέρος σηµειώσεων (Ενότητες 8.1 & 8.2 σχολικού βιβλίου) 1. Εισαγωγή Χαρακτηριστικά της γλώσσας Τύποι δεδοµένων Γλώσσα προγραµµατισµού

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

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

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

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

Τεχνητή Νοημοσύνη. 8η διάλεξη ( ) Ίων Ανδρουτσόπουλος.

Τεχνητή Νοημοσύνη. 8η διάλεξη ( ) Ίων Ανδρουτσόπουλος. Τεχνητή Νοημοσύνη 8η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στο βιβλίο Artificial Intelligence A Modern Approach των S. Russel

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

ΚΕΦΑΛΑΙΟ 7 ΕΙ Η, ΤΕΧΝΙΚΕΣ ΚΑΙ ΠΕΡΙΒΑΛΛΟΝΤΑ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ

ΚΕΦΑΛΑΙΟ 7 ΕΙ Η, ΤΕΧΝΙΚΕΣ ΚΑΙ ΠΕΡΙΒΑΛΛΟΝΤΑ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΚΕΦΑΛΑΙΟ 7 ΕΙ Η, ΤΕΧΝΙΚΕΣ ΚΑΙ ΠΕΡΙΒΑΛΛΟΝΤΑ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ 7.1. Ανάπτυξη Προγράµµατος Τι είναι το Πρόγραµµα; Το Πρόγραµµα: Είναι ένα σύνολο εντολών για την εκτέλεση ορισµένων λειτουργιών από τον υπολογιστή.

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

HY118- ιακριτά Μαθηµατικά. Νόµοι ισοδυναµίας. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Παρασκευή, 24/02/2017

HY118- ιακριτά Μαθηµατικά. Νόµοι ισοδυναµίας. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Παρασκευή, 24/02/2017 HY118- ιακριτά Μαθηµατικά Παρασκευή, 24/02/2017 Κατηγορηµατικός Λογισµός Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University

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

Σχόλιο. Παρατηρήσεις. Παρατηρήσεις. p q p. , p1 p2

Σχόλιο. Παρατηρήσεις. Παρατηρήσεις. p q p. , p1 p2 A. ΠΡΟΤΑΣΕΙΣ Στα Μαθηµατικά χρησιµοποιούµε προτάσεις οι οποίες µπορούν να χαρακτηριστούν ως αληθείς (α) ή ψευδείς (ψ). Τις προτάσεις συµβολίζουµε µε τα τελευταία µικρά γράµµατα του Λατινικού αλφαβήτου:

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

Λύσεις Σειράς Ασκήσεων 1

Λύσεις Σειράς Ασκήσεων 1 Λύσεις Σειράς Ασκήσεων 1 Άσκηση 1 Έστω οι προτάσεις / προϋπόθεσεις: Π1. Σε όσους αρέσει η τέχνη αρέσουν και τα λουλούδια. Π2. Σε όσους αρέσει το τρέξιμο αρέσει και η μουσική. Π3. Σε όσους δεν αρέσει η

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

HY118- ιακριτά Μαθηµατικά. Παράδειγµα. Από τα συµπεράσµατα στις υποθέσεις Αποδείξεις - Θεωρία συνόλων. Από τις υποθέσεις στα συµπεράσµατα...

HY118- ιακριτά Μαθηµατικά. Παράδειγµα. Από τα συµπεράσµατα στις υποθέσεις Αποδείξεις - Θεωρία συνόλων. Από τις υποθέσεις στα συµπεράσµατα... HY118- ιακριτά Μαθηµατικά Παρασκευή, 11/03/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/15/2016

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

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

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

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

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

ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΜΑΡΙΑ Σ. ΖΙΩΓΑ ΚΑΘΗΓΗΤΡΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΙΣΑΓΩΓΗ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΙΜΕΛΕΙΑ: ΜΑΡΙΑ Σ. ΖΙΩΓΑ ΚΑΘΗΓΗΤΡΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΩΡΙΑ 6 ΟΥ ΚΕΦΑΛΑΙΟΥ ΕΙΣΑΓΩΓΗ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ 6.1 Τι ονοµάζουµε πρόγραµµα υπολογιστή; Ένα πρόγραµµα

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

Προγραμματισμός Η/Υ. Προτεινόμενα θέματα εξετάσεων Εργαστήριο. Μέρος 1 ό. ΤΕΙ Λάρισας- Σχολή Τεχνολογικών Εφαρμογών Τμήμα Πολιτικών Έργων Υποδομής

Προγραμματισμός Η/Υ. Προτεινόμενα θέματα εξετάσεων Εργαστήριο. Μέρος 1 ό. ΤΕΙ Λάρισας- Σχολή Τεχνολογικών Εφαρμογών Τμήμα Πολιτικών Έργων Υποδομής Προγραμματισμός Η/Υ Προτεινόμενα θέματα εξετάσεων Εργαστήριο Μέρος 1 ό ΤΕΙ Λάρισας- Σχολή Τεχνολογικών Εφαρμογών Τμήμα Πολιτικών Έργων Υποδομής Ιανουάριος 2011 Καλογιάννης Γρηγόριος Επιστημονικός/ Εργαστηριακός

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

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

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

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

Κεφάλαιο 10 ο Υποπρογράµµατα

Κεφάλαιο 10 ο Υποπρογράµµατα Κεφάλαιο 10 ο Υποπρογράµµατα Ανάπτυξη Εφαρµογών σε Προγραµµατιστικό Περιβάλλον Η αντιµετώπιση των σύνθετων προβληµάτων και η ανάπτυξη των αντίστοιχων προγραµµάτων µπορεί να γίνει µε την ιεραρχική σχεδίαση,

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

Εισαγωγή στις Βάσεις Δεδομζνων II

Εισαγωγή στις Βάσεις Δεδομζνων II ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΣΙΑ ΠΑΝΕΠΙΣΗΜΙΟ ΚΡΗΣΗ Εισαγωγή στις Βάσεις Δεδομζνων II Ενότητα: Λογική και Θεωρία Συνόλων Διδάσκων: Πηγουνάκης Κωστής ΤΜΗΜΑ ΟΙΚΟΝΟΜΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΣΧΟΛΗ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ Άδειες Χρήσης

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

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

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

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

Ανάπτυξη εφαρµογών σε προγραµµατιστικό περιβάλλον (στοιχεία θεωρίας)

Ανάπτυξη εφαρµογών σε προγραµµατιστικό περιβάλλον (στοιχεία θεωρίας) Ανάπτυξη εφαρµογών σε προγραµµατιστικό περιβάλλον (στοιχεία θεωρίας) Εισαγωγή 1. Τι είναι αυτό που κρατάς στα χέρια σου. Αυτό το κείµενο είναι µια προσπάθεια να αποτυπωθεί όλη η θεωρία του σχολικού µε

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

HY118- ιακριτά Μαθηµατικά

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

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

Κεφάλαιο 8. Βασικές Αρχές Αναπαράστασης Γνώσης και Συλλογιστικής. Τεχνητή Νοηµοσύνη - Β' Έκδοση

Κεφάλαιο 8. Βασικές Αρχές Αναπαράστασης Γνώσης και Συλλογιστικής. Τεχνητή Νοηµοσύνη - Β' Έκδοση Κεφάλαιο 8 Βασικές Αρχές Αναπαράστασης Γνώσης και Συλλογιστικής Τεχνητή Νοηµοσύνη - Β' Έκδοση Ι. Βλαχάβας, Π. Κεφαλάς, Ν. Βασιλειάδης, Φ. Κόκκορας, Η. Σακελλαρίου Αναπαράσταση Γνώσης Σύνολο συντακτικών

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

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

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

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

ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ. Μάθημα 1 ο : Εισαγωγή στην γλωσσική τεχνολογία. Γεώργιος Πετάσης. Ακαδημαϊκό Έτος: 2012 2013

ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ. Μάθημα 1 ο : Εισαγωγή στην γλωσσική τεχνολογία. Γεώργιος Πετάσης. Ακαδημαϊκό Έτος: 2012 2013 ΓΛΩΣΣΙΚΗ ΤΕΧΝΟΛΟΓΙΑ Μάθημα 1 ο : Εισαγωγή στην γλωσσική τεχνολογία Γεώργιος Πετάσης Ακαδημαϊκό Έτος: 2012 2013 ΤMHMA MHXANIKΩΝ Η/Υ & ΠΛΗΡΟΦΟΡΙΚΗΣ, Πανεπιστήμιο Πατρών, 2012 2013 Τι είναι η γλωσσική τεχνολογία;

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

ΚΕΦΑΛΑΙΟ 7 ο. Έτσι ο προγραµµατισµός µε τη ΓΛΩΣΣΑ εστιάζεται στην ανάπτυξη του αλγορίθµου και τη µετατροπή του σε σωστό πρόγραµµα.

ΚΕΦΑΛΑΙΟ 7 ο. Έτσι ο προγραµµατισµός µε τη ΓΛΩΣΣΑ εστιάζεται στην ανάπτυξη του αλγορίθµου και τη µετατροπή του σε σωστό πρόγραµµα. ΚΕΦΑΛΑΙΟ 7 ο 1. Επιλογή της κατάλληλης γλώσσας προγραµµατισµού Εκατοντάδες γλώσσες προγραµµατισµού χρησιµοποιούνται όπως αναφέρθηκε σήµερα για την επίλυση των προβληµάτων µε τον υπολογιστή, τη δηµιουργία

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

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

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

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

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

Σου προτείνω να τυπώσεις τις επόμενες τέσσερις σελίδες σε ένα φύλο διπλής όψης και να τις έχεις μαζί σου για εύκολη αναφορά. AeppAcademy.com facebook.com/aeppacademy Γεια. Σου προτείνω να τυπώσεις τις επόμενες τέσσερις σελίδες σε ένα φύλο διπλής όψης και να τις έχεις μαζί σου για εύκολη αναφορά. Καλή Ανάγνωση & Καλή Επιτυχία

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

Κεφάλαιο 2.3: Προγραμματισμός. Επιστήμη ΗΥ Κεφ. 2.3 Καραμαούνας Πολύκαρπος

Κεφάλαιο 2.3: Προγραμματισμός. Επιστήμη ΗΥ Κεφ. 2.3 Καραμαούνας Πολύκαρπος Κεφάλαιο 2.3: Προγραμματισμός 1 2.3.1 Αναφορά σε γλώσσες προγραμματισμού και «Προγραμματιστικά Υποδείγματα» 2.3.1.1 Πρόγραμμα και Γλώσσες Προγραμματισμού Πρόγραμμα: σύνολο εντολών που χρειάζεται να δοθούν

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

Σύνοψη Προηγούµενου. Γλώσσες χωρίς Συµφραζόµενα (2) Ισοδυναµία CFG και PDA. Σε αυτό το µάθηµα. Αυτόµατα Στοίβας Pushdown Automata

Σύνοψη Προηγούµενου. Γλώσσες χωρίς Συµφραζόµενα (2) Ισοδυναµία CFG και PDA. Σε αυτό το µάθηµα. Αυτόµατα Στοίβας Pushdown Automata Σύνοψη Προηγούµενου Γλώσσες χωρίς Συµφραζόµενα (2) Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Αυτόµατα Στοίβας Pushdown utomata Ισοδυναµία µε τις Γλώσσες χωρίς Συµφραζόµενα:

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

Ανάπτυξη Εφαρμογών σε Προγραμματιστικό Περιβάλλον κεφ.6 Εισαγωγή στον Προγραμματισμό

Ανάπτυξη Εφαρμογών σε Προγραμματιστικό Περιβάλλον κεφ.6 Εισαγωγή στον Προγραμματισμό Ανάπτυξη Εφαρμογών σε Προγραμματιστικό Περιβάλλον κεφ.6 Εισαγωγή στον Προγραμματισμό Μάριος Αραποστάθης Καθηγητής πληροφορικής Βαρβάκειου Λύκειου http://users.sch.gr/mariosarapostathis 6.1 Η έννοια του

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

ΚΕΦΑΛΑΙΟ 3: Κατηγορηματική Λογική Πρώτης Τάξεως και Λογικά Προγράμματα

ΚΕΦΑΛΑΙΟ 3: Κατηγορηματική Λογική Πρώτης Τάξεως και Λογικά Προγράμματα ΚΕΦΑΛΑΙΟ 3: Κατηγορηματική Λογική Πρώτης Τάξεως και Λογικά Προγράμματα Λέξεις Κλειδιά Μαθηματική Λογική, Προτασιακή Λογική, Κατηγορηματική Λογική, Προτάσεις Horn, Λογικά Προγράμματα Περίληψη Το κεφάλαιο

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

Πρόλογος των Συγγραφέων

Πρόλογος των Συγγραφέων Πρόλογος των Συγγραφέων Τεχνητή Νοηµοσύνη (ΤΝ) είναι ο τοµέας της επιστήµης των υπολογιστών, που ασχολείται µε τη σχεδίαση ευφυών (νοηµόνων) υπολογιστικών συστηµάτων, δηλαδή συστηµάτων που επιδεικνύουν

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

Επιλογή και επανάληψη. Λογική έκφραση ή συνθήκη

Επιλογή και επανάληψη. Λογική έκφραση ή συνθήκη Επιλογή και επανάληψη Η ύλη που αναπτύσσεται σε αυτό το κεφάλαιο είναι συναφής µε την ύλη που αναπτύσσεται στο 2 ο κεφάλαιο. Όπου υπάρχουν διαφορές αναφέρονται ρητά. Προσέξτε ιδιαίτερα, πάντως, ότι στο

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

Μηχανισμός Εξαγωγής Συμπερασμάτων

Μηχανισμός Εξαγωγής Συμπερασμάτων Μηχανισμός Εξαγωγής Συμπερασμάτων Μηχανισμός Εξαγωγής Συμπερασμάτων Ο βασικός μηχανισμός εξαγωγής συμπερασμάτων στην κατηγορηματική λογική είναι η απόδειξη. Υπάρχει ένα πλήθος κανόνων συμπερασμού. Αυτοί

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

HY118- ιακριτά Μαθηµατικά

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

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

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

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

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

Γενικές Παρατηρήσεις. Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα (1) Το Λήµµα της Αντλησης. Χρήση του Λήµµατος Αντλησης.

Γενικές Παρατηρήσεις. Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα (1) Το Λήµµα της Αντλησης. Χρήση του Λήµµατος Αντλησης. Γενικές Παρατηρήσεις Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα () Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Υπάρχουν µη κανονικές γλώσσες, π.χ., B = { n n n }. Αυτό

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

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

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

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

a = 10; a = k; int a,b,c; a = b = c = 10;

a = 10; a = k; int a,b,c; a = b = c = 10; C: Από τη Θεωρία στην Εφαρµογή Κεφάλαιο 4 ο Τελεστές Γ. Σ. Τσελίκης Ν. Δ. Τσελίκας Ο τελεστής εκχώρησης = Ο τελεστής = χρησιµοποιείται για την απόδοση τιµής (ή αλλιώς ανάθεση τιµής) σε µία µεταβλητή Π.χ.

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

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

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

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

Κεφάλαιο 4ο: Εντολές επιλογής

Κεφάλαιο 4ο: Εντολές επιλογής Χρήστος Τσαγγάρης ΕΕ ΙΠ Τµήµατος Μαθηµατικών, Πανεπιστηµίου Αιγαίου Κεφάλαιο 4ο: Εντολές επιλογής Μέχρι τώρα παρατηρήσαµε ότι τα προβλήµατα που αντιµετωπίσαµε είχαν σειριακή κίνηση, δηλαδή η µία εντολή

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

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

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

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

Επιµέλεια Θοδωρής Πιερράτος

Επιµέλεια Θοδωρής Πιερράτος Η έννοια πρόβληµα Ανάλυση προβλήµατος Με τον όρο πρόβληµα εννοούµε µια κατάσταση η οποία χρήζει αντιµετώπισης, απαιτεί λύση, η δε λύση της δεν είναι γνωστή ούτε προφανής. Μερικά προβλήµατα είναι τα εξής:

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

4.4 Ερωτήσεις διάταξης. Στις ερωτήσεις διάταξης δίνονται:

4.4 Ερωτήσεις διάταξης. Στις ερωτήσεις διάταξης δίνονται: 4.4 Ερωτήσεις διάταξης Στις ερωτήσεις διάταξης δίνονται:! µία σειρά από διάφορα στοιχεία και! µία πρόταση / κανόνας ή οδηγία και ζητείται να διαταχθούν τα στοιχεία µε βάση την πρόταση αυτή. Οι ερωτήσεις

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

Μαλούτα Θεανώ Σελίδα 1

Μαλούτα Θεανώ Σελίδα 1 ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΡΧΕΣ ΤΗΣ ΕΠΙΣΤΗΜΗΣ ΤΩΝ ΥΠΟΛΟΓΙΣΤΩΝ Α. ΕΡΩΤΗΣΕΙΣ ΘΕΩΡΙΑΣ ΦΥΛΛΑΔΙΟ 6 ο ( Ενότητες 2.3 ) 1.Τι είναι πρόγραμμα; 2. Ποια είναι τα πλεονεκτήματα των γλωσσών υψηλού επιπέδου σε σχέση με τις γλώσσες

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

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

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

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

Κεφ. 2 Θέματα Θεωρητικής Επιστήμης Υπολογιστών. Κοντογιάννης Βασίλειος ΠΕ19

Κεφ. 2 Θέματα Θεωρητικής Επιστήμης Υπολογιστών. Κοντογιάννης Βασίλειος ΠΕ19 Κεφ. 2 Θέματα Θεωρητικής Επιστήμης Υπολογιστών Κεφ. 2 Θεωρητική Επιστήμη Υπολογιστών 2.3.1.1 Έννοια προγράμματος Τι είναι πρόγραμμα και τι προγραμματισμός; Πρόγραμμα είναι το σύνολο εντολών που χρειάζεται

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

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

Αναπαράσταση Γνώσης και Συλλογιστικές Αναπαράσταση Γνώσης και Συλλογιστικές Γενικά Προτασιακή λογική Λογική πρώτης τάξης Λογικός προγραµµατισµός Επεκτάσεις της Λογικής Πρώτης Τάξης Συστήµατα Κανόνων Επίλογος Μειονεκτήµατα προτασιακής λογικής

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

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

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

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

<<ΔΗΜΗΤΡΗΣ ΜΑΝΩΛΗΣ ΦΥΣΙΚΟΣ ΜCs>> 1

<<ΔΗΜΗΤΡΗΣ ΜΑΝΩΛΗΣ ΦΥΣΙΚΟΣ ΜCs>> 1 ΚΕΦΑΛΑΙΟ 7 ο ΠΡΟΓΡΑΜΜΑ : Το πρόγραμμα αποτελείται από μια σειρά οδηγιών, που ονομάζονται εντολές, για την εκτέλεση τέτοιου είδους πράξεων, καθώς επίσης και από ένα σύνολο πρόσθετων οδηγιών ελέγχου, που

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

ΚΕΦΑΛΑΙΟ 5. Κύκλος Ζωής Εφαρμογών ΕΝΟΤΗΤΑ 2. Εφαρμογές Πληροφορικής. Διδακτικές ενότητες 5.1 Πρόβλημα και υπολογιστής 5.2 Ανάπτυξη εφαρμογών

ΚΕΦΑΛΑΙΟ 5. Κύκλος Ζωής Εφαρμογών ΕΝΟΤΗΤΑ 2. Εφαρμογές Πληροφορικής. Διδακτικές ενότητες 5.1 Πρόβλημα και υπολογιστής 5.2 Ανάπτυξη εφαρμογών 44 Διδακτικές ενότητες 5.1 Πρόβλημα και υπολογιστής 5.2 Ανάπτυξη εφαρμογών Διδακτικοί στόχοι Σκοπός του κεφαλαίου είναι οι μαθητές να κατανοήσουν τα βήματα που ακολουθούνται κατά την ανάπτυξη μιας εφαρμογής.

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

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

ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ Καθηγητής Πληροφορικής ΠΕ19 1 ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΚΕΦΑΛΑΙΟ 6 ο : ΕΙΣΑΓΩΓΗ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ ΙΣΤΟΣΕΛΙΔΑ ΜΑΘΗΜΑΤΟΣ: http://eclass.sch.gr/courses/el594100/ Η έννοια του προγράμματος

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

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

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

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

2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ

2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΙΜΕΛΕΙΑ: ΜΑΡΙΑ Σ. ΖΙΩΓΑ ΚΑΘΗΓΗΤΡΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΩΡΙΑ 2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΔΟΜΗ ΕΠΙΛΟΓΗΣ 1) Ποιοι είναι οι τελεστές σύγκρισης και

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

Τεχνητή Νοημοσύνη. 9η διάλεξη ( ) Ίων Ανδρουτσόπουλος.

Τεχνητή Νοημοσύνη. 9η διάλεξη ( ) Ίων Ανδρουτσόπουλος. Τεχνητή Νοημοσύνη 9η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται εν μέρει στο βιβλίο Artificial Intelligence A Modern Approach των

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

Κατηγορηµατική Λογική

Κατηγορηµατική Λογική Προβλήµατα της Προτασιακής Λογικής Γιατί δεν µας αρκεί η Προτασιακή Λογική; Εστω ότι ισχύουν τα P και Q: P : «Ο Σωκράτης είναι άνθρωπος» Q : «Κάθε άνθρωπος είναι ϑνητός» R : «Ο Σωκράτης είναι ϑνητός» Μπορούµε

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

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

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

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

HY118- ιακριτά Μαθηµατικά

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

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

Πώς είναι δυνατόν να είναι ισοδύναµες οι εξισώσεις που αναφέρονται στο ερώτηµα ii, αφού δεν έχουν το ίδιο πεδίο ορισµού 2 ;

Πώς είναι δυνατόν να είναι ισοδύναµες οι εξισώσεις που αναφέρονται στο ερώτηµα ii, αφού δεν έχουν το ίδιο πεδίο ορισµού 2 ; 1 Ισοδύναµες εξισώσεις και η έννοια του «κοντά» ρ. Παναγιώτης Λ. Θεοδωρόπουλος πρώην Σχολικός Σύµβουλος ΠΕ03 e-mail@p-thedrpuls.gr Εισαγωγή Στην εργασία αυτή αναλύονται και αναπτύσσονται οι έννοιες που

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

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

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

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

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

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

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

HY118- ιακριτά Μαθηµατικά

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Πέµπτη, 18/02/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Προτασιακός Λογισµός (συνέχεια...) Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από

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

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

ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΙΜΕΛΕΙΑ: ΜΑΡΙΑ Σ. ΖΙΩΓΑ ΚΑΘΗΓΗΤΡΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΑΣΚΗΣΕΙΣ 6 ΟΥ ΚΕΦΑΛΑΙΟΥ ΕΙΣΑΓΩΓΗ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ ΕΡΩΤΗΣΕΙΣ ΣΩΣΤΟ ΛΑΘΟΣ Σημειώστε αν είναι σωστή ή

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

Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές

Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Υπολογισµού 1 /

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

Γλώσσες Προγραμματισμού Μεταγλωττιστές

Γλώσσες Προγραμματισμού Μεταγλωττιστές Γλώσσες Προγραμματισμού Μεταγλωττιστές Πανεπιστήμιο Μακεδονίας Τμήμα Εφαρμοσμένης Πληροφορικής Ηλίας Σακελλαρίου Δομή Γλώσσες Προγραμματισμού Εισαγωγικά Γλώσσα Μηχανής Γλώσσες υψηλού επιπέδου Μεταγλωττιστές

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

Ποιές οι θεµελιώδεις δυνατότητες και ποιοί οι εγγενείς περιορισµοί των υπολογιστών ; Τί µπορούµε και τί δε µπορούµε να υπολογίσουµε (και γιατί);

Ποιές οι θεµελιώδεις δυνατότητες και ποιοί οι εγγενείς περιορισµοί των υπολογιστών ; Τί µπορούµε και τί δε µπορούµε να υπολογίσουµε (και γιατί); Μοντελοποίηση του Υπολογισµού Στοιχεία Θεωρίας Υπολογισµού (): Τυπικές Γλώσσες, Γραµµατικές Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ποιές οι θεµελιώδεις δυνατότητες

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

Εκπαιδευτικός Οµιλος ΒΙΤΑΛΗ

Εκπαιδευτικός Οµιλος ΒΙΤΑΛΗ Λογική και Προτασιακός Λογισµός ρ. Κωνσταντίνος Κυρίτσης Μακράς Στοάς 7 & Εθνικής Αντιστάσεως Πειραιάς 185 31 16 Μαρτίου 2009 Περίληψη Οι παρούσες σηµειώσεις αποτελούν µια σύντοµη εισαγωγή στην Λογική

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

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

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

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

Κεφάλαιο 4 Σημασιολογία μιας Απλής Προστακτικής Γλώσσας

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

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

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

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

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