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

Save this PDF as:
 WORD  PNG  TXT  JPG

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

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

Transcript

1 ΚΕΦΑΛΑΙΟ 9 9 Λογική Η λογική παρέχει έναν τρόπο για την αποσαφήνιση και την τυποποίηση της διαδικασίας της ανθρώπινης σκέψης και προσφέρει µια σηµαντική και εύχρηστη µεθοδολογία για την αναπαράσταση και επίλυση προβληµάτων. Η ανάγκη χρήσης µιας αυστηρά ορισµένης γλώσσας, µε τη µαθηµατική έννοια, προήλθε από την ακαταλληλότητα της φυσικής γλώσσας για χρήση σε υπολογιστικά συστήµατα, όπως αναφέρθηκε στην εισαγωγή. Αντίθετα, η λογική προσφέρει µια σαφή, ακριβή και απλή στη σύνταξη γλώσσα, καθώς και τη δυνατότητα παραγωγής νέας γνώσης από την ήδη υπάρχουσα. Η µαθηµατική λογική (mathematical logic) είναι η συστηµατική µελέτη των έγκυρων ισχυρισµών (valid arguments) µε χρήση εννοιών από τα µαθηµατικά. Ένας ισχυρισµός (argument) αποτελείται από συγκεκριµένες δηλώσεις (ή προτάσεις), τις υποθέσεις (premises), από τις οποίες παράγονται άλλες δηλώσεις, τα συµπεράσµατα (conclusions). Για παράδειγµα, παρακάτω φαίνεται ένας ισχυρισµός εκφρασµένος στη λογική: Όλοι οι άνθρωποι είναι θνητοί, ( ήλωση) Ο Σωκράτης είναι άνθρωπος, ( ήλωση) εποµένως, ο Σωκράτης είναι θνητός (Συµπέρασµα) Η συµβολική λογική (symbolic logic) είναι µια στενογραφία της λογικής. Οι ισχυρισµοί µελετώνται ανεξάρτητα από την περιοχή στην οποία ορίζονται, εκφράζοντάς τους στη συµβολική τους µορφή. Έτσι ο προηγούµενος ισχυρισµός σε συµβολική λογική αναπαρίσταται ως: P: Χ άνθρωπος(χ) θνητός(χ) Q: άνθρωπος(σωκράτης) R: θνητός(σωκράτης) P Q R Όπως είναι προφανές, για να είναι εφικτή και η συµβολική αναπαράσταση της γνώσης, απαιτείται ο ορισµός της σύνταξης (syntax) και της σηµασιολογίας (semantics) της λογικής που θα χρησιµοποιηθεί. Η σύνταξη καθορίζει τις επιτρεπτές ακο- 131

2 132 Τεχνητή Νοηµοσύνη λουθίες συµβόλων και η σηµασιολογία καθορίζει τις µεταξύ τους σχέσεις. Η σύνταξη προϋποθέτει τον καθορισµό του αλφάβητου της γλώσσας, δηλαδή του συνόλου των συµβόλων µε τα οποία µπορεί να κατασκευαστούν αποδεκτές ακολουθίες (προτάσεις). Η ερµηνεία αντιστοιχεί τα σύµβολα της γλώσσας στις οντότητες του κόσµου που αναπαρίσταται και επιτρέπει την απόδοση λογικών τιµών στις προτάσεις της γλώσσας, δηλαδή το χαρακτηρισµό τους ως αληθείς ή ψευδείς. Στις ενότητες που ακολουθούν δίνεται µια συνοπτική περιγραφή των βασικών µορφών λογικής που χρησιµοποιούνται για αναπαράσταση γνώσης στην ΤΝ, ξεκινώντας µε την απλούστερη µορφή λογικής, την προτασιακή. 9.1 Προτασιακή Λογική Η προτασιακή λογική (propositional logic) αποτελεί την απλούστερη µορφή µαθηµατικής λογικής και η παρουσίασή της κρίνεται αναγκαία, καθώς αποτελεί τη βάση για περισσότερο πολύπλοκες λογικές. Στην προτασιακή λογική κάθε γεγονός του πραγ- µατικού κόσµου αναπαριστάται µε µια λογική πρόταση, η οποία χαρακτηρίζεται είτε ως αληθής (t-true) ή ως ψευδής (f-false), µπορεί δηλαδή να έχει δύο λογικές τιµές. Οι λογικές προτάσεις αναπαριστώνται συνήθως από λατινικούς χαρακτήρες P, Q, R, κτλ., και ονοµάζονται άτοµα (atoms). Τα άτοµα µπορούν να συνδυαστούν µε τη χρήση λογικών συµβόλων ή συνδετικών (connectives) και οι σύνθετες προτάσεις που προκύπτουν ονοµάζονται ορθά δοµηµένοι τύποι (well formed formulae). Ο Πίνακας 9.1 παρουσιάζει τα συνδετικά της προτασιακής λογικής. Θα πρέπει να σηµειωθεί ότι η σύνταξη περιλαµβάνει και τρία σηµεία στίξης, τα "(" και ")" (παρενθέσεις) και το "," (κόµµα). Σύµβολο Πίνακας 9.1: Συνδετικά της προτασιακής λογικής. άρνηση σύζευξη (λογικό "ΚΑΙ") διάζευξη (λογικό "Η") συνεπαγωγή ("ΕΑΝ ΤΟΤΕ") Ονοµασία / Επεξήγηση διπλή συνεπαγωγή ή ισοδυναµία ("ΑΝ ΚΑΙ ΜΟΝΟ ΑΝ"). Για παράδειγµα, έστω ότι απαιτείται η αναπαράσταση της ακόλουθης γνώσης µε προτασιακή λογική: 1 η Πρόταση: "επιδιώκω την ειρήνη" 2 η Πρόταση: "αποφεύγω τον πόλεµο" 3 η Πρόταση: "εάν επιδιώκω την ειρήνη, τότε αποφεύγω τον πόλεµο" Σε κάθε πρόταση (ονοµάζεται και γεγονός) που θέλουµε να αναπαραστήσουµε, αντιστοιχεί ένας λατινικός χαρακτήρας. Για παράδειγµα: P: "επιδιώκω την ειρήνη" Q: "αποφεύγω τον πόλεµο"

