Κεφάλαιο 8: Υπολογιστικές Μεθοδολογίες σε Πλέγματα

Σχετικά έγγραφα
Δρ. Βασίλειος Γ. Καμπουρλάζος Δρ. Ανέστης Γ. Χατζημιχαηλίδης

Δρ. Βασίλειος Γ. Καμπουρλάζος Δρ. Ανέστης Γ. Χατζημιχαηλίδης

Δρ. Βασίλειος Γ. Καμπουρλάζος Δρ. Ανέστης Γ. Χατζημιχαηλίδης

Δρ. Βασίλειος Γ. Καμπουρλάζος Δρ. Ανέστης Γ. Χατζημιχαηλίδης

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

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

Δρ. Βασίλειος Γ. Καμπουρλάζος Δρ. Ανέστης Γ. Χατζημιχαηλίδης

Πιο συγκεκριμένα, η χρήση του MATLAB προσφέρει τα ακόλουθα πλεονεκτήματα.

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

Γενικά Στοιχεία Ηλεκτρονικού Υπολογιστή

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

21 a 22 a 2n. a m1 a m2 a mn

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

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


Ψηφιακή Σχεδίαση Εργαστήριο Τ.Ε.Ι. ΚΡΗΤΗΣ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΤΜ. ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΧΕΙΜΕΡΙΝΟ ΕΞΑΜΗΝΟ

Advances in Digital Imaging and Computer Vision

2. Η πιθανότητα της αριθμήσιμης ένωσης ξένων μεταξύ τους ενδεχομένων είναι το άθροισμα των πιθανοτήτων των ενδεχομένων.

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

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

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

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

Κεφάλαιο 4. Λογική Σχεδίαση

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

επανενεργοποιηθεί Βιομηχανικά Ηλεκτρονικά - Κ.Ι.Κυριακόπουλος Control Systems Laboratory

Πρόγραμμα Επικαιροποίησης Γνώσεων Αποφοίτων

ΕΥΦΥΗΣ ΕΛΕΓΧΟΣ. Ενότητα #3: Αρχή της Επέκτασης - Ασαφείς Σχέσεις. Αναστάσιος Ντούνης Τμήμα Μηχανικών Αυτοματισμού Τ.Ε.

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

Τι είναι βαθμωτό μέγεθος? Ένα μέγεθος που περιγράφεται μόνο με έναν αριθμό (π.χ. πίεση)

Γραμμική Αλγεβρα ΙΙ Διάλεξη 1 Εισαγωγή Χρήστος Κουρουνιώτης Πανεπισ τήμιο Κρήτης 19/2/2014 Χ.Κουρουνιώτης (Παν.Κρήτης) Διάλεξη 1 19/2/ / 13

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

ΒΑΣΙΚΕΣ ΑΡΧΕΣ ΨΗΦΙΑΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ. Κεφάλαιο 3

Ανάκτηση Πληροφορίας

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

Μεταπτυχιακό Πρόγραμμα «Γεωχωρικές Τεχνολογίες» Ψηφιακή Επεξεργασία Εικόνας. Εισηγητής Αναστάσιος Κεσίδης

II. Συναρτήσεις. math-gr

Εισαγωγή στην επιστήμη των υπολογιστών. Υπολογιστές και Δεδομένα Κεφάλαιο 4ο Πράξεις με μπιτ

2. Η πιθανότητα της αριθμήσιμης ένωσης ξένων μεταξύ τους ενδεχομένων είναι το άθροισμα των πιθανοτήτων των ενδεχομένων.

R ισούται με το μήκος του. ( πρβλ. την ιστορική σημείωση 3.27 στο τέλος

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ 12) ΕΡΓΑΣΙΑ 1 η Ημερομηνία Αποστολής στον Φοιτητή: 17 Οκτωβρίου 2011

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

ΣΧΕΔΙΑΣΗ ΨΗΦΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ

Ενότητα 2 ΑΛΓΕΒΡΑ BOOLE ΛΟΓΙΚΕΣ ΠΥΛΕΣ

Θεωρία μέτρου και ολοκλήρωσης

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

ΑΣΠΑΙΤΕ Εργαστήριο Ψηφιακών Συστημάτων & Μικροϋπολογιστών Εργαστηριακές Ασκήσεις για το μάθημα «Λογική Σχεδίαση» ΑΣΚΗΣΗ 3 ΠΙΝΑΚΕΣ KARNAUGH

Digital Image Processing

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

Εισαγωγή στην επιστήμη των υπολογιστών. Πράξεις με μπιτ

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

Κεφάλαιο 7: Η Θεωρία Πλεγμάτων στην Υπολογιστική Νοημοσύνη

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

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

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

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

Κεφάλαιο 5 Γραμμικοί Μετασχηματισμοί

ΜΕΡΟΣ 1 ΣΥΝΑΡΤΗΣΕΙΣ. f : A R και στη συνέχεια δίνουμε τον τύπο της συνάρτησης, π.χ.

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων

OΡΙΟ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ

ΠΕΡΙΕΧΟΜΕΝΑ. Πρόλογος...9 ΚΕΦ. 1. ΑΡΙΘΜΗΤΙΚΑ ΣΥΣΤΗΜΑΤΑ - ΚΩΔΙΚΕΣ

Δρ. Βασίλειος Γ. Καμπουρλάζος Δρ. Ανέστης Γ. Χατζημιχαηλίδης

Γ2.1 Στοιχεία Αρχιτεκτονικής. Γ Λυκείου Κατεύθυνσης

Εισαγωγή στην ανάλυση

ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ

(a + b) + c = a + (b + c), (ab)c = a(bc) a + b = b + a, ab = ba. a(b + c) = ab + ac

Σχέδιο Μαθήματος - "Ευθεία Απόδειξη"

Δύο λόγια από τη συγγραφέα

κεφάλαιο Βασικές Έννοιες Επιστήμη των Υπολογιστών

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

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

"My Binary Logic" Ένας προσομοιωτής λογικών πυλών στο Scratch

