Από τα πληροφοριακά δεδομένα (information data) στη σημαίνουσα/ σημαντική πληροφορία (semantic information)
Το μάθημα αυτό αποτελεί μια εισαγωγή στη σημασιολογία (Semantics) και τους τρόπους οργάνωσης του σημασιολογικού περιεχομένου της πληροφορίας οποιουδήποτε είδους: μαθηματική περιγραφή της πληροφορίας στο πρωταρχικό επίπεδο της ροής δεδομένων, η σημασιολογική διάσταση της πληροφορίας πέραν της απλής οργάνωσης δεδομένων, μέθοδοι εννοιολογικής οργάνωσης όρων (εννοιολογικοί χάρτες/ concept maps), περιβάλλοντα ανοικτού κώδικα σημασιολογικής οργάνωσης (οντολογίες OWL Protege), περιβάλλοντα αυτόματης συλλογιστικής (automatic reasoning). Στο πλαίσιο αυτό θα ασχοληθούμε με τα εξής:
Η πληροφορία ως συνάρτηση του βαθμού προσδοκίας (πληροφοριακή εντροπία)
Προτασιακός Λογισμός (Propositional Logic)
Κατηγορικός Λογισμός (Predicate Logic) - Η εννοιολογική σύνδεση της γλώσσας και του κόσμου
Η διαδικασία της απόδειξης προτάσεων μιας πρωτοβάθμιας κατηγορικής γλώσσας μέσω λογισμικού (Prolog)
Το σημαντικό περιεχόμενο (semantic content) των διαφόρων τύπων πληροφορίας
Η Λογική ως έσχατο θεμέλιο (Λογικισμός)
Τα όρια της συνολο-θεωρητικής προσέγγισης (Το Παράδοξο του Russell)
Από την Κατηγορική Λογική στο πρότυπο RDF(S)
Οργάνωση της γνώσης σε ιεραρχικό επίπεδο – Από τις ταξινομίες στις οντολογίες
Λογική παραγωγή γνώσης (deduction) - Δεδομένες και προκύπτουσες ιεραρχίες
Οι οντολογίες OWL ως επέκταση του προτύπου RDF(S)
Από την σημαντική/ σημασιολογία (semantics) στην πραγματολογία (pragmatics)