3 Κεφάλαιο 9: Λογική 137 γούµενες, εξασφαλίζοντας έτσι την ορθότητα των αποτελεσµάτων. Υπάρχουν αρκετοί κανόνες συµπερασµού, µερικούς από τους οποίους παραθέτει ο Πίνακας 9.5. Πίνακας 9.5: Κανόνες συµπερασµού της προτασιακής λογικής. Κανόνας Συµπερασµού Ονοµασία (1) P 1 P 2... P N P i απαλοιφή σύζευξης (and elimination) (2) P 1, P 2,... P N P 1 P 2... P N εισαγωγή συζεύξεων (and introduction) (3) P 1 P 1 P 2... P N εισαγωγή διαζεύξεων (or introduction) (4) P P απαλοιφή διπλής άρνησης (double negation elimination) (5) P, P Q Q τρόπος του θέτειν (modus ponens) (6) P Q, Q R P R αρχή της ανάλυσης (resolution) Οι κανόνες συµπερασµού συνήθως γράφονται σαν "κλάσµατα" µε το πρώτο µέρος του κανόνα ως "αριθµητή" και το δεύτερο ως "παρονοµαστή". Για παράδειγµα, ο κανόνας της απαλοιφής σύζευξης µπορεί εναλλακτικά να έχει την ακόλουθη µορφή: P 1 P2... P P Οι προηγούµενοι κανόνες εφαρµόζονται στο αρχικό σύνολο προτάσεων της λογικής που αποτελεί τη γνώση του συστήµατος µέχρι να παραχθεί η προς απόδειξη πρόταση. Από τους πλέον γνωστότερους κανόνες συµπερασµού είναι ο "τρόπος του θέτειν" (modus ponens). Σύµφωνα µε αυτόν, εάν είναι γνωστή η αλήθεια των προτάσεων P και P Q µπορούµε να συνάγουµε ότι η πρόταση Q είναι αληθής. ηλαδή: P, P Q Q i N (modus ponens) Έτσι για παράδειγµα, από την αρχική γνώση του συστήµατος που περιγράφεται από τις προτάσεις: P: "Ο Νίκος είναι προγραµµατιστής" P Q: Εάν "Ο Νίκος είναι προγραµµατιστής", τότε "Ο Νίκος έχει υπολογιστή" χρησιµοποιώντας τον κανόνα συµπερασµού modus ponens µπορούµε να συµπεράνουµε ότι: Q: "Ο Νίκος έχει υπολογιστή" Μια διαδικασία απόδειξης (proof procedure) αποτελείται από ένα σύνολο κανόνων συµπερασµού και έναν αλγόριθµο εφαρµογής τους, βάσει των οποίων εξάγονται (αποδεικνύονται) τα απαιτούµενα συµπεράσµατα. Υπάρχουν δύο σηµαντικές έννοιες σε κάθε διαδικασία απόδειξης. Η πρώτη αφορά την ορθότητα της παραγόµενης γνώσης ενώ η δεύτερη την ικανότητα της διαδικασίας να εξαγάγει όλα τα δυνατά συµπεράσµατα. Έτσι µια αποδεικτική διαδικασία ονοµάζεται ορθή (sound) όταν όλα τα συµπεράσµατα που εξάγονται αποτελούν και λογικές συνεπαγωγές του αρχικού συνόλου των τύπων, δηλαδή για κάθε P όπου S P ισχύει και S P. Πλήρης (complete) ονοµάζεται µια αποδεικτική διαδικασία η οποία για κάθε τύπο P ο οποίος λο-