Πεπερασμένες διαφορές

Κεφάλαιο 9 Συναρτησιακός προγραμματισμός Υπολογισμός με συναρτήσεις

ΜΑΣ121: ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ I Εαρινό εξάμηνο , Διδάσκων: Γιώργος Γεωργίου ΕΝΔΙΑΜΕΣΗ ΕΞΕΤΑΣΗ, Διάρκεια: 2 ώρες 18 Νοεμβρίου, 2017

ΛΟΓΙΚΗ - ΣΥΝΟΛΑ ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ

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

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

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

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

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

Πρόβλημα 29 / σελίδα 28

Κανονικές μορφές - Ορισμοί

p p p q p q p q p q

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

4. ΝΟΜΟΙ ΔΥΑΔΙΚΗΣ ΑΛΓΕΒΡΑΣ

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

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

Τι είναι σύνολο; Ο ορισμός αυτός είναι σύμφωνος με τη διαισθητική μας κατανόηση για το τι είναι σύνολο

Συνδυαστικά Λογικά Κυκλώματα

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

Διάλεξη 1 - Σημειώσεις 1

ΟΡΙΣΜΟΣ 2 (Ισοδύναμος ορισμός που χρησιμεύει σε ασκήσεις)

Χρήστος Ι. Σχοινάς Αν. Καθηγητής ΔΠΘ. Συμπληρωματικές σημειώσεις για το μάθημα: «Επιχειρησιακή Έρευνα ΙΙ»

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 1 : Σύνολα & Σχέσεις (1/2) Αλέξανδρος Τζάλλας

Εφαρμογές της Λογικής στην Πληροφορική

Η Γεωμετρία της Αντιστροφής Η βασική θεωρία. Αντιστροφή

Ενότητα 4 ΛΟΓΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ ΛΟΓΙΚΑ ΚΥΚΛΩΜΑΤΑ ΔΥΟ ΕΠΙΠΕΔΩΝ

Αριθμοθεωρητικοί Αλγόριθμοι

Προτάσεις. Εισαγωγή στις βασικές έννοιες των Μαθηματικών. Ποιες είναι προτάσεις; Προτάσεις 6/11/ ο Μάθημα Μαθηματική Λογική (επανάληψη)

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

Transcript:

Κεφάλαιο 8: Υπολογιστικές Μεθοδολογίες σε Πλέγματα H θεωρία πλεγμάτων προέκυψε ως παραπροϊόν μιας προσπάθειας για μαθηματική τυποποίηση της προτασιακής λογικής του Αριστοτέλη Συγκεκριμένα, στο πρώτο μισό του 19 ου αιώνα η προσπάθεια του George Boole για τυποποίηση της προτασιακής λογικής κατέληξε στην εισαγωγή της άλγεβρας Boole Η μελέτη αξιωμάτων της άλγεβρας Boole προς το τέλος του 19 ου αιώνα οδήγησε τους Peirce και Schröder στην έννοια του (μαθηματικού) πλέγματος ανεξάρτητα, η έρευνα του Dedekind πάνω σε ιδεώδη αλγεβρικών αριθμών (ideals of algebraic numbers) οδήγησε και αυτή στην εισαγωγή της έννοιας του (μαθηματικού) πλέγματος (Grätzer, 2003) Τις επόμενες δεκαετίες δημοσιεύονταν αποσπασματικά αποτελέσματα της θεωρίας πλεγμάτων, συχνά σε εχθρικό κλίμα, το οποίο συντηρούσαν μαθηματικοί κύκλοι της εποχής Με τη συστηματική δουλειά του Birkhoff (1967) τη δεκαετία του 1930 στο πανεπιστήμιο Harvard της Βοστώνης ξεκίνησε η γενική ανάπτυξη της θεωρίας πλεγμάτων και, τελικά, η ανάδειξή της σε διακριτό πεδίο των μαθηματικών Ο Birkhoff έδειξε ότι η θεωρία πλεγμάτων ενοποιούσε μέχρι τούδε ασυσχέτιστα μαθηματικά πεδία, όπως η γραμμική άλγεβρα, η λογική, η θεωρία πιθανοτήτων κά Σημαντική συμβολή στη θεμελίωση της θεωρίας πλεγμάτων είχαν διάφοροι μαθηματικοί ή/και λογικιστές (logicians), όπως οι: Jónsson, Kurosh Malcev, Ore, von Neumann και Tarski (Rota, 1997) Ο υπολογισμός σε πλέγματα σήμερα αποτελεί μια τάση στην ΥΝ, όπως εξηγήθηκε στην Εισαγωγή στο Μέρος-ΙΙΙ Σημειώστε ότι ο ενοποιητικός χαρακτήρας της θεωρίας πλεγμάτων στην ΥΝ έχει αναγνωριστεί αποσπασματικά από διάφορους ερευνητές (Bloch & Maitre, 1995 Maragos, 2005 Nachtegael & Kerre, 2001) Αυτό το κεφάλαιο σκιαγραφεί τρεις επιστημονικές μεθοδολογίες (paradigms) υπολογισμού σε πλέγματα που περιλαμβάνουν τις #1 Λογική και Συλλογιστική, #2 Τυποποιημένη Ανάλυση Εννοιών και #3 Μαθηματική Μορφολογία Συγκεκριμένα, οι μεθοδολογίες #1 και #2 βασίζονται στο σημασιολογικό ορισμό πλέγματος και κάνουν χρήση της δυαδικής σχέσης μερική διάταξη, ενώ η μεθοδολογία #3 βασίζεται στον αλγεβρικό ορισμό πλέγματος και κάνει χρήση των δυαδικών πράξεων συνένωση και διατομή 81 Λογική και Συλλογιστική Πλέγματα έχουν χρησιμοποιηθεί σε διάφορες μελέτες της λογικής (Birkhoff & von Neumann, 1936 Edmonds, 1980 Gaines, 1978 Halmos & Givant, 1998) Περαιτέρω, ενδιαφέρουσα γενίκευση της έννοιας του ασαφούς συνόλου αποτελεί η έννοια Π-ασαφές σύνολο (L-fuzzy set) (Goguen, 1967) Συγκεκριμένα, η συνάρτηση βαθμού συμμετοχής ενός Π-ασαφούς συνόλου απεικονίζει το σύνολο αναφοράς σε ένα γενικό πλήρες πλέγμα, αντί να το απεικονίζει αποκλειστικά στο πλήρες πλέγμα κλειστό διάστημα [0,1] Η προαναφερθείσα ιδέα επεκτείνεται τόσο στη λογική, όσο και στη συλλογιστική (reasoning), με τη συνάρτηση αλήθειας μιας πρότασης να λαμβάνει τιμές σε ένα πλήρες πλέγμα για αποτελεσματικότερη αναπαράσταση της αμφιβολίας Τελικά, η προτασιακή λογική που έτσι προκύπτει ονομάζεται Π-προτασιακή λογική (Xu κά, 2003) Στη συνέχεια συνοψίζουμε και επεκτείνουμε αποτελέσματα του Κεφαλαίου 2 σχετικά με συνεπαγωγές 811 Ασαφείς συνεπαγωγές Βασικές έννοιες, ορισμοί Υπενθυμίζεται ότι στην κλασική (δίτιμη) λογική, οι τιμές αληθείας της συνεπαγωγής ( ) επαληθεύουν τον ακόλουθο πίνακα αλήθειας 0 1 0 1 1 1 0 1 Πίνακας 81 Πίνακας αλήθειας της κλασικής (δίτιμης) συνεπαγωγής ( ) Ο παραπάνω πίνακας περιγράφεται στο διμελές σύνολο 0,1 με τον τύπο: a b a b Η κλασική συνεπαγωγή ( ) μπορεί να ερμηνευτεί ως μία δυαδική πράξη με τιμές αλήθειας στο σύνολο 0,1 0,1 Περαιτέρω, η ασαφής λογική επεκτείνει το σύνολο των τιμών αλήθειας στο διάστημα 8-1