4 156 Τεχνητή Νοηµοσύνη Η αρχή της ανάλυσης Η σπουδαιότητα της αρχής της ανάλυσης εντοπίζεται στο γεγονός ότι είναι ο µοναδικός κανόνας που απαιτείται για την εξαγωγή όλων των ορθών συµπερασµάτων σε µια αποδεικτική διαδικασία που χρησιµοποιεί τη µέθοδο της "εις άτοπο απαγωγής" (refutation). Οπότε, η διαδικασία απόδειξης που προκύπτει είναι ορθή και πλήρης, όπως και η αντίστοιχη της προτασιακής λογικής. Στην απλή περίπτωση, η αρχή της ανάλυσης (resolution) περιλαµβάνει προτάσεις οι οποίες περιέχουν το πολύ δύο λεκτικά στοιχεία (literals), όπως φαίνεται παρακάτω: p q, z q' θ ( p z) Τα λεκτικά στοιχεία q' και q ονοµάζονται συµπληρωµατικά ζεύγη και δεν είναι ανάγκη να είναι "απολύτως" όµοια, αλλά να ενοποιούνται µε κατάλληλες αντικαταστάσεις (ενοποιητής θ). Οι αντικαταστάσεις µεταβλητών που προκύπτουν εφαρµόζονται στο αναλυθέν (resolvent) p z. Στη γενική περίπτωση οι προτάσεις περιλαµβάνουν περισσότερα λεκτικά στοιχεία: p p 1 2 p... p 3 z1 z2 z3... zn q' θ ( p1 p2 p3... pm z1 z2 z3... zn) όπου θ οι αντικαταστάσεις µεταβλητών (ενοποιητής) που προκύπτουν από την ενοποίηση των q' και q. Όπως είναι φανερό, οι διαδικασίες αντικατάστασης και ενοποίησης που παρουσιάστηκαν στα προηγούµενα αποτελούν βασικά εργαλεία στην εφαρµογή της συγκεκριµένης αποδεικτικής διαδικασίας. Όπως και στην προτασιακή λογική, η διαδικασία απόδειξης περιλαµβάνει τη εισαγωγή της άρνησης της προς απόδειξης πρότασης στο αρχικό σύνολο προτάσεων που αποτελεί τη γνώση και εφαρµογή του κανόνα της ανάλυσης µέχρι το σύστηµα να εξαγάγει την κενή πρόταση (άτοπο), η οποία αναπαρίσταται µε το σύµβολο. m q βλάβη(w) εξάρτηµα(ζ,w,δεν_λειτουργεί) αντικατάσταση(ζ) αντικατάσταση(έµβολο) θ={ζ/έµβολο} εξάρτηµα(έµβολο, µηχανή, δεν_λειτουργεί) βλάβη(w) εξάρτηµα(έµβολο,w,δεν_λειτουργεί) θ'={w/µηχανή} βλάβη(µηχανή) βλάβη(µηχανή) (κενή πρόταση) Σχήµα 9.3: Απόδειξη κατηγορηµατικής λογικής βασισµένη στην αρχή της ανάλυσης.

5 Κεφάλαιο 9: Λογική 167 Τέλος, λόγω του ισχυρού κανόνα r 7 και της προηγούµενης αναιρέσιµης απόδειξης ότι flies(tweety), αποδεικνύεται αναιρέσιµα ότι travelinair(tweety). Από αυτό φαίνεται ότι οι ισχυροί κανόνες συµπεριφέρονται ως αναιρέσιµοι όταν η συνθήκη τους αποδεικνύεται αναιρέσιµα και όχι οριστικά. Αντικρουόµενα λεκτικά Όπως ήδη αναφέρθηκε, µία χρήσιµη µορφή αντικρουόµενων κανόνων είναι αυτοί που εξάγουν πολλαπλά (θετικά) συµπεράσµατα τα οποία αλληλοεξουδετερώνουν το ένα το άλλο. Για παράδειγµα, έστω ότι σε ένα παιχνίδι (π.χ. σκάκι) πρέπει να γίνει µία κίνηση από έναν παίκτη και η στρατηγική του παίκτη εκφράζεται µε κανόνες σε αναιρέσιµη λογική. Προφανώς θα υπάρχουν πολλαπλοί κανόνες οι οποίοι θα προτείνουν κίνηση, ανάλογα µε διάφορες εκτιµήσεις και στρατηγικές που έχει αφοµοιώσει ο παίκτης. Όλοι οι κανόνες θα έχουν κεφαλή της ίδιας µορφής move(x 1,Y 1,X 2,Y 2 ), προτείνοντας τη µετακίνηση του κοµµατιού που βρίσκεται στο τετράγωνο (X 1,Y 1 ), στο τετράγωνο (X 2,Y 2 ). Κάθε κανόνας προτείνει διαφορετικές τιµές για τα X i, Y i. Στο τέλος, όµως, µόνο ένας από αυτούς τους κανόνες θα πρέπει να δώσει συµπέρασµα γιατί µόνο µία κίνηση επιτρέπεται τη φορά. Στην αναιρέσιµη λογική µια τέτοια κατάσταση αναπαρίσταται µε πολλαπλούς αντικρουόµενους κανόνες που έχουν το ίδιο (συντακτικά) συµπέρασµα. Όταν αληθεύουν περισσότεροι του ενός τέτοιοι κανόνες προσπαθούν ο καθένας να εξάγει ως συµπέρασµα κάποιο (θετικό) λεκτικό (literal). Επειδή µόνο ένα τέτοιο λεκτικό πρέπει να εξαχθεί στο τέλος, τα λεκτικά αυτά ονοµάζονται αντικρουόµενα λεκτικά (conflicting literals). Αν δεν υπάρχει κάποια σχέση υπεροχής µεταξύ των κανόνων, τότε τα αντικρουό- µενα λεκτικά αλληλοεξουδετερώνονται µεταξύ τους και δεν εξάγεται κανένα ως συµπέρασµα. Αν όµως κάποιοι από τους κανόνες είναι ανώτεροι από κάποιους άλλους, τότε σε περίπτωση σύγκρουσης προτιµώνται τα συµπεράσµατά τους. Το παρακάτω παράδειγµα θα µπορούσε να είναι τµήµα της τιµολογιακής πολιτικής κάποιου διαδικτυακού καταστήµατος. Ο κανόνας r 1 εκφράζει τη γενική γνώση ότι όταν κάποιος Z αγοράζει το αγαθό X το οποίο κοστίζει Y τότε πληρώνει ακριβώς τόσα. Ο κανόνας r 2 εκφράζει την εξαίρεση ότι όταν κάποιος πληρώνει χρησιµοποιώντας µία συγκεκριµένη πιστωτική κάρτα µε την οποία έχει συνεργασία το κατάστηµα τότε έχει 10% έκπτωση. r1: buys(z,x), costs(x,y) pays(z,x,y) r2: buys(z,x), costs(x,y), paysbycard(z,goldxyzbankcard) pays(z,x,0.9*y) r2 > r1 Το συγκεκριµένο ζεύγος κανόνων εκφράζει αντικρουόµενη γνώση για αλληλοαντικρουόµενα θετικά συµπεράσµατα (αντικρουόµενα λεκτικά). Το γεγονός ότι ο κανόνας r 2 είναι ανώτερος από τον r 1 επιτρέπει την εξαγωγή ενός µόνο συµπεράσµατος από τον κανόνα r 2 όταν ικανοποιείται η συνθήκη και των δύο κανόνων.

6 168 Τεχνητή Νοηµοσύνη Πλεονεκτήµατα Τα κυριότερα πλεονεκτήµατα της αναιρέσιµης λογικής είναι: Αυξηµένες δυνατότητες αναπαράστασης γνώσης, µε τη χρήση γεγονότων, ισχυρών και αναιρέσιµων κανόνων και προτεραιοτήτων µεταξύ τους. υνατότητα εξαγωγής συµπερασµάτων µε µερική γνώση των καταστάσεων (incomplete knowledge) αλλά και υπό την παρουσία αντιφατικών πληροφοριών (contradictory knowledge). Μικρή υπολογιστική πολυπλοκότητα των µηχανισµών εξαγωγής συµπερασµάτων. Βιβλιογραφία Υπάρχει ένα πλήθος βιβλίων που αφορούν τη µαθηµατική λογική, τόσο στην ελληνική, όπως τα [Τζουβάρας, 1992] και [Μητακίδης, 1992], όσο και στην ξένη βιβλιογραφία. Αναφέρονται ενδεικτικά το [Robinson, 1979] και [Mendelson, 1979], καθένα από τα οποία αποτελεί µια πολύ καλή εισαγωγή στη λογική. Επίσης εκτεταµένες εισαγωγές στη λογική, που επικεντρώνονται κυρίως στη χρήση της στην ΤΝ, περιέχονται σε κλασικά αγγλόφωνα εισαγωγικά συγγράµµατα της ΤΝ όπως τα [Russell & Norvig, 2003] και [Luger, 2002] και [Nilson, 1998]. Η αρχή της ανάλυσης προτάθηκε από τον Robinson στην κλασική εργασία [Robinson, 1965]. Για τη µη-µονότονη λογική ξεχωρίζουν το [Marek & Truszczynski, 1993] για τη συλλογιστική των εύλογων υποθέσεων και τις µη-µονότονες τροπικές λογικές και το [Antoniou, 1997] για την αναιρέσιµη λογική. Τέλος, τα συστήµατα TMS και ATMS παρουσιάζονται στις εργασίες [McAllester, 1980] και [De Kleer, 1986], αντίστοιχα. Ασκήσεις - Ερωτήσεις 1. Αποδείξτε µε τη χρήση πινάκων αλήθειας ότι: α) ο τύπος P P είναι ταυτολογία β) ο τύπος P P είναι αντίφαση γ) ισχύουν οι νόµοι De Morgan 2. Χρησιµοποιώντας τον αλγόριθµο ενοποίησης που δόθηκε σε σχετική ενότητα, βρείτε το γενικότερο ενοποιητή των παρακάτω λογικών τύπων: πατέρας(νίκος, Χ) πατέρας(υ, θανάσης) επάγγελµα(χ, µισθός(υψηλός), ωράριο(12)) επάγγελµα(νίκος, Υ, Ζ) µηχανή(µέρος(έµβολο), λειτουργεί) µηχανή(x, βλάβη) 3. Θεωρήστε τη βάση γνώσης του ζωικού βασίλειου που δόθηκε στην ενότητα της κατηγορηµατικής λογικής. α) Μετασχηµατίστε τις προτάσεις που δίνονται, στην προτασιακή µορφή της κατηγορηµατικής λογικής.

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

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

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

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

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

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

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

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

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

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

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

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

1 Κεφάλαιο 9 Λογική 1

1 Κεφάλαιο 9 Λογική 1 1 Κεφάλαιο 9 Λογική 1 Λογική Aποσαφήνιση και την τυποποίηση της διαδικασίας της ανθρώπινης σκέψης. Η μαθηματική λογική (mathematical logic) είναι η συστηματική μελέτη των έγκυρων ισχυρισμών (valid arguments).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Κεφάλαιο 2 Λογικός προγραμματισμός Υπολογισμός με λογική

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

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

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

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

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

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

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

Ε ανάληψη. Παιχνίδια τύχης. Παιχνίδια ατελούς ληροφόρησης. Λογικοί ράκτορες. ΠΛΗ 405 Τεχνητή Νοηµοσύνη 2006. αναζήτηση expectiminimax

Ε ανάληψη. Παιχνίδια τύχης. Παιχνίδια ατελούς ληροφόρησης. Λογικοί ράκτορες. ΠΛΗ 405 Τεχνητή Νοηµοσύνη 2006. αναζήτηση expectiminimax ΠΛΗ 405 Τεχνητή Νοηµοσύνη Προτασιακή Λογική Propositional Logic Τµήµα Ηλεκτρονικών Μηχανικών και Μηχανικών Υ ολογιστών Πολυτεχνείο Κρήτης Ε ανάληψη Παιχνίδια τύχης αναζήτηση expectiminimax Παιχνίδια ατελούς

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Κεφάλαιο 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. Εισαγωγή Χαρακτηριστικά της γλώσσας Τύποι δεδοµένων Γλώσσα προγραµµατισµού

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