και, συνεπώς, η συνεπαγωγή επεκτείνεται σε μία δυαδική πράξη στο διάστημα 0,1 Δηλαδή, ασαφής συνεπαγωγή είναι μία απεικόνιση: I : 0,1 0,1 0,1, που ικανοποιεί τον παραπάνω πίνακα της κλασικής συνεπαγωγής, όταν το διάστημα 0,1 περιοριστεί στο διμελές σύνολο 0,1 Η επέκταση της κλασικής συνεπαγωγής a b a b, στην ασαφή λογική, είναι: IS a, b S na, b,, 0,1 ab (81) όπου S, T και n, συμβολίζουν τ-συννόρμα (ασαφή διάζευξη), τ-νόρμα (ασαφή σύζευξη) και ασαφή άρνηση, αντίστοιχα Οι S και T είναι δυαδικές σε σχέση με την n, δηλ ικανοποιούν τους νόμους De Morgan Επιπλέον, επειδή ο τύπος a b a b, μπορεί να γραφεί στη δίτιμη λογική ως: και και x a x b, ab, 0,1 a b max 0,1 a b a a b, ab, 0,1 οι αντίστοιχες επεκτάσεις στην ασαφή λογική είναι, sup 0,1, I a b x T a x b,, 0,1 R IQL a, b S na, T a, b,, 0,1 ab (82) ab (83) Οι ασαφείς συνεπαγωγές που προκύπτουν από την Εξ(81) αναφέρονται ως S συνεπαγωγές, αυτές που προκύπτουν από την Εξ(82) αναφέρονται ως R-συνεπαγωγές, ενώ αυτές που προκύπτουν από την Εξ(83) αναφέρονται ως QL συνεπαγωγές Εκτός των παραπάνω τριών ασαφών συνεπαγωγών, που είναι οι επικρατέστερες στη βιβλιογραφία, σημειώστε ότι έχουν οριστεί και άλλες ασαφείς συνεπαγωγές Γενικεύσεις ιδιοτήτων της κλασικής συνεπαγωγής οδηγούν στις ακόλουθες ιδιότητες, οι οποίες συχνά εκλαμβάνονται ως λογικά αξιώματα των ασαφών συνεπαγωγών A1,, a b I a x I b x Δηλαδή, η τιμή αλήθειας των ασαφών συνεπαγωγών αυξάνει, καθώς η τιμή αλήθειας των υποθέσεων φθίνει a b I x, a I x, b Δηλαδή, η τιμή αλήθειας των ασαφών συνεπαγωγών αυξάνει, καθώς η τιμή A2 αλήθειας των συμπερασμάτων αυξάνει I 0, a 1 Δηλαδή, η ψευδής πρόταση συνεπάγεται οτιδήποτε A3 A4 I 1, b b Ουδετερότητα της αληθούς πρότασης A5 I a, a 1 Δηλαδή, οι ασαφείς συνεπαγωγές είναι αληθείς όταν οι τιμές αλήθειας του αιτίου και του επακόλουθου είναι ίσες,,,, A6 I a I b x I b I a x Αυτή είναι μια γενίκευση της ισοδυναμίας b a x, η οποία ισχύει στη κλασική συνεπαγωγή A7 I a, b 1 εάν και μόνο εάν a a b x και b Δηλαδή, οι ασαφείς συνεπαγωγές είναι αληθείς, εάν και μόνο εάν το επακόλουθο είναι τουλάχιστον τόσο αληθές, όσο και το αίτιο I a, b I n b, n a για μια ασαφή άρνηση n Δηλαδή, οι ασαφείς συνεπαγωγές είναι εξίσου A8 αληθείς, όταν οι αρνήσεις του αιτίου και του επακόλουθου εναλλαχθούν A9 Η I είναι μια συνεχής συνάρτηση Η ιδιότητα αυτή εξασφαλίζει ότι μικρές αλλαγές στις τιμές αλήθειας του αιτίου ή του επακόλουθου, δεν επιφέρουν μεγάλες αλλαγές στις τιμές αλήθειας των ασαφών συνεπαγωγών 8-2