Μαθηματική Λογική και Απόδειξη

Μαθηματική Λογική και Απόδειξη Μαθηματική Λογική και Απόδειξη Σύντομο ιστορικό σημείωμα: Η πρώτη απόδειξη στην ιστορία των μαθηματικών, αποδίδεται στο Θαλή το Μιλήσιο (~600 π.χ.). Ο Θαλής απέδειξε, ότι η διάμετρος διαιρεί τον κύκλο

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Διακριτά Μαθηματικά Ι

Διακριτά Μαθηματικά Ι ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Διακριτά Μαθηματικά Ι Μαθηματική λογική και αποδεικτικές τεχνικές Διδάσκων: Επίκουρος Καθηγητής Σπύρος Κοντογιάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό

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

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

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

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

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

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

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

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

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

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

Προτασιακός Λογισμός (HR Κεφάλαιο 1)

Προτασιακός Λογισμός (HR Κεφάλαιο 1) Προτασιακός Λογισμός (HR Κεφάλαιο 1) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνταξη Λογικός Συμπερασμός Σημασιολογία Ορθότητα και Πληρότητα Κανονικές Μορφές Προτάσεις Horn ΕΠΛ 412 Λογική

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

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

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

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

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

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

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

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

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Φυλλάδιο 1: Προτασιακή Λογική ΟΚΤΩΒΡΙΟΣ 2006 1. Ικανοποιησιμότητα Αποφασίστε αν οι παρακάτω προτάσεις είναι ταυτολογίες, ικανοποιήσιμες ή μη-ικανοποιήσιμες

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

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

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

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

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

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

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

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

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

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

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

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

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

ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ. Βασικά Στοιχεία Λογικής

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

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

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

8. Λεξιλόγιο μιας γλώσσας είναι όλες οι ακολουθίες που δημιουργούνται από τα στοιχεία του αλφαβήτου της γλώσσας, τις λέξεις. ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΚΕΦΑΛΑΙΑ 1-6 ΟΝΟΜΑ: ΗΜΕΡΟΜΗΝΙΑ: ΒΑΘΜΟΣ: ΘΕΜΑ 1ο Α. Να γράψετε στο τετράδιό σας τον αριθµό καθεµιάς από τις παρακάτω προτάσεις και δίπλα τη λέξη Σωστό,

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

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

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

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

Λογική Πρώτης Τάξης. Γιώργος Κορφιάτης. Νοέµβριος Εθνικό Μετσόβιο Πολυτεχνείο

Λογική Πρώτης Τάξης. Γιώργος Κορφιάτης. Νοέµβριος Εθνικό Μετσόβιο Πολυτεχνείο Λογική Πρώτης Τάξης Γιώργος Κορφιάτης Εθνικό Μετσόβιο Πολυτεχνείο Νοέµβριος 2008 Σύνταξη Ορισµός (Σύνταξη της λογικής πρώτης τάξης) Λεξιλόγιο Σ = (Φ, Π, r) Συναρτήσεις f Φ Σχέσεις R Π r( ) η πληθικότητα

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

HY118- ιακριτά Μαθηµατικά. Μαθηµατική επαγωγή. 11 Επαγωγή

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Τα µπιτ και η σηµασία τους. Σχήµα bit. ΚΕΦΑΛΑΙΟ 1: Αποθήκευση εδοµένων (1/2) 1.7 Αποθήκευση κλασµάτων 1.8 Συµπίεση δεδοµένων 1.9 Σφάλµατα επικοινωνίας

Τα µπιτ και η σηµασία τους. Σχήµα bit. ΚΕΦΑΛΑΙΟ 1: Αποθήκευση εδοµένων (1/2) 1.7 Αποθήκευση κλασµάτων 1.8 Συµπίεση δεδοµένων 1.9 Σφάλµατα επικοινωνίας ΚΕΦΑΛΑΙΟ 1: Αποθήκευση εδοµένων (1/2) ΚΕΦΑΛΑΙΟ 1: Αποθήκευση εδοµένων (2/2) 1.1 Τα bits και ο τρόπος που αποθηκεύονται 1.2 Κύρια µνήµη 1.3 Αποθηκευτικά µέσα 1.4 Αναπαράσταση πληροφοριών ως σχηµάτων bits

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

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

ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ : ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΑΞΗ : Γ ΛΥΚΕΙΟΥ ΣΠΟΥΔΕΣ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΑΡΧΗ 1ης ΣΕΛΙ ΑΣ ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ : ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΑΞΗ : Γ ΛΥΚΕΙΟΥ ΣΠΟΥΔΕΣ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΔΙΑΓΩΝΙΣΜΑ ΠΕΡΙΟΔΟΥ : ΣΕΠΤΕΜΒΡΙΟΥ ΣΥΝΟΛΟ ΣΕΛΙΔΩΝ : 7 ΘΕΜΑ Α :

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

ΠΛΗ 20, 2 η ΟΣΣ (Προτασιακή Λογική)

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

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

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

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

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

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

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

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

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

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

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

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

Κατηγορηματική Λογική Κατηγορηματική Λογική Επέκταση της προτασιακής λογικής. Ο κόσμος περιγράφεται σαν ένα σύνολο αντικειμένων, ιδιοτήτων και σχέσεων. Αντιμετωπίζει το πρόβλημα της μη προσπελασιμότητας των στοιχείων των γεγονότων

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