Τα αξιώματα Α1 Α9 δεν είναι ανεξάρτητα το ένα από το άλλο, πχ τα A3 και A5 προκύπτουν από το A7, όχι όμως το αντίστροφο Μια ασαφής συνεπαγωγή δεν ικανοποιεί πάντα όλα τα αξιώματα Α1 Α9 Όταν όμως μια ασαφής συνεπαγωγή ικανοποιεί όλα τα αξιώματα Α1 Α9, ικανοποιεί επίσης και το ακόλουθο θεώρημα Θεώρημα Smets και Magrez Μια συνάρτηση : 0,1 0,1 0,1 I ικανοποιεί τα αξιώματα A1 - A9 των ασαφών συνεπαγωγών για μια ασαφή άρνηση n, αν και μόνο αν υπάρχει μία γνησίως αύξουσα συνεχής : 0,1 0, f 0 0 Τότε ισχύουν: συνάρτηση f, με ( 1) I a, b f f 1 f a f b,, 0,1 na f 1 f 1 f a, a 0,1 ab και Εκτός του προαναφερθέντος ορισμού της ασαφούς συνεπαγωγής, ο οποίος είναι ο επικρατέστερος στη βιβλιογραφία, αναφέρουμε και τον ακόλουθο εναλλακτικό ορισμό: Ορισμός Fodor και Roubens Ασαφής συνεπαγωγή είναι μια απεικόνιση: I : 0,1 0,1 0,1, που ικανοποιεί το λογικό πίνακα της κλασικής συνεπαγωγής, όταν το επιπλέον, 0,1 ab ικανοποιεί τις ακόλουθες ιδιότητες: (i),, (ii),, (iii) I0, a 1 (iv) Ia,1 1 (v) I 1,0 0 a b I a x I b x a b I x a I x b 0,1 περιορίζεται στο 0,1 και 812 Άλγεβρα Συνεπαγωγών Πλέγματος Έστω ( L,,, O, I ) ένα πλήρες πλέγμα με ελάχιστο και μέγιστο στοιχείο O και I, αντίστοιχα, έστω μια συνάρτηση δυϊκού ισομορφισμού, και έστω μια συνάρτηση : L L L Η επτάδα ( L,,,,, O, I ) καλείται άλγεβρα συνεπαγωγών πλέγματος (lattice implication algebra), εάν ισχύουν οι ακόλουθες ιδιότητες για κάθε x, y, z L : (Ι 1 ) x ( y z) y ( x z ) (Ι 2 ) x x I (Ι 3 ) x y y x (Ι 4 ) Εάν x y y x I τότε x y (Ι 5 ) ( x y) y ( y x) x (L 1 ) ( x y) z ( x z) ( y z ) (L 2 ) ( x y) z ( x z) ( y z ) Ακολουθούν τρία παραδείγματα άλγεβρας συνεπαγωγών πλέγματος Παράδειγμα 1 Έστω ( L,,, ) ένα πλέγμα Boole Για κάθε x, yl όρισε είναι μια άλγεβρα συνεπαγωγών πλέγματος x y x y Τότε, η τετράδα ( L,,, ) 8-3

Παράδειγμα 2 Έστω L [0,1], με πράξεις,, και να ορίζονται για κάθε x, y, z L ως εξής: x y max{ x, y }, x y min{ x, y }, x 1x και x y min{ x,1 x y } Τότε, η επτάδα ([0,1],,,,,0,1) είναι μια άλγεβρα συνεπαγωγών πλέγματος, γνωστή και ως άλγεβρα του Łukasiewicz πάνω στο διάστημα [0, 1] Παράδειγμα 3 Έστω L { a i 1,2,, n }, με πράξεις,, και να ορίζονται για κάθε 1 j, k n ως εξής: i a j ak a max{ j, k}, j k min{ j, k} a a a, ( j ) nj1 a a και a j ak a min{ njk, n} Τότε, η επτάδα ( L,,,,, a1, a n ) είναι μια άλγεβρα συνεπαγωγών πλέγματος, είναι μια άλγεβρα του Łukasiewicz πάνω στην πεπερασμένη αλυσίδα a 1,a 2,,a n Έστω ( L,,,,, O, I ) μια άλγεβρα συνεπαγωγών πλέγματος Τότε, για κάθε x, y, z L ενδεικτικά αναφέρουμε τις ακόλουθες ιδιότητες: (1) Εάν I x I τότε x I (2) I x x, x O x (3) O x I, x I I (4) ( x y) y x y (5) x yεάν και μόνο εάν x y I (6) (( x y) y) y x y (7) ( x y) x ( y x) y (8) Εάν x y τότε x z y z και z x z y (9) ( x y) (( y z) ( x z)) I Στο πλαίσιο της Π-προτασιακής λογικής ιδιαίτερη έμφαση έχει δοθεί στην αρχή της ανάλυσης (resolution principle) με σκοπό μια αυτοματοποιημένη συλλογιστική (automated reasoning) (βλ αυτοποιημένη αποδεικτική διαδικασία) σε εφαρμογές όπου η αμφιβολία αναπαρίσταται με λογικές τιμές μέσα σε ένα γενικό πλήρες πλέγμα 82 Τυποποιημένη Ανάλυση Εννοιών Ως τυποποιημένα συμφραζόμενα (formal context) ορίζουμε μια τριάδα (G, M, I), η οποία περιλαμβάνει δύο σύνολα G και M καθώς και δυαδική σχέση I μεταξύ των G και M Τα στοιχεία του G καλούνται αντικείμενα (objects), ενώ τα στοιχεία του M καλούνται γνωρίσματα (attributes) Για να εκφράσουμε συμβολικά ότι ένα αντικείμενο g έχει σχέση I με ένα γνώρισμα m, γράφουμε gim ή (g,m)i και λέμε ότι «το αντικείμενο g έχει το γνώρισμα m» Για ένα σύνολο AG αντικειμένων ορίζουμε: Α = {mm gim για όλα τα ga} δηλαδή Α είναι το σύνολο όλων των κοινών γνωρισμάτων των στοιχείων του A Αντίστοιχα, για ένα σύνολο BM αντικειμένων ορίζουμε: B = {gg gim για όλα τα mb} δηλαδή B είναι το σύνολο όλων των αντικειμένων με γνωρίσματα στο B Ως τυποποιημένη έννοια (formal concept), ή απλώς έννοια, μέσα σε μια τριάδα (G, M, I) τυποποιημένων συμφραζόμενων ορίζουμε ένα ζεύγος (A,B) με AG, BM, Α=B και B=A 8-4

Αποδεικνύεται ότι το σύνολο των τυποποιημένων εννοιών σε μια τριάδα τυποποιημένων συμφραζόμενων αποτελεί ένα πλήρες πλέγμα (Ganter & Wille, 1999) Η τυποποιημένη ανάλυση εννοιών (ΤΑΕ) (formal concept analysis (FCA)) είναι μια επιστημονική μεθοδολογία που συνήθως μελετά έναν πίνακα συμφραζόμενων, πχ ένα ερωτηματολόγιο ή μια βάση δεδομένων, με σκοπό να υπολογίσει ένα πλέγμα τυποποιημένων εννοιών Το ακόλουθο παράδειγμα είναι ενδεικτικό της ΤΑΕ Παράδειγμα 4 Για τον Πίνακα 82 τυποποιημένων συμφραζόμενων μπορούν να υπολογιστούν οι 19 τυποποιημένες έννοιες που παρουσιάζονται στο Σχήμα 81 Γνωρίσματα a b c d e f g h i 1 Βδέλλα 2 Τσιπούρα 3 Βάτραχος 4 Σκύλος 5 Ρύζι 6 Καλαμιά 7 Φασολιά 8 Αραβόσιτος Πίνακας 82 Πίνακας συμφραζόμενων αναφορικά με έναν αριθμό ζωντανών οργανισμών με τα ακόλουθα γνωρίσματα: a: «χρειάζεται νερό για να ζήσει», b: «ζει μέσα στο νερό», c: «ζει πάνω στο έδαφος», d: «χρειάζεται χλωροφύλλη για να τραφεί», e: «δύο φύλλα σπόρων», f: «ένα φύλλο σπόρων», g: «αυτόνομη κίνηση», h: «έχει μέλη», i: «θηλαστικό» a 123 45678 acgh acg hi 4 agh 34 ag 234 abcgh 1234 23 3 abg 123 abgh ac 34 678 abc 36 acde 12 356 acd 678 7 ab acdf ad 5678 568 68 abcdf 6 adf abdf 56 abcde fghi Σχήμα 81 Πλέγμα εννοιών που υπολογίστηκε από τον πίνακα στο Σχήμα 81 Σημειώστε ότι έχουν προταθεί διάφοροι αλγόριθμοι υπολογισμού πλεγμάτων τυποποιημένων εννοιών στην ΤΑΕ (Caro-Contreras & Mendez-Vazquez, 2013) Επίσης, έχουν προταθεί επεκτάσεις της ΤΑΕ στην ΥΝ (Belohlavek, 2000) Εφαρμογές της ΤΑΕ συχνά προτείνονται για ανάκτηση (retrieval) πληροφοριών σε βάσεις δεδομένων (data bases) (Carpineto & Romano, 1996 Priss, 2000) Επιπλέον δημοφιλείς είναι εφαρμογές περιλαμβάνουν οντολογίες (Formica, 2006) 8-5

83 Μαθηματική Μορφολογία Η μαθηματική μορφολογία (MM) (mathematical morphology (MM)) μελετά και σχεδιάζει τεχνικές ανάλυσης και επεξεργασίας γεωμετρικών δομών Προτάθηκε από τους Matheron (1975) και Serra (1982), οι οποίοι ανέπτυξαν ένα σύνολο μαθηματικών εργαλείων για επεξεργασία εικόνων, θεωρώντας τις εικόνες ως σύνολα γεωμετρικών μορφών και χρησιμοποιώντας εκτεταμένα την θεωρία πλεγμάτων για ανάλυση Αρχικά η ΜΜ χρησιμοποιήθηκε για την ανάλυση δυαδικών εικόνων (σύνολα σημείων) με τη χρήση πράξεων συνόλων (Dougherty & Sinha, 1995) Για την εφαρμογή της ΜΜ σε εικόνες αποχρώσεων του γκρι, οι πράξεις συνόλων γενικεύτηκαν με την υιοθέτηση των πράξεων ένωση, τομή και εγκλεισμός στη βάση της θεωρίας πλεγμάτων (Bloch κά, 2007) Συγκεκριμένα, η εφαρμογή τεχνικών ΜΜ τυπικά μεθοδεύεται κάνοντας χρήση ενός δισδιάστατου δομικού στοιχείου (structure element), το οποίο σαρώνει μια ψηφιακή εικόνα εφαρμόζοντας τους τελεστές: διαστολή (dilation), διάβρωση (erosion), άνοιγμα (opening) και κλείσιμο (closing), με σκοπό να απομακρύνει θόρυβο από την εικόνα ή/και να ταυτοποιήσει ενδιαφέροντα πρότυπα (patterns) πάνω στην εικόνα Σημειώστε ότι δοθέντων δύο πλήρων πλεγμάτων (L, ) και (M, ), οι τελεστές διάβρωση ε : LM και διαστολή δ: LM ορίζονται αντίστοιχα ως εξής: ( M) (M) και ( M) (M), όπου ε(μ) και δ(μ) συμβολίζουν τα σύνολα {ε(α) αμ} και {δ(α) αμ} αντίστοιχα 831 Μορφολογικές Λειτουργίες σε Επεξεργασία Εικόνων n Έστω E ένα μη κενό σύνολο και 2 το δυναμοσύνολο του E και η δυαδική σχέση εγκλεισμού Το ζεύγος 2, είναι ένα πλήρες πλέγμα Boole (Meyer, 1991) Μία πράξη συνόλων είναι κάθε απεικόνιση από το Καρτεσιανό γινόμενο 2, στον εαυτό του για κάποιο Ν{1,2, } Άν X, Y 2, τότε οι πράξεις c X Y, X Y, X\ Y και X είναι οι συνηθισμένες συνολοθεωρητικές πράξεις της ένωσης, τομής, διαφοράς και συμπληρωματικότητας, αντίστοιχα Έστω h E και X, B E Τότε το σύνολο h t : είναι η μετατόπιση (translation) του X κατά h, ενώ το σύνολο X x : x X X x h x X είναι το ανάστροφο του X Οι περισσότερες μορφολογικές πράξεις σε σύνολα προκύπτουν από το συνδυασμό των πράξεων συνόλων με τις βασικές πράξεις της διαστολής και της διάβρωσης, oι οποίες προκύπτουν κατά Minkowski ως εξής: X B X (84) bb bb b X B X b (85) Σε μορφολογικές εφαρμογές επεξεργασίας εικόνας το X αντιστοιχεί σε μία εικόνα, το B είναι το δομικό στοιχείο, ενώ το αποτέλεσμα των πράξεων X B, X B είναι μετασχηματισμένες εικόνες Οι B P E ως εξής: πράξεις διαστολή και διάβρωση αντίστοιχα ορίζονται με τη χρήση του δομικού στοιχείου B X B (86) B X B (87) Σημειώστε ότι οι πράξεις διαστολή και διάβρωση είναι δυϊκά συμπληρωματικές Συγκεκριμένα, η διαστολή ενός συνόλου ισοδυναμεί με τη διάβρωση του συμπληρώματος του συνόλου, με δομικό στοιχείο το ανάστροφο δομικό στοιχείο, όπως περιγράφεται από τις παρακάτω εξισώσεις: c c t X B X B (88) c c t X B X B (89) 8-6