Ονοματεπώνυμο: Ανάπτυξη Εφαρμογών σε Προγραμματιστικό Περιβάλλον. Δομή Ακολουθίας και Επιλογής Κεφ: 2.1, 2.3, , 6.3, , 8.1, 8.1.

Ονοματεπώνυμο: Ανάπτυξη Εφαρμογών σε Προγραμματιστικό Περιβάλλον. Δομή Ακολουθίας και Επιλογής Κεφ: 2.1, 2.3, , 6.3, , 8.1, 8.1. Ονοματεπώνυμο: Μάθημα: Υλη: Ανάπτυξη Εφαρμογών σε Προγραμματιστικό Περιβάλλον Δομή Ακολουθίας και Επιλογής Κεφ: 2.1, 2.3, 2.4.1-2.4.4, 6.3, 7.1-7.10, 8.1, 8.1.1 Επιμέλεια διαγωνίσματος: Ρομπογιαννάκη Ι.Αικατερίνη

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

Περιεχόµενα. ΜΕΡΟΣ Α: Επίλυση Προβληµάτων... 17

Περιεχόµενα. ΜΕΡΟΣ Α: Επίλυση Προβληµάτων... 17 ΠΡΟΛΟΓΟΣ... I ΠΡΟΛΟΓΟΣ ΤΩΝ ΣΥΓΓΡΑΦΕΩΝ...III ΣΥΝΟΠΤΙΚΗ ΠΑΡΟΥΣΙΑΣΗ ΠΕΡΙΕΧΟΜΕΝΩΝ... IX ΠΕΡΙΕΧΟΜΕΝΑ... XI 1 ΕΙΣΑΓΩΓΗ... 1 1.1 ΤΙ ΕΙΝΑΙ ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ... 1 1.1.1 Ορισµός της Νοηµοσύνης... 2 1.1.2 Ορισµός

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

Λογική στην Πληροφορική - Εισαγωγή

Λογική στην Πληροφορική - Εισαγωγή Λογική στην Πληροφορική - Εισαγωγή Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Οργάνωση του Μαθήματος Αναδρομή στην Ιστορία της Λογικής ΕΠΛ 412 Λογική στην Πληροφορική 1-1 Διδασκαλία Διαλέξεις:

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

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ Περιεχόμενα : Α) Προτάσεις-Σύνθεση προτάσεων Β)Απόδειξη μιας πρότασης Α 1 ) Τι είναι πρόταση Β 1 ) Βασικές έννοιες Α ) Συνεπαγωγή Β ) Βασικές μέθοδοι απόδειξης Α 3 ) Ισοδυναμία

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

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

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

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

Περιεχόμενα. Ανάλυση προβλήματος. Δομή ακολουθίας. Δομή επιλογής. Δομή επανάληψης. Απαντήσεις. 1. Η έννοια πρόβλημα Επίλυση προβλημάτων...

Περιεχόμενα. Ανάλυση προβλήματος. Δομή ακολουθίας. Δομή επιλογής. Δομή επανάληψης. Απαντήσεις. 1. Η έννοια πρόβλημα Επίλυση προβλημάτων... Περιεχόμενα Ανάλυση προβλήματος 1. Η έννοια πρόβλημα...13 2. Επίλυση προβλημάτων...17 Δομή ακολουθίας 3. Βασικές έννοιες αλγορίθμων...27 4. Εισαγωγή στην ψευδογλώσσα...31 5. Οι πρώτοι μου αλγόριθμοι...54

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

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

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

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

Αναπαράσταση Γνώσης µε Λογική. Προτασιακή Λογική

Αναπαράσταση Γνώσης µε Λογική. Προτασιακή Λογική Αναπαράσταση Γνώσης µε Λογική Προτασιακή Λογική 1 Αναπαράσταση Γνώσης µε Λογική n Πράκτορες Βασισµένοι στη Γνώση (Knowledge-based agents) n Ένα παράδειγµα: Wumpus world n Γενικά για Λογική n Προτασιακή

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

ΕΠΛ 412 Λογική στην Πληροφορική 4-1

ΕΠΛ 412 Λογική στην Πληροφορική 4-1 Επίλυση Resolution Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: H Μέθοδος της Επίλυσης στον Προτασιακό Λογισμό στον Κατηγορηματικό Λογισμό ΕΠΛ 412 Λογική στην Πληροφορική 4-1 Το όνειρο του

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

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

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

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

Μηχανική Μάθηση Μερωνυµιών για Αναγνώριση Γεγονότων

Μηχανική Μάθηση Μερωνυµιών για Αναγνώριση Γεγονότων Μηχανική Μάθηση Μερωνυµιών για Αναγνώριση Γεγονότων Αναστάσιος Σκαρλατίδης 1,2 anskarl@iit.demokritos.gr επιβλέπων: Καθ. Βούρος Γ. 1 1 Τµήµα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστηµάτων Πανεπιστήµιο

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

Aλγεβρα A λυκείου α Τομος

Aλγεβρα A λυκείου α Τομος Aλγ ε β ρ α A Λυ κ ε ί ο υ Α Τό μ ο ς Κάθε γνήσιο αντίτυπο φέρει την υπογραφή του συγγραφέα Σειρά: Γενικό Λύκειο, Θετικές Επιστήμες Άλγεβρα Α Λυκείου, Α Τόμος Παναγιώτης Γριμανέλλης Στοιχειοθεσία-σελιδοποίηση,

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

Ανάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4)

Ανάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4) Ανάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Η διαδικαστική γλώσσα προγραμματισμού WHILE Τριάδες Hoare Μερική και Ολική Ορθότητα Προγραμμάτων Κανόνες

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

Ασκήσεις μελέτης της 11 ης διάλεξης

Ασκήσεις μελέτης της 11 ης διάλεξης Οικονομικό Πανεπιστήμιο Αθηνών, Τμήμα Πληροφορικής Μάθημα: Τεχνητή Νοημοσύνη, 2015 16 Διδάσκων: Ι. Ανδρουτσόπουλος Ασκήσεις μελέτης της 11 ης διάλεξης 11.1 (α) Μετατρέψτε σε κανονική συζευκτική μορφή (CNF)

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

Ανάπτυξη Εφαρµογών σε Προγραµµατιστικό Περιβάλλον

Ανάπτυξη Εφαρµογών σε Προγραµµατιστικό Περιβάλλον Ανάπτυξη Εφαρµογών σε Προγραµµατιστικό Περιβάλλον Κεφάλαιο 6ο Εισαγωγή στον Προγραµµατισµό Μέρος Πρώτο (6.1, 6.2 και 6.3) Α. Ερωτήσεις Σωστού Λάθους 1. Η γλώσσα µηχανής είναι µία γλώσσα υψηλού επιπέδου.

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

Εισαγωγικά Παραδείγματα: Παρατηρήσεις:

Εισαγωγικά Παραδείγματα: Παρατηρήσεις: 1 Εισαγωγικά Η έννοια του συνόλου είναι πρωταρχική στα Μαθηματικά, δεν μπορεί δηλ. να οριστεί από άλλες έννοιες. Γενικά, μπορούμε να πούμε ότι σύνολο είναι μια συλλογή αντικειμένων. υτά λέμε ότι περιέχονται

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

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

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

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

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