Στην πράξη η διαστολή διογκώνει ένα αντικείμενο στην εικόνα, μειώνει το υπόβαθρο και παραμορφώνει τις κυρτές γωνίες του αντικειμένου Αντίθετα, η διάβρωση μειώνει το αντικείμενο, ενισχύει το υπόβαθρο και παραμορφώνει τις κοίλες γωνίες του αντικειμένου Οι πράξεις της διαστολής και διάβρωσης υπάρχουν για κάθε μορφολογικό τελεστή, με κυριότερους αυτούς του ανοίγματος και του κλεισίματος Οι δύο τελευταίοι τελεστές ορίζονται αντίστοιχα ως εξής: X B= X B B (810) X B= X B B (811) Η πράξη του ανοίγματος αφαιρεί τα στενά μέρη του αντικειμένου και παραμορφώνει τις κυρτές γωνίες ενός αντικειμένου στην εικόνα, ενώ το κλείσιμο γεμίζει τα στενά τμήματα του φόντου και παραμορφώνει τις κοίλες γωνίες ενός αντικειμένου στην εικόνα Μια βασική ιδιότητα των πράξεων άνοιγμα και κλείσιμο είναι ότι, αν εφαρμοστούν επαναληπτικά, δεν επιφέρουν περαιτέρω αλλαγές μετά την πρώτη εφαρμογή τους Δηλαδή: X B B= X B (812) X B B= X B (813) 832 Μορφολογικά Φίλτρα Οι μορφολογικές πράξεις της διαστολής, της διάβρωσης, του ανοίγματος και του κλεισίματος εφαρμόζονται με τη μορφή φίλτρων για την απομάκρυνση θορύβου από εικόνες, τη βελτίωση της ποιότητας εικόνων, την εξαγωγή χαρακτηριστικών από εικόνες, κα Συγκεκριμένα, το άνοιγμα μπορεί να φιλτράρει το θετικό θόρυβο, δηλ να αφαιρέσει τα θορυβώδη μέρη του αντικειμένου, συνήθως μικρά τμήματα Από την άλλη πλευρά το κλείσιμο μπορεί να χρησιμοποιηθεί για την αφαίρεση του αρνητικού θορύβου, δηλ να προσθέσει στο αντικείμενο θορυβώδη μέρη του φόντου, συνήθως μικρές τρύπες Με την εφαρμογή ανοίγματος και κλεισίματος προκύπτουν τα ακόλουθα φίλτρα: (1) άνοιγμα ακολουθούμενο από κλείσιμο, (2) κλείσιμο ακολουθούμενο από άνοιγμα, (3) άνοιγμα ακολουθούμενο από κλείσιμο και μετά άνοιγμα και (4) κλείσιμο ακολουθούμενο από άνοιγμα και μετά κλείσιμο Στη βιβλιογραφία έχουν αποσπασματικά προταθεί τεχνικές σχεδίασης μορφολογικών φίλτρων, όπως τα φίλτρα συντεταγμένης λογικής (coordinate logical filter) (Mertzios & Tsirikolias, 1998) και τα φίλτρα αμοιβάδας (amoeba filter) (Lerallut κά, 2007) Συγκεκριμένα, η πρώτη κατηγορία φίλτρων αποτελεί μία εναλλακτική μορφή μορφολογικών φίλτρων που μπορούν να υπολογιστούν γρήγορα, ενώ η δεύτερη κατηγορία φίλτρων χαρακτηρίζεται από την ευέλικτη χρήση δομικών στοιχείων μεταβλητού μεγέθους 833 Επεκτάσεις Τεχνικές ΜΜ έχουν επεκταθεί και πέραν της επεξεργασίας εικόνων Για παράδειγμα, το ανατροφοδοτούμενο ΤΝΔ Hopfield (βλ Κεφάλαιο 1) συχνά παρουσιάζεται ως μια τεχνική της ΜΜ Άλλες τεχνικές ΜΜ επιχειρούν να αντικαταστήσουν τη χρονοβόρα πράξη του πολλαπλασιασμού με την πολύ ταχύτερη πράξη της διατομής (βλ min) μεταξύ δύο αριθμών Επιπλέον, κατ αντιστοιχία με την έννοια γραμμικώς ανεξάρτητα διανύσματα έχει μελετηθεί η έννοια ανεξάρτητα στοιχεία πλέγματος, ώστε να διευκολύνεται η μαθηματική ανάλυση και σχεδίαση σε εφαρμογές ΤΝΔ, επεξεργασίας σημάτων κά (Ritter & Gader, 2006 Ritter & Urcid, 2003 Ritter & Wilson, 2000) 84 Συγκριτικά Σχόλια Από τις τρεις μεθοδολογίες χρήσης μαθηματικών πλεγμάτων που παρουσιάστηκαν σ αυτό το κεφάλαιο, η ΜΜ προς το παρόν έχει την μεγαλύτερη συνάφεια με την ΥΝ Για παράδειγμα, έχουν προταθεί διάφορα ΤΝΔ στο πλαίσιο της ΜΜ (Pessoa & Maragos, 2000 Sussner & Graña, 2003 Yang & Maragos, 1995) Όπως επισημάνθηκε στην αρχή αυτού του κεφαλαίου, από τη μια μεριά, τόσο η Λογική /Συλλογιστική, όσο και η Τυποποιημένη Ανάλυση Εννοιών βασίζονται στο σημασιολογικό ορισμό πλέγματος και κάνουν χρήση κυρίως της δυαδικής σχέσης μερική διάταξη ενώ από την άλλη μεριά, η Μαθηματική Μορφολογία βασίζεται στον αλγεβρικό ορισμό πλέγματος και κάνει χρήση κυρίως των δυαδικών πράξεων συνένωση και διατομή Η χρήση της θεωρίας πλεγμάτων που προτείνεται στο κεφάλαιο 7 αυτού του βιβλίου δίνει έμφαση στο σημασιολογικό ορισμό πλέγματος Επιπλέον, σημαντικές διαφορές της χρήσης της θεωρίας πλεγμάτων που προτείνεται σ αυτό το βιβλίο είναι οι εξής: 1) εδώ μπορούν επίσης να χρησιμοποιηθούν πλέγματα μηαριθμήσιμης πληθικότητας και 2) η χρήση συναρτήσεων θετικής τιμοδότησης εδώ είναι κρίσιμη 8-7

81) Δίνεται ο βαθμός διάταξης ab, ab, =1 αν α=b=0 Ερωτήσεις Κατανόησης και Ασκήσεις vb v a b, α[0,1], b(0,1] Θέτουμε v(x)=x και ορίζουμε (α) Να δείξετε ότι o είναι μια ασαφής συνεπαγωγή (με τον κλασικό ορισμό) (β) Εξετάστε αν o είναι μια ασαφής συνεπαγωγή σύμφωνα με τον ορισμό Fodor & Roubens (γ) Ποια από τα λογικά αξιώματα των ασαφών συνεπαγωγών ικανοποιεί o ; (δ) Αν o δεν ικανοποιεί κάποιο (κάποια) από τα λογικά αξιώματα, τότε βρείτε για ποια α,b[0,1] ισχύει η ισότητα 82) Στη βιβλιογραφία παρουσιάζονται ασαφείς συνεπαγωγές που ικανοποιούν τα παρακάτω λογικά αξιώματα (όπου I ασαφής συνεπαγωγή και α,b,c[0,1]): I a, b, c I a, b, I a, c 1 2 I a, b, I na, b b 3 I 05, b, I 05, b b 4 I a, I b, c I a, b, c b Βρείτε ποια από τα παραπάνω λογικά αξιώματα ικανοποιεί ο βαθμός διάταξης ab, a b Αν ο δεν ικανοποιεί κάποιο/κάποια από αυτά, τότε βρείτε κατάλληλα α,b,c[0,1], ώστε να ισχύει η ισότητα b ab,, όπου α,b[0,1] και τον οποίο (χάριν απλότητας) θα a b συμβολίζουμε a b a, b Εξετάστε αν ο ικανοποιεί τις ακόλουθες ιδιότητες: 83) Δίνεται ο βαθμός διάταξης 1 a b c = a c b c 2 a b c a c b c 3 a b c a c b c 4 a b c a c b c 84) Δίνεται ο βαθμός διάταξης, σχέσεις: 1 1 2 3 a a a a a, αν a1 a1 a2 a3 a n 1, αν a1 2 1 2 2 3 n1 a b a b, α,b[0,1] Να δείξετε ότι ισχύουν οι παρακάτω n n n n a και n περιττός, a και n άρτιος a a a a a a 1, αν a1 a 85) Για τον βαθμό διάταξης της Άσκησης 84 να δείξετε ότι ισχύουν οι παρακάτω σχέσεις: 1 a,0 0, αν ( 01, ] 2 a,1 1 για κάθε a 0,1 3 ab, 1, αν a b 0 ή b 1 4 a, b, c,, a b c, α,b,c 0,1 5 a, a, b = a, a, b, αν a b 6 a, a, b b, αν a b 7 a, b b για κάθε ab, 0,1 n n 8-8