ΤΕΙ ΠΕΛΟΠΟΝΝΗΣΟΥ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Τ.Ε. ΤΕΙ ΠΕΛΟΠΟΝΝΗΣΟΥ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Τ.Ε. Θέματα Εξετάσεων Εξεταστικής Σεπτεμβρίου στο μάθημα «ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ» ΔΙΔΑΣΚΩΝ: Δρ. Ηλ. Μηχ. & Τ.Υ. Αριστομένης Θανόπουλος Ημερομηνία: 12 / 2 / 2015

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

ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ ΜΑΘΗΜΑ 2 ΑΝΑΠΑΡΑΣΤΑΣΗ - ΤΕΧΝΙΚΕΣ ΤΝ (1)

ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ ΜΑΘΗΜΑ 2 ΑΝΑΠΑΡΑΣΤΑΣΗ - ΤΕΧΝΙΚΕΣ ΤΝ (1) ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ ΜΑΘΗΜΑ 2 ΑΝΑΠΑΡΑΣΤΑΣΗ - ΤΕΧΝΙΚΕΣ ΤΝ (1) 2. ΑΝΑΠΑΡΑΣΤΑΣΗ ΠΡΟΒΛΗΜΑΤΟΣ H υλοποίηση ενός προβλήµατος σε σύστηµα Η/Υ που επιδεικνύει ΤΝ 1 απαιτεί: Την κατάλληλη περιγραφή του προβλήµατος

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

ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων Λύσεις

ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων Λύσεις ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2016 3 η Σειρά Ασκήσεων Λύσεις Άσκηση 3.1 [1 μονάδα] Έστω p(x) και q(x) κατηγορήματα με πεδίο ορισμού Ω με σύνολα αλήθειας Α και Β αντίστοιχα (Σύνολα αλήθειας:

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

ΠΛΗ 405 Τεχνητή Νοηµοσύνη

ΠΛΗ 405 Τεχνητή Νοηµοσύνη ΠΛΗ 405 Τεχνητή Νοηµοσύνη Α οδοτικός Προτασιακός Συµ ερασµός Τµήµα Ηλεκτρονικών Μηχανικών και Μηχανικών Υ ολογιστών Πολυτεχνείο Κρήτης Ε ανάληψη Λογικές τυπικές γλώσσες λογική κάλυψη Προτασιακή λογική

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

ΠΡΟΔΙΑΓΡΑΦΕΣ - ΟΔΗΓΙΕΣ ΔΙΑΜΟΡΦΩΣΗΣ ΘΕΜΑΤΩΝ ΓΙΑ ΤΟ ΜΑΘΗΜΑ

ΠΡΟΔΙΑΓΡΑΦΕΣ - ΟΔΗΓΙΕΣ ΔΙΑΜΟΡΦΩΣΗΣ ΘΕΜΑΤΩΝ ΓΙΑ ΤΟ ΜΑΘΗΜΑ ΠΡΟΔΙΑΓΡΑΦΕΣ - ΟΔΗΓΙΕΣ ΔΙΑΜΟΡΦΩΣΗΣ ΘΕΜΑΤΩΝ ΓΙΑ ΤΟ ΜΑΘΗΜΑ Μαθηματικά (Άλγεβρα - Γεωμετρία) Α ΤΑΞΗ ΗΜΕΡΗΣΙΟΥ και Α, Β ΤΑΞΕΙΣ ΕΣΠΕΡΙΝΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ Α ΤΑΞΗ ΗΜΕΡΗΣΙΟΥ και Α ΤΑΞΗ ΕΣΠΕΡΙΝΟΥ ΕΠΑΛ ΚΕΝΤΡΙΚΗ

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

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

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

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

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

Αναπαράσταση Γνώσης και Συλλογιστικές Αναπαράσταση Γνώσης και Συλλογιστικές Αναπαράσταση γνώσης είναι ένα σύνολο συντακτικών και σηµασιολογικών παραδοχών, οι οποίες καθιστούν δυνατή την περιγραφή ενός κόσµου.! Μία µέθοδος αναπαράστασης γνώσης

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

Ας θεωρήσουμε δύο πραγματικούς αριθμούς. Είναι γνωστό ότι:,. Αυτό σημαίνει ότι: «=», «

Ας θεωρήσουμε δύο πραγματικούς αριθμούς. Είναι γνωστό ότι:,. Αυτό σημαίνει ότι: «=», « .1 Στη παράγραφο αυτή θα γνωρίσουμε μερικές βασικές έννοιες της Λογικής, τις οποίες θα χρησιμοποιήσουμε στη συνέχεια, όπου αυτό κρίνεται αναγκαίο, για τη σαφέστερη διατύπωση μαθηματικών εννοιών, προτάσεων

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

οµηµένες Αναπαραστάσεις Γνώσης

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

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

Α1. (α). ώστε τον ορισµό του προβλήµατος (Μονάδες 3)

Α1. (α). ώστε τον ορισµό του προβλήµατος (Μονάδες 3) ΜΑΘΗΜΑ / ΤΑΞΗ : ΑΕΠΠ / ΑΠΟΦΟΙΤΟΙ ΣΕΙΡΑ: 1η ΗΜΕΡΟΜΗΝΙΑ: 28/11/2011 ΘΕΜΑ Α Α1. (α). ώστε τον ορισµό του προβλήµατος (Μονάδες 3) (β). ίνεται ο παρακάτω πίνακας που στην Στήλη 1 υπάρχουν κριτήρια κατηγοριοποίησης

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

Σύµφωνα µε την Υ.Α /Γ2/ Εξισώσεις 2 ου Βαθµού. 3.2 Η Εξίσωση x = α. Κεφ.4 ο : Ανισώσεις 4.2 Ανισώσεις 2 ου Βαθµού

Σύµφωνα µε την Υ.Α /Γ2/ Εξισώσεις 2 ου Βαθµού. 3.2 Η Εξίσωση x = α. Κεφ.4 ο : Ανισώσεις 4.2 Ανισώσεις 2 ου Βαθµού Σύµφωνα µε την Υ.Α. 139606/Γ2/01-10-2013 Άλγεβρα Α ΤΑΞΗ ΕΣΠΕΡΙΝΟΥ ΓΕΛ Ι. ιδακτέα ύλη Από το βιβλίο «Άλγεβρα και Στοιχεία Πιθανοτήτων Α Γενικού Λυκείου» (έκδοση 2013) Εισαγωγικό κεφάλαιο E.2. Σύνολα Κεφ.1

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

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

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

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

Σηµειώσεις στις σειρές

Σηµειώσεις στις σειρές . ΟΡΙΣΜΟΙ - ΓΕΝΙΚΕΣ ΕΝΝΟΙΕΣ Σηµειώσεις στις σειρές Στην Ενότητα αυτή παρουσιάζουµε τις βασικές-απαραίτητες έννοιες για την µελέτη των σειρών πραγµατικών αριθµών και των εφαρµογών τους. Έτσι, δίνονται συστηµατικά

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

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

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

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

Κεφάλαιο 4 : Λογική και Κυκλώματα

Κεφάλαιο 4 : Λογική και Κυκλώματα Κεφάλαιο 4 : Λογική και Κυκλώματα Σύνοψη Τα κυκλώματα που διαθέτουν διακόπτες ροής ηλεκτρικού φορτίου, χρησιμοποιούνται σε διατάξεις που αναπαράγουν λογικές διαδικασίες για τη λήψη αποφάσεων. Στην ενότητα

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

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

ΑΡΧΗ 1ης ΣΕΛΙΔΑΣ ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ : ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΑΞΗ : Γ ΛΥΚΕΙΟΥ ΣΠΟΥΔΕΣ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΑΡΧΗ 1ης ΣΕΛΙΔΑΣ ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ : ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΑΞΗ : Γ ΛΥΚΕΙΟΥ ΣΠΟΥΔΕΣ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΔΙΑΓΩΝΙΣΜΑ ΠΕΡΙΟΔΟΥ : ΣΕΠΤΕΜΒΡΙΟΥ 2015 ΣΥΝΟΛΟ ΣΕΛΙΔΩΝ : 6 ΘΕΜΑ

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

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

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

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

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

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

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

4. ΕΡΩΤΗΣΕΙΣ ΚΛΕΙΣΤΟΥ Ή ΑΝΤΙΚΕΙΜΕΝΙΚΟΥ ΤΥΠΟΥ

4. ΕΡΩΤΗΣΕΙΣ ΚΛΕΙΣΤΟΥ Ή ΑΝΤΙΚΕΙΜΕΝΙΚΟΥ ΤΥΠΟΥ 4. ΕΡΩΤΗΣΕΙΣ ΚΛΕΙΣΤΟΥ Ή ΑΝΤΙΚΕΙΜΕΝΙΚΟΥ ΤΥΠΟΥ Με τις ερωτήσεις του τύπου αυτού καλείται ο εξεταζόµενος να επιλέξει την ορθή απάντηση από περιορισµένο αριθµό προτεινόµενων απαντήσεων ή να συσχετίσει µεταξύ

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