86) Έστω ab, b a b παρακάτω σχέσεις:,, 1 a b a b για κάθε ab, 0,1 2 a, a a για κάθε a 0,1 3 a, a a για κάθε a 0,1 4 a, b a, αν a b vb 87) Δίνεται ο βαθμός διάταξης ab, va b, α,b[0,1] και η κλασική άρνηση x =1-x Να δείξετε ότι ισχύουν οι, όπου v μια θετικότιμη συνάρτηση τιμοδότησης + v : RR 0 Αν στη θέση της v θέσουμε μια άλλη θετικότιμη συνάρτηση τιμοδότησης, θα αλλάξουν οι σχέσεις =,, στις ιδιότητες του στις Ασκήσεις 81 86; Δικαιολογήστε την απάντησή σας 88) Ένας άλλος βαθμός διάταξης που προτείνεται είναι ο ab, και ab, v a b v a, αν (0,1], a b [0,1] 1, αν α=b=0 Δικαιολογήστε γιατί ο αναμένεται να ικανοποιεί τις ίδιες ιδιότητες με τον 89) Να αναπτυχθεί κώδικας σε MATLAB που να υλοποιεί τις πράξεις της διαστολής, και διάβρωσης για τυχαίο δομικό στοιχείο τετράγωνου σχήματος 810) Να αναπτυχθεί κώδικας σε MATLAB που να υλοποιεί τις πράξεις του ανοίγματος, και κλεισίματος για τυχαίο δομικό στοιχείο κυκλικού σχήματος 811) Να αναπτυχθεί κώδικας σε MATLAB που να υλοποιεί τα τέσσερα μορφολογικά φίλτρα της παραγράφου 832 για τυχαίο δομικό στοιχείο τετραγωνικού σχήματος Να εφαρμόσετε τα προκύπτοντα φίλτρα για την απομάκρυνση Γκαουσιανού θορύβου από μία τυχαία εικόνα Ποια είναι τα αποτελέσματα φιλτραρίσματος του κάθε φίλτρου; Βιβλιογραφία Belohlavek, R (2000) Representation of concept lattices by birectional associative memories Neural Computation, 12(10), 2279-2290 Birkhoff, G (1967) Lattice Theory (Colloquium Publications 25) Providence, RI: American Mathematical Society Birkhoff, G & von Neumann, J (1936) The logic of quantum mechanics Annals of Mathematics, 37(4), 823-843 Bloch, I & Maitre, H (1995) Fuzzy mathematical morphologies: a comparative study Pattern Recognition, 28(9), 1341-1387 Bloch, I, Heijmans, H & Ronse, C (2007) Mathematical morphology In M Aiello, I Pratt-Hartmann & J van Benthem (Eds), Handbook of Spatial Logics (pp 857-944) Heidelberg, Germany: Springer Caro-Contreras, DE & Mendez-Vazquez, A (2013) Computing the concept lattice using dendritical neural networks In M Ojeda-Aciego & J Outrata (Eds), CLA (pp 131-152) University of La Rochelle, France: Laboratory L3i Carpineto, C & Romano, G (1996) A lattice conceptual clustering system and its application to browsing retrieval Machine Learning, 24(2), 95-122 Dougherty, ER & Sinha, D (1995) Computational gray-scale mathematical morphology on lattices (a comparator-based image algebra) part II: image operators Real-Time Imaging, 1, 283-295 Edmonds, EA (1980) Lattice fuzzy logics Intl J Man-Machine Studies, 13(4), 455-465 Formica, A (2006) Ontology-based concept similarity in Formal Concept Analysis Information Sciences, 176(18), 2624 2641 8-9

Gaines, BR (1978) Fuzzy and probability uncertainty logics Information and Control, 38, 154-169 Ganter, B & Wille, R (1999) Formal Concept Analysis Heidelberg, Germany: Springer Goguen, JA (1967) L-fuzzy sets Journal of Mathematical Analysis and Applications, 18(1), 145-174 Grätzer, G (2003) General Lattice Theory Basel, Switzerland: Birkhäuser Verlag AG Halmos, P & Givant, S (1998) Logic as Algebra (The Dolciani Mathematical Expositions 21) Washington, DC: The Mathematical Association of America Lerallut, R, Decencière, É & Meyer, F (2007) Image filtering using morphological amoebas Image and Vision Computing, 25(4), 395-404 Maragos, P (2005) Lattice image processing: a unification of morphological and fuzzy algebraic systems J Math Imaging and Vision, 22(2-3), 333-353 Matheron, G (1975) Random Sets and Integral Geometry New York, NY: Wiley & Sons Mertzios, BG & Tsirikolias, K (1998) Coordinate logic filters and their applications in image processing and pattern recognition Circuits, Systems, and Signal Processing, 17(4), 517-538 Meyer, F (1991) Un algorithme optimal pour la ligne de partage des eaux 8ème Congrès de Reconnaissance des formes et Intelligence Artificielle 2, Lyon, France, 847-857 Nachtegael, M & Kerre, EE (2001) Connections between binary, gray-scale and fuzzy mathematical morphologies Fuzzy Sets and Systems, 124(1), 73-85 Pessoa, LFC & Maragos, P (2000) Neural networks with hybrid morphological /rank /linear nodes: a unifying framework with applications to handwritten character recognition Pattern Recognition, 33(6), 945-960 Priss, U (2000) Lattice-based information retrieval Knowledge Organization, 27(3), 132-142 Ritter, GX & Gader, PD (2006) Fixed Points of Lattice Transforms and Lattice Associative Memories In P Hawkes (Ed), Advances in Imaging and Electron Physics, 144 (pp 165-242) Amsterdam, The Netherlands: Elsevier Ritter, GX & Urcid, G (2003) Lattice algebra approach to single-neuron computation IEEE Transactions on Neural Networks, 14(2), 282-295 Ritter, GX & Wilson, JN (2000) Handbook of Computer Vision Algorithms in Image Algebra (2 nd ed) Boca Raton, FL: CRC Press Rota GC (1997) The many lives of lattice theory Notices of the American Mathematical Society, 44(11), 1440-1445 Serra, J (1982) Image Analysis and Mathematical Morphology London, UK: Academic Press Sussner, P & Graña, M (Eds) (2003) Special Issue on: Morphological Neural Networks J Math Imaging and Vision, 19(2), 79-80 Xu, Y, Ruan, D, Qin, K & Liu, J (2003) Lattice-Valued Logic (Studies in Fuzziness and Soft Computing 132) Heidelberg, Germany: Springer Yang, P-F & Maragos, P (1995) Min-max classifiers: learnability, design and application Pattern Recognition, 28(6), 879-899 8-10