Η μελέτη αυτή έχει ως βασική επιδίωξη την καταγραφή, τη συστηματική παρουσίαση και τη σύγκριση των πολιτικών Δια βίου μάθησης στην Ελλάδα και την Ιρλανδία. Στόχος είναι να αποκτηθεί ολοκληρωμένη εικόνα για τις πολιτικές αντιλήψεις, τους θεσμούς και τις πρακτικές Δια Βίου μάθησης στα εθνικά εκπαιδευτικά συστήματα των δύο χωρών. Επιπλέον στόχος, η ανίχνευση της σχέσης των πολιτικών της Ευρωπαϊκής Ένωσης (υπερεθνικές πολιτικές) με τις εκπαιδευτικές πολιτικές Ελλάδας και Ιρλανδίας (εθνικές πολιτικές). Για την επίτευξη των στόχων της έρευνας χρησιμοποιείται η συγχρονική συγκριτική μέθοδος, η οποία αφορά τη μελέτη του εκπαιδευτικού φαινομένου σε διαφορετικούς χώρους αλλά στον ίδιο χρόνο. Η διαδρομή που ακολουθεί η έρευνα είναι: αφήγηση των γεγονότων, κατανόηση και ερμηνεία. Οι κατηγορίες σύγκρισης και ανάλυσης των δύο χωρών είναι πέντε και είναι το ιστορικό υπόβαθρο, το νομοθετικό πλαίσιο, η χρηματοδότηση, οι φορείς και οι δομές Δια Βίου μάθησης καθώς επίσης η συμμετοχή στη Δια Βίου μάθηση και οι δείκτες της Στρατηγικής της Λισσαβόνας. Τα συμπεράσματα της διατριβής μπορούν να συνοψισθούν στα παρακάτω: Oι δύο χώρες ξεκίνησαν την προσπάθεια για δημιουργία ολοκληρωμένης πολιτικής Δια Βίου μάθησης από διαφορετική αφετηρία, εξαιτίας του ιστορικού τους υπόβαθρου. H Ιρλανδία, αν και στο νομοθετικό τομέα της Δια Βίου έχει μεγαλύτερο παρελθόν, δεν έχει καταφέρει μέχρι σήμερα να εκμεταλλευτεί την εμπειρία της και να δημιουργήσει ένα συνεκτικό νομοθετικό πλαίσιο, που να καθορίζει τη δομή και τη λειτουργία του συνόλου της Δια Βίου μάθησης στη χώρα. Αντίθετα, η Ελλάδα παρά την σχετική απειρία και την έλλειψη νομοθετικού παρελθόντος γύρω από θέματα Δια Βίου μάθησης ψήφισε ένα ολοκληρωμένο νομοθετικό πλαίσιο γύρω από τη Δια Βίου. Οι δύο χώρες έχουν αναπτύξει παρόμοιες δομές για την ανάπτυξη και την προώθηση της Δια Βίου, ακολουθώντας τις οδηγίες της Ευρωπαϊκής Επιτροπής. Μεγάλη διαφοροποίηση μεταξύ Ιρλανδίας και Ελλάδας: Στην Ιρλανδία πέρα από τους δημόσιους φορείς και τις αυτόνομες δομές, δραστηριοποιούνται δύο μεγάλοι ιδιωτικοί/εθελοντικοί φορείς, ο AONTAS και η NALA. Η διαδρομή που είχαν να καλύψουν οι δύο χώρες απέχει πάρα πολύ, κάτι που τελικά αποτυπώνεται σήμερα στους συγκριτικούς δείκτες και εν τέλει στα ποσοστά συμμετοχής στη Δια Βίου μάθηση (2,1% η συμμετοχή στη Δια Βίου στην Ελλάδα για το έτος 2007 και 7,6% το αντίστοιχο ποσοστό για την Ιρλανδία). Πριν την Λισσαβόνα, η Ιρλανδία ήταν πιο κοντά σε αυτό που θα αποκαλούσαμε «υπάκουη» ευρωπαϊκή χώρα, σε σχέση με τις πολιτικές Δια Βίου μάθησης. Οι δύο χώρες, μετά την Λισσαβόνα (2000), είναι εξίσου «υπάκουες» στις ευρωπαϊκές επιθυμίες και οι ευρωπαϊκές πολιτικές έχουν επιβληθεί (σχεδόν πλήρως) στις εθνικές πολιτικές. / The purpose of this study is to detect, present and compare the lifelong learning policies in Greece and Ireland. The main aim is to obtain an integrated view about the political perceptions, the institutions and the practices of lifelong learning in the national education systems of those two countries. An additional target is to trace the relation between the supra-national education policies and the national educational policies. In order to achieve the forth mentioned targets the comparative method is used. The route of the study is: narration of the phenomena, comprehension and finally interpretation. There are five categories of comparison and analysis between the two countries: historical background, legislative framework, financing, structures, participation in lifelong learning as well as the indicators of the Lisbon Strategy. The conclusions of the study can be summarized in the followings: these two countries began their efforts for the formation of a coherent lifelong learning policy from a totally different starting point, due to their historical background. In the legislative field, Ireland has greater tradition (mainly in education training) but until today has not yet create o coherent legislative framework for lifelong learning. On the other hand, Greece despite the lack of experience has created (in 2005) a coherent legislative framework for lifelong learning. The two countries have also developed similar structures to promote and to develop lifelong learning, following the guidelines from the European Union. The greatest diversification between those two countries is the involvement of the private sector. In Ireland, AONTAS and NALA, which are private-volunteer structures, are mega actors in the field of lifelong learning while in Greece there is almost no interest from the private sector for the lifelong learning policies. Today, the participation percentage in lifelong learning activities shows a 5,5% difference between the two countries, as Ireland has a 7,6% of participation in lifelong learning while Greece has only a 2,1% being the worst country in European Union. Finally, we could say that both countries are very obedient to the wills of European Union and the supra national policies have overruled the national policies.

Η διαδικτυακή επικοινωνία αποτελεί σύγχρονο μέσο πραγματοποίησης αλληλοδράσεων και στον εκπαιδευτικό χώρο. Η Εκπαίδευση Ενηλίκων ως ενεργός χώρος έκφρασης του προτάγματος της Δια Βίου Μάθησης έχει προχωρήσει στην ανάπτυξη συλλογικών υποκειμένων – Δίκτυα – δια των οποίων το Διαδίκτυο, μέσω των ποικίλων εφαρμογών του, αξιοποιείται ως μέσο επικοινωνίας και μάθησης μεταξύ των μελών που εργάζονται σε κοινούς στόχους. Η επικοινωνία μεταξύ των μελών δομείται με αξιώσεις εγκυρότητας, δηλαδή με εκείνες τις αναγκαίες προϋποθέσεις που καθιστούν την διυποκειμενική συνάντηση, πεδίο της συναινεσιακής θεωρίας της αλήθειας. Στην παρούσα εργασία το διακύβευμα αφορά στην κριτική διερεύνηση των αξιακών απαιτήσεων των συμμετεχόντων στο διαδικτυακό διάλογο, όπως τον μεταφέρουν τα μέλη του Ευρωπαϊκού Δικτύου Διαπολιτισμικής Εκπαίδευσης Ενηλίκων (NILE) σε μια αναστοχαστικά διατυπωμένη εμπειρία καθώς και τη συσχέτιση της στάσης τους με την νομιμοποιημένη σε επίπεδο ευρωπαϊκής ρητορικής χρήσης του Διαδικτύου, ως απόδειξη της διαλεκτικής που διέπει τον τεχνοκρατικό λόγο στην Εκπαίδευση Ενηλίκων και του λόγου του στην διαμόρφωση Κοινοτήτων Γνώσης. / The digital communication consists a modern medium for the implementation of interactions in the field of Education. In particular The Adult Education as active agent where the Life Long Learning doctrine grounded, proceeds in articulating collective subjects – Networks – where Communication and learning is possible among participants collaboration within the Internet multiple applications. The Communication is articulated in validity claims, named those prerequisites that validate the intersubjectivity as the space of ‘the consensual theory of Truth’. The present thesis is referred to the claims that participants of the European Network on Intercultural Adult Learning (NILE) critical reveal through reflective utterances, concerning the internet discourse development. Hence, we are looking into the relationship of their attitude towards internet discourse with the legitimation of the digital communication in European policy rhetoric. Our basic aim is to justify the dialectics that regulates the technοcratic discourse of the Communication in Adult Education and its reason to the articulation of the Communities of Knowledge.

Η Αλλαγή Πεποιθήσεων είναι το πεδίο που ασχολείται, μελετά και τυποποιεί ένα πλήθος διαδικασιών της συλλογιστικής σκέψης. Οι θεμελιώδεις αρχές της βρίσκονται σε διάφορα φιλοσοφικά συστήματα της περιόδου της αρχαιότητας. Ωστόσο, η σύγχρονη προβληματική που αναπτύσσεται γύρω από το πεδίο αυτό και που καλείται να αντιμετωπίσει εντάσσεται στην ευρύτερη περιοχή της Αναπαράστασης της Γνώσης. Στα μέσα της δεκαετίας του 80 και ύστερα από την προσπάθεια μετάβασης σε πιο συστηματικές και μαθηματικές προσεγγίσεις, η Αλλαγή Πεποιθήσεων αποκτά την τελική της μορφή. Ο όρος Αλλαγή διαιρείται σε τρεις ευρείες υπό-ενότητες: την πρόσθεση, την αφαίρεση και την αναθεώρηση. Η πρόσθεση αναφέρεται στη συλλογή νέων πληροφοριών (επέκταση πεποιθήσεων), η αφαίρεση την απώλεια πληροφορίας, ενώ η αναθεώρηση ερμηνεύει τη μερική ή ολική αλλαγή στο σύνολο των πεποιθήσεών μας, εξαιτίας της εμφάνισης μίας νέας πεποίθησης. Κάθε διαδικασία Αλλαγής συνοδεύεται από ένα σύνολο ορθολογικών αξιωμάτων. Τα αξιώματα διατυπώθηκαν με κύριο σκοπό την ομαδοποίηση, ταξινόμηση και περιορισμό των συλλογιστικών μας ενεργειών. Εκτός από τους τύπους αλλαγών και τα σύνολα των αξιωμάτων που αναφέρθηκαν στο χώρο της Αλλαγής Πεποιθήσεων υπάρχουν και άλλες σημαντικές - συμπληρωματικές διαδικασίες. Μία από τις πιο γνωστές και επωφελείς είναι αυτή της Επαναλαμβανόμενης Αναθεώρησης. Ενώ η απλή αναθεώρηση ερμηνεύει καταστάσεις που προξενούνται από την εμφάνιση μίας και μόνο πληροφορίας, η επαναλαμβανόμενη αναθεώρηση διασαφηνίζει περιπτώσεις μάθησης μέσα από το φάσμα των διαδοχικών πεποιθήσεων. Η παρούσα διατριβή θα μπορούσε να διαιρεθεί σε τρεις μεγάλες κατηγορίες. Η πρώτη εξετάζει συστηματικά τις διάφορες μεθόδους και τεχνικές που αναφέρονται στη διεθνή βιβλιογραφία. Η δεύτερη περιλαμβάνει την κυριότερη ερευνητική μας συνεισφορά καθώς και οι προτάσεις μας πάνω σε ανοικτά προβλήματα της Αλλαγής των Πεποιθήσεων. Πιο συγκεκριμένα, στο αρχικό στάδιο της έρευνάς μας αποτυπώνεται η προσπάθεια σύνδεσης της αναθεώρησης με την επαναλαμβανόμενη αναθεώρηση πεποιθήσεων. Η σύνδεση αυτή επιτυγχάνεται με την εισαγωγή ενός νέου αξιώματος που ονομάζουμε αξίωμα επαναλαμβανόμενης ανάκτησης. Αποδεικνύεται ότι το αξίωμα της επαναλαμβανόμενης ανάκτησης μπορεί να χρησιμοποιηθεί σε πολλές περιπτώσεις κατά τις οποίες το δεύτερο αξίωμα (DP2) των Darwiche και Pearl χαρακτηρίζεται αρκετά ισχυρό. Αποδεικνύουμε επίσης την ορθότητα και πληρότητα του παραπάνω αξιώματος μέσα από το σύστημα σφαιρών του Adam Grove. Στη συνέχεια η έρευνά μας στρέφεται στην προσπάθεια σύνδεσης δύο πολύ σημαντικών περιοχών στην αλλαγή πεποιθήσεων: την Επαναλαμβανόμενη και τη Relevance-Sensitive αναθεώρηση πεποιθήσεων. Τα αποτελέσματα της απόδειξης αφενός αποκαλύπτουν την ύπαρξη μη-συνέπειας μεταξύ τους αξιώματος (P) για τη Relevanse-Sensitive αναθεώρηση πεποιθήσεων με κάθε ένα από τα (DP) αξιώματα της επαναλαμβανόμενης αναθεώρησης πεποιθήσεων, αφετέρου αξιώνουν μία αναγκαία και γενικότερη αποκατάσταση στα τυπικά μοντέλα της αλλαγής πεποιθήσεων. Ακόμη μπορεί να αποδοθεί στη δική μας έρευνα και κάτι διαφορετικό, σε σχέση με τις άλλες: ότι η διαδικασία της αφαίρεσης πεποιθήσεων βασίζεται σε Horn Clauses. Ωστόσο, η αμιγής ερευνητική μας προσπάθεια αναφέρεται την παροχή σημασιολογίας βασιζόμενη σε διατάξεις πιθανών κόσμων για τη διαδικασία του e-contraction που εισήγαγε ο James Delgrande. Η Τρίτη κατηγορία, τέλος, αποβλέπει στην παρουσίαση της κλασσικής θεωρίας της Αναθεώρησης Πεποιθήσεων μέσα από την εφαρμογή της στην επιστήμη των υπολογιστών και πιο συγκεκριμένα, μέσω του Σημασιολογικού Ιστού. / Belief Change is an area that studies and standardizes several reasoning processes. However, the problems it has to confront rest in the wider area of Knowledge Representation. In the mid-1980s and after a transition effort to more systematic and mathematical Approaches, the Belief Change gets into its final form. The term “change” splits in three wide subgroups: expansion, contraction and revision. The expansion regards the collection of new information (belief expansion), while contraction concerns the loss of information. Finally, the revision explains the partial or total change in our beliefs, deriving from the appearance of new information. Every Change process is coupled with several rational postulates. Those were mainly formulated to group, classify and constrain our reasoning. Apart from the change formulas and the postulates mentioned above, in the field of Belief Change there are other important – additional processes. One of the most known and useful is the Iterated Revision. While the simple Revision explains conditions that are induced from the emergence of one and only information, the Iterated Revision clarifies cases of learning through the spectrum of successive beliefs. The present dissertation is classified in three major categories. The first one concerns the systematic study of several methods and techniques found in the international bibliography. The second incorporates our main contribution in research and our propositions with regard in open problems of the Belief Change. More specifically, the initial stage of our research is an effort to connect the revision with the iterated belief revision. This connection is achieved with the introduction of a new postulate called “iterated recovery postulate”. It is also established that the iterated recovery postulate (IR) can be used in many cases where the second postulate DP2, by Darwiche and Pearl, is qualified as rather strong. Moreover, we prove hereby that the postulate is sound and complete through the Adam Grove’s System of Spheres. Our research continues to connect two very important areas in the Belief Change: the Iterated and the Relevance-Sensitive belief revision. The conclusions of this proof reveal the inconsistency between the (P) postulate, regarding the Relevance-Sensitive belief revision, with “each and every one” of the DP postulates of the iterated belief revision. Likewise, they urge for a broad and imperative recovery of the “belief change” typical models. Unlike others, our contribution in research has to do with the belief contraction process, based on Horn Clauses. Our pure research regards the provision of semantics based on possible worlds orderings for the process of e-contraction, introduced by James Delgrande. Finally, the third category tries to present the classical theory of Belief Revision through its application in the computer science and specifically through the Semantic Web.

Τα τελευταία χρόνια έχει παρατηρηθεί ιδιαίτερο ερευνητικό ενδιαφέρον στη μελέτη δικτύων (γραφημάτων) που προκύπτουν από διάφορες κοινωνικές, τεχνολογικές και επιστημονικές δραστηριότητες. Χαρακτηριστικά παραδείγματα αποτελούν το γράφημα του Διαδικτύου, το γράφημα του Παγκοσμίου Ιστού, κοινωνικά δίκτυα αναπαράστασης της αλληλεπίδρασης των ατόμων στην κοινωνία ή των χρηστών σε υπηρεσίες κοινωνικής δικτύωσης, δίκτυα μοντελοποίησης της συνεργασίας μεταξύ οντοτήτων, βιολογικά δίκτυα, κ.α.. Βασικό χαρακτηριστικό των γραφημάτων αυτών αποτελεί το μεγάλο μέγεθός τους, κάτι που πολλές φορές δυσχαιρένει την ανάλυση και μελέτη τους. Επιπλέον, τα γραφήματα αυτά στις περισσότερες περιπτώσεις δεν είναι στατικά, αλλά εξελίσσονται στο χρόνο με την προσθήκη-διαγραφή κόμβων και ακμών. Έτσι, ορισμένα από τα ερωτήματα που προκύπτουν και έχουν απασχολήσει την ερευνητική κοινότητα είναι πώς μπορούμε να αναλύσουμε τέτοιου είδους γραφήματα και να εξάγουμε ενδιαφέρουσα πληροφορία, ποια είναι η δομή των γραφημάτων αυτών, καθώς και ο τρόπος με τον οποίο δομούνται και εξελίσσονται στο χρόνο. Ένα σημαντικό θέμα που σχετίζεται με τη δομή των γραφημάτων αυτών, αποτελεί η έννοια της ανθεκτικότητας. Γενικά, ένα γράφημα χαρακτηρίζεται ως ανθεκτικό, αν έχει τη δυνατότητα να διατηρήσει τη δομή του και τις ιδιότητες συνεκτικότητας που κατέχει, ύστερα από την απώλεια ενός μέρους των κόμβων και ακμών του. Η ιδιότητα της ανθεκτικότητας σε πραγματικά γραφήματα είναι άμεσα συνυφασμένη με την έννοια της δομής κοινοτήτων (community structure), δηλαδή της οργάνωσης των κόμβων σε ομάδες με υψηλό πλήθος συνδέσεων μεταξύ κόμβων της ίδιας ομάδας και μικρό πλήθος μεταξύ κόμβων που ανήκουν σε διαφορετικές ομάδες. Πώς μπορούμε να κάνουμε μια γρήγορη εκτίμηση των ιδιοτήτων ανθεκτικότητας ενός γραφήματος, χωρίς να επιτελέσουμε μια διαδικασία διαγραφής κόμβων και ακμών όπου σε κάθε βήμα υπολογίζεται η συνεκτικότητα; Με άλλα λόγια, υπάρχει κάποιος δείκτης (μετρική) που μπορεί να μας ενημερώσει τόσο για την ανθεκτικότητα όσο και για τις ιδιότητες δομής κοινοτήτων ενός γραφήματος, ο οποίος θα μπορεί να υπολογιστεί αρκετά γρήγορα ακόμα και για γραφήματα με εκατομμύρια κόμβους και ακμές; Επιπλέον, εάν το γράφημα εξελίσσεται στο χρόνο, τι μπορούμε να πούμε για την ανθεκτικότητά του και κατ' επέκταση, για τις ιδιότητες δομής κοινοτήτων που διαθέτει; Υπάρχει κάποια κοινή ιδιότητα (πρότυπο) στα κοινωνικά γραφήματα που σχετίζεται με τη χρονική εξέλιξη των ιδιοτήτων αυτών; Στα πλαίσια της παρούσας εργασίας προσπαθούμε να απαντήσουμε τα παραπάνω ερωτήματα, μελετώντας τις ιδιότητες επέκτασης κοινωνικών γραφημάτων μεγάλης κλίμακας. Αρχικά παρουσιάζουμε μια μετρική που έχει τη δυνατότητα να χαρακτηρίσει τόσο την ανθεκτικότητα όσο και τις ιδιότητες δομής κοινοτήτων ενός γραφήματος και περιγράφουμε πώς μπορούμε να την υπολογίσουμε αποδοτικά και αποτελεσματικά εκμεταλλευόμενοι ορισμένες ιδιαίτερες φασματικές ιδιότητες των πραγματικών γραφημάτων. Στη συνέχεια, εφαρμόζουμε τη μετρική αυτή σε ένα μεγάλο πλήθος στατικών κοινωνικών γραφημάτων μεγάλης κλίμακας και παρατηρούμε ορισμένες ενδιαφέρουσες ιδιότητες που σχετίζονται με την ανθεκτικότητά του και κατ΄ επέκταση με τις ιδιότητες δομής κοινοτήτων που εμφανίζουν. Μελετάμε πώς οι ιδιότητες αυτές αλλάζουν στον χρόνο, καθώς το γράφημα εξελίσσεται και παρατηρούμε ορισμένα ενδιαφέροντα πρότυπα. Τέλος, παρουσιάζουμε πώς μπορούμε να εντοπίσουμε ανωμαλίες σε γραφήματα που εξελίσσονται στο χρόνο, μελετώντας τις ιδιότητες που σχετίζονται με την ανθεκτικότητά του. / Over the last few years there has been a lot of interest in the study of complex network structures (or graphs) arising in many diverse settings. Characteristic examples are networks from the domain of sociology (e.g., social networks), technological and information networks (e.g., the Internet, the Web, email exchange networks, social interaction networks over social media applications), biological networks (e.g., protein interactions), collaboration and citation networks (e.g., coauthorship networks), and many more. A basic characteristic of these networks is their large scale (size), which in many cases hinder their study. Moreover, the graphs usually are not static, but they evolve over time with the addition/deletion of nodes and edges. A large amount of research work has been devoted on understanding the structure, the organization and the evolution of these networks, with many interesting results. One important aspect which is related to the structure of such graphs, is the notion of robustness. Generally, a graph is characterized as robust, if it is capable to retain its structure and its connectivity properties after the loss of a portion of its nodes and edges. The property of robustness in real-world graphs is closely related to the notion of community structure, where the network is organized based on a modular architecture, presenting well-defined clusters with large inter-cluster and small intra-cluster edge density. We expect that the robustness of a network with good community structure will be poor, since it can be easily become disconnected with the removal of the edges which connect the different clusters. How can we do this estimation quickly without removing edges and nodes and measuring the connectivity? In other words, is there a robustness and community structure index (metric) which can be computed fast enough, even for graphs with millions of nodes and edges? Moreover, if the network evolves over time, what can we say about its robustness, and as an extension, about its community structure? Is there a common pattern in social graphs that govern the time evolution of these properties? In this thesis, we tackle the problem of estimating the robustness properties of a graph quickly, studying the expansion properties of several real-world time-evolving social graphs. First, we present a metric which can be used to characterize both the robustness and the community structure properties of a graph. We present how to efficiently and effectively compute this measure, exploiting the special spectral properties of real-world graphs. Then, we apply this method to several large static social graphs, and we observe some interesting properties that are related to their robustness. We study how these properties change over time, while the graph evolves, and we observe interesting patterns. Finally, we show how to spot outliers and detect anomalies in graphs that evolve over time, examining the change of the robustness properties of a graph.

H παρούσα διδακτορική διατριβή αφορά στην ανάπτυξη καινοτόμων λύσεων για σύγχρονα, βασισμένα στη γνώση, Συστήματα Υποστήριξης Συνεργασίας. Η προτεινόμενη προσέγγιση εστιάζει στο μοντέλο αναπαράστασης της συνεργασίας, καθώς και στο μοντέλο επιχειρηματολογίας που υιοθετείται κατά περίπτωση. Σε πρακτικό επίπεδο, αναπτύχθηκε και προτάθηκε ένα σύστημα υποστήριξης συνεργασίας, του οποίου η καινοτομία έγκειται στην ικανότητα δυναμικής προσαρμογής και απεικόνισης μιας συνεργασίας. Το σύστημα αυτό επιτρέπει την ελεύθερη, μηχανικά υποστηριζόμενη μετάβαση και εναλλαγή περιβαλλόντων συνεργασίας, όπου οι οντότητες, οι πράξεις και οι παρεχόμενοι μηχανισμοί προσαρμόζονται στις απαιτήσεις της τρέχουσας αναπαράστασης. Σε θεωρητικό επίπεδο, η επιχειρηματολογία εξετάζεται ως μια συγκεκριμένη λειτουργία συνεργασίας και διεξάγεται μελέτη σχετικά με τα διαφορετικά μοντέλα επιχειρηματολογίας. Στο πλαίσιο της μελέτης αυτής, αναδείχθηκε και προτάθηκε η αξία της σύνθεσης και συσχέτισης μεταξύ επιχειρημάτων ως μια δομή που φέρει συγκεκριμένη σημασία και αποτελεί αντικείμενο αξιοποίησης. Έτσι, η διατριβή επεκτείνει ένα γενικό μοντέλο επιχειρηματολογίας, το οποίο αρχικά ανάγεται και αναλύεται σε ένα γραφοθεωρητικό μοντέλο, ώστε να περιγραφεί ένας αποδοτικός τρόπος αξιοποίησης τέτοιων δομών σε υπολογιστικό επίπεδο. Τέλος, έχοντας αναγνωρίσει την κοινωνική διάσταση της συνεργασίας αλλά και τα κενά στα αντίστοιχα συστήματα, η διατριβή προτείνει ένα πλαίσιο που εκμεταλλεύεται τα χαρακτηριστικά και τις ιδιαιτερότητες των συστημάτων συνεργασίας, προκειμένου να εκμεταλευτεί το σχηματισμό ομάδων χρηστών σε μια κοινότητα. / This thesis concerns the development of innovative solutions for modern, knowledge-based Collaboration Support Systems. The proposed approach focuses on the representation model of collaboration, and the argumentation model adopted for various cases. On a practical level, a collaboration support system was developed and proposed. Its innovation lies in the ability to adapt and visualize a collaborative session; the system allows the arbitrary, machine supported transition and switch between environments, where entities, actions and the provided mechanisms adapt in order to meet the needs of the current representation. On a theoretical level, argumentation is considered as a particular mode of collaboration and a study is conducted on different argumentation models. In this study, the value of the composition and the inter-association between arguments is explored, as a structure that carries specific semantics and constitutes an asset under exploitation. Thus, the thesis extends a general argumentation model, which is initially reduced and analyzed as a graph-theoretic model, in order to describe an effective way of assessing such structures on a computational level. Finally, having recognized the social aspects of collaboration as well as the limitations in respective systems, the thesis proposes a framework that exploits the characteristics of collaboration support systems, in order to take advantage of the formation of user groups in a community.

Ο 20ος αιώνας θεωρείται ως ο αιώνας της ακμής αλλά και του τέλους της βιομηχανικής κοινωνίας, ενώ ο 21ος ως η απαρχή μιας καινούργιας εποχής η οποία κυριαρχείται από μια νέα μορφή οικονομικής και κοινωνικής οργάνωσης και λειτουργίας. Η νέα αυτή μορφή της κοινωνίας χαρακτηρίζεται ως Κοινωνία της Γνώσης. Το νόημα, όμως, που λαμβάνει το εκφώνημα Κοινωνία της Γνώσης δεν αφορά σε μία μορφωτική διαδικασία που απευθύνεται σε όλα τα μέλη της κοινωνίας και συνιστά συλλογική ευθύνη της κρατικά οργανωμένης κοινωνίας. Η ανάδυση αυτού του νέου τύπου κοινωνίας σχετίζεται άμεσα με το πέρασμα από τις βιομηχανικές κοινωνίες στις μεταβιομηχανικές και τις αλλαγές που εκτυλίσσονται όσον αφορά τις βασικές αξίες τους, την κοινωνική και πολιτική δομή τους καθώς και τους βασικούς θεσμούς τους. Η παρούσα Διπλωματική Εργασία έχει ως στόχο να διερευνήσει το ρόλο της γνώσης στις μεταβιομηχανικές κοινωνίες μέσα από τις απόψεις τόσο των υπέρμαχων της Κοινωνίας της Γνώσης όσο και των υπερασπιστών του προτάγματος του Διαφωτισμού ώστε να καταδειχθεί στο τέλος η ανάγκη για μια γενική παιδεία έναντι της απόλυτης εξειδίκευσης. / The 20th century is considered as the century of prosperity and the end of industrial society, and the 21st as the beginning of a new era dominated by a new form of economic and social organization and operation. This new form of society is characterized as a knowledge society. The point, however, received the Society of Knowledge broadcasters does not relate to a cultural process that appeals to all members of society and a collective responsibility of government organized society. The emergence of this new type of society is directly related to the transition from post-industrial societies and the changes taking place in basic values, social and political structure and the key institutions. The present thesis aims to investigate the role of knowledge in postindustrial societies through the views of proponents of the knowledge society and the defenders of the Enlightenment project to show in the end the need for a general education versus absolute specialization .

Το υπάρχον σύστημα κατοχύρωσης της Πνευματικής Ιδιοκτησίας και ιδιαίτερα της Βιομηχανικής Ιδιοκτησίας μέσω των Διπλωμάτων Ευρεσιτεχνίας δημιουργήθηκε με σκοπό να να προάγει την έρευνα και την επιστήμη. Η πολιτεία χορηγεί το μονοπωλιακό δικαίωμα στην χρήση και εκμετάλλευση μιας εφέυρεσης με αντάλλαγμα την δημόσια αποκάλυψη της ευρεσιτεχνίας από τον εφευρέτη. Οι υπόλοιποι ερευνητές πλέον μπορούν να χρησιμοποι-ήσουν ελεύθερα αυτή την (δημοσιευμένη) γνώση στην έρευνά τους ενώ οι επιχειρήσεις μπορούν καταβάλλοντας κάποιο τίμημα στον εφευρέτη να την χρησιμοποιήσουν για εμπο-ρικούς σκοπούς. Συνεπώς, με βάση τα παραπάνω, το σκεπτικό πίσω από την χορήγηση διπλωμάτων ευρεσιτεχνίας είναι η αύξηση των επενδύσεων σε έρευνα και καινοτομικότητα με ταυτόχ-ρονη διάχυση των αποτελεσμάτων μέσω της χορήγησης ενός προσωρινού μονοπωλίου. Όμως καθώς πλέον η χρήση των διπλωμάτων ευρεσιτεχνίας αυξάνεται διαρκώς και η χρήση τους γενικεύεται σε ζώντες οργανισμούς, φυτά, προγράμματα υπολογιστών προ-κύπτουν ερωτήματα σχετικά με την ανάγκη αναθεώρησης του υπάρχοντος σύστηματος Προστασίας της Διανοητικής Ιδιοκτησίας και της διαδικασίας εξέτασης και χορήγησης ευ-ρεσιτεχνιών. Επίσης εξετάζεται η χρήση τεχνικών εξόρυξης γνώσης από ΔΕ και οι δυνατότητες που οι τεχνικές αυτές μπορούν να προσφέρουν. / The existing system of Intellectual Property rights is analysed, and more specifically the patent system. Patents grant a monopoly right for a specific amount of time to the applicant in exchange of full disclosure. The existing patent system is examined along with controversial issues and grants and a text mining method for information extraction is tested.

Ζούμε σε μια κοινωνία στην οποία η χρήση της τεχνολογίας έχει εισβάλει δυναμικά στην καθημερινότητα.Η εκπαίδευση δεν θα μπορούσε να μην επηρεαστεί απο τις Νέες Τεχνολογίες.Ήδη,όροι όπως “Ηλεκτρονική Μάθηση” και ”Ασύγχρονη Τηλε-εκπαίδευση” έχουν δημιουργήσει νέα δεδομένα στην κλασική Εκπαίδευση. Με τον όρο ασύγχρονη τηλε-εκπαίδευση εννοούμε μια διαδικασία ανταλλαγής μάθησης μεταξύ εκπαιδευτή - εκπαιδευομένων,που πραγματοποιείται ανεξάρτητα χρόνου και τόπου. Ηλεκτρονική Μάθηση είναι η χρήση των νέων πολυμεσικών τεχνολογιών και του διαδικτύου για τη βελτίωση της ποιότητας της μάθησης,διευκολύνοντας την πρόσβαση σε πηγές πληροφοριών και σε υπηρεσίες καθώς και σε ανταλλαγές και εξ'αποστάσεως συνεργασίες.Ο όρος καλύπτει ένα ευρύ φάσμα εφαρμογών και διαδικασιών,όπως ηλεκτρονικές τάξεις και ψηφιακές συνεργασίες, μάθηση βασιζόμενη στους ηλεκτρονικούς υπολογιστές και στις τεχνολογίες του παγκόσμιου ιστού. Κάποιες απο τις βασικές απαιτήσεις που θα πρέπει να πληρούνται για την δημιουργία μιας πλατφόρμας ηλεκτρονικής μάθησης είναι: Να υποστηρίζει τη δημιουργία βημάτων συζήτησης (discussion forums) και “δωματίων συζήτησης”(chat rooms),να υλοποιεί ηλεκτρονικό ταχυδρομείο,να έχει φιλικό περιβάλλον τόσο για το χρήστη/μαθητή όσο και για το χρήστη/καθηγητή,να υποστηρίζει προσωποποίηση(customization)του περιβάλλοντος ανάλογα με το χρήστη.Επίσης να κρατάει πληροφορίες(δημιουργία profiles)για το χρήστη για να τον “βοηθάει”κατά την πλοήγηση,να υποστηρίζει την εύκολη δημιουργία διαγωνισμάτων(online tests), να υποστηρίζει την παρουσίαση πολυμεσικών υλικών. Ως επεξεργασία φυσικής γλώσσας (NLP) ορίζουμε την υπολογιστική ανάλυση αδόμητων δεδομένων σε κείμενα, με σκοπό την επίτευξη μηχανικής κατανόησης του κειμένου αυτού.Είναι η επεξεργασία προτάσεων που εισάγονται ή διαβάζονται από το σύστημα,το οποίο απαντά επίσης με προτάσεις με τρόπο τέτοιο που να θυμίζει απαντήσεις μορφωμένου ανθρώπου. Βασικό ρόλο παίζει η γραμματική,το συντακτικό,η ανάλυση των εννοιολογικών στοιχείων και γενικά της γνώσης, για να γίνει κατανοητή η ανθρώπινη γλώσσα από τη μηχανή. Οι βασικές τεχνικές επεξεργασίας φυσικού κειμένου βασίζονται στις γενικές γνώσεις σχετικά με τη φυσική γλώσσα.Χρησιμοποιούν ορισμένους απλούς ευρετικούς κανόνες οι οποίοι στηρίζονται στη συντακτική και σημασιολογική προσέγγιση και ανάλυση του κειμένου.Ορισμένες τεχνικές που αφορούν σε όλα τα πεδία εφαρμογής είναι: ο διαμερισμός στα συστατικά στοιχεία του κειμένου (tokenization), η χρήση της διάταξης του κειμένου (structural data mining), η απαλοιφή λέξεων που δεν φέρουν ουσιαστική πληροφορία (elimination of insignificant words),η γραμματική δεικτοδότηση (PoS tagging), η μορφολογική ανάλυση και η συντακτική ανάλυση. Στόχος της παρούσας διπλωματικής είναι να περιγράψει και να αξιολογήσει πως οι τεχνικές επεξεργασίας της φυσικής γλώσσας (NLP), θα μπορούσαν να αξιοποιηθούν για την ενσωμάτωση τους σε πλατφόρμες ηλεκτρονικής μάθησης.Ο μεγάλος όγκος δεδομένων που παρέχεται μέσω μιας ηλεκτρονικής πλατφόρμας μάθησης, θα πρέπει να μπορεί να διαχειριστεί , να διανεμηθεί και να ανακτηθεί σωστά.Κάνοντας χρήση των τεχνικών NLP θα παρουσιαστεί μια καινοτόμα πλατφόρμα ηλεκτρονικής μάθησης,εκμεταλεύοντας τις υψηλού επιπέδου τεχνικές εξατομίκευσης, την δυνατότητα εξαγωγής συμπερασμάτων επεξεργάζοντας την φυσική γλώσσα των χρηστών προσαρμόζοντας το προσφερόμενο εκπαιδευτικό υλικό στις ανάγκες του κάθε χρήστη. / We live in a society in which the use of technology has entered dynamically in our life,the education could not be influenced by new Technologies. Terms such as "e-Learning" and "Asynchronous e-learning" have created new standards in the classical Education. By the term “asynchronous e-learning” we mean a process of exchange of learning between teacher & student, performed regardless of time and place. E-learning is the use of new multimedia technologies and the Internet to improve the quality of learning by facilitating access to information resources and services as well as remote exchanges .The term covers a wide range of applications and processes, such electronic classrooms, and digital collaboration, learning based on computers and Web technologies. Some of the basic requirements that must be met to establish a platform for e-learning are: To support the creation of forums and chat rooms, to deliver email, has friendly environment for both user / student and user / teacher, support personalization depending to the user . Holding information (creating profiles) for the user in order to provide help in the navigation, to support easy creating exams (online tests), to support multimedia presentation materials. As natural language processing (NLP) define the computational analysis of unstructured data in text, to achieve mechanical understanding of the text. To elaborate proposals that imported or read by the system, which also responds by proposals in a manner that reminds answers of educated man. A key role is played by the grammar, syntax, semantic analysis of data and general knowledge to understand the human language of the machine. The main natural text processing techniques based on general knowledge about natural language .This techniques use some simple heuristic rules based on syntactic and semantic analysis of the text. Some of the techniques pertaining to all fields of application are: tokenization, structural data mining, elimination of insignificant words, PoS tagging, analyzing the morphological and syntactic analysis. The aim of this study is to describe and evaluate how the techniques of natural language processing (NLP), could be used for incorporation into e-learning platforms. The large growth of data delivered through an online learning platform, should be able to manage, distributed and retrieved. By the use of NLP techniques will be presented an innovative e-learning platform, using the high level personalization techniques, the ability to extract conclusions digesting the user's natural language by customizing the offered educational materials to the needs of each user .

Η παρούσα διατριβή πραγματεύεται το αντικείμενο της μάθησης από δύο διαφορετικές οπτικές γωνίες: την επαγωγική και την παραγωγική μάθηση. Αρχικά, παρουσιάζονται παραμετροποιήσεις στοχαστικών μεθόδων εξόρυξης γνώσης από δεδομένα υπό τη μορφή τεσσάρων καινοτόμων εξατομικευμένων μοντέλων στήριξης ασθενών που πάσχουν από διαταραχές άγχους. Τα τρία μοντέλα προσανατολίζονται στην ανεύρεση πιθανών συσχετίσεων μεταξύ των περιβαλλοντικών παραμέτρων των ασθενών και του επιπέδου άγχους που αυτοί παρουσιάζουν, ενώ παράλληλα προτείνεται και η χρήση ενός Μπεϋζιανού μοντέλου πρόβλεψης του επιπέδου άγχους που είναι πιθανό να εμφανίσει κάποιος ασθενής δεδομένων ορισμένων τιμών του περιβαλλοντικού του πλαισίου εφαρμογής. Αναφορικά με το χώρο της εξόρυξης γνώσης από κείμενο και του μετασχηματισμού συμβολοσειρών, προτείνεται η εκπαίδευση μοντέλων δέντρων αποφάσεων για την αυτόματη μεταγραφή Ελληνικού κειμένου στην αντίστοιχη φωνητική του αναπαράσταση, πραγματοποιείται η στοχαστική μοντελοποίηση όλων των πιθανών μεταγραφικών νορμών από ορθογραφημένα Ελληνικά σε Greeklish και τέλος παρουσιάζεται ένας καινοτόμος αλγόριθμος που συνδυάζει δύο γνωστά για την ικανοποιητική τους απόδοση μέτρα σύγκρισης ομοιότητας αλφαριθμητικών προκειμένου να επιτευχθεί η αυτόματη λημματοποίηση του κειμένου εισόδου. Επιπρόσθετα, στα πλαίσια της ανάπτυξης συστημάτων που θα διευκολύνουν την ανάκτηση εγγράφων ή πληροφοριών προτείνεται η συνδυαστική χρήση του προαναφερθέντος αλγορίθμου λημματοποίησης παράλληλα με τη χρήση ενός πιθανοτικού δικτύου Bayes στοχεύοντας στην ανάπτυξη ενός εύρωστου και ανταγωνιστικού ως προς τις επιδόσεις συστήματος ανάκτησης πληροφοριών. Τέλος, παρουσιάζονται οι προτάσεις μας που αφορούν στο χώρο της παραγωγικής μάθησης και του ελέγχου ικανοποιησιμότητας λογικών εκφράσεων. Συγκεκριμένα περιλαμβάνουν: i) την ανάλυση και εκτενή παρουσίαση μιας καινοτόμας μαθηματικής μοντελοποίησης με την ονομασία AnaLog (Analytic Tableaux Logic) η οποία δύναται να εκφράσει τη λογική που διέπει τους αναλυτικούς πίνακες για προτασιακούς τύπους σε κανονική διαζευκτική μορφή. Mέσω του λογισμού Analog επιτυγχάνεται η εύρεση των κλειστών κλάδων του πλήρως ανεπτυγμένου δέντρου Smullyan, χωρίς να είναι απαραίτητος ο αναλυτικός σχεδιασμός του δέντρου, και ii) την παράθεση ενός αναλυτικού αλγορίθμου που μπορεί να αξιοποιήσει τον φορμαλισμό AnaLog σε ένα πλαίσιο αριθμητικής διαστημάτων μέσω του οποίου μπορούμε να αποφανθούμε για την ικανοποιησιμότητα συμβατικών διαζευκτικών προτασιακών εκφράσεων. / The present dissertation deals with the problem of learning from two different perspectives, meaning the inferential and the deductive learning. Initially, we present our suggestions regarding the parameterization of stochastic data mining methods in the form of four treatment supportive services for patients suffering from anxiety disorders. Three of these services focus on the discovery of possible associations between the patients’ contextual data whereas the last one aims at predicting the stress level a patient might suffer from, in a given environmental context. Our proposals with regards to the wider area of text mining and string conversion include: i) the employment of decision-tree based models for the automatic conversion of Greek texts into their equivalent CPA format, ii) the stochastic modeling of all the existing transliteration norms for the Greek to Greeklish conversion in the form of a robust transcriber and iii) a novel algorithm that is able to combine two well-known for their satisfactory performance string distance metric models in order to address the problem of automatic word lemmatization. With regards to the development of systems that would facilitate the automatic information retrieval, we propose the employment of the aforementioned lemmatization algorithm in order to reduce the ambiguity posed by the plethora of morphological variations of the processed language along with the parallel use of probabilistic Bayesian Networks aiming at the development of a robust and competitive modern information retrieval system. Finally, our proposals regarding logical deduction and satisfiability checking include: i) a novel mathematical formalism of the analytic tableaux methodology named AnaLog (after the terms Analytic Tableaux Logic) which allows us to efficiently simulate the structure and the properties of a complete clausal tableau given an input CNF formula. Via the AnaLog calculus it is made possible to calculate all the closed branches of the equivalent complete Smullyan tree without imposing the need to fully construct it, and ii) a practical application of the AnaLog calculus within an interval arithmetic framework which is able to decide upon the satisfiability of propositional formulas in CNF format. This framework, apart from constituting an illustrative demonstration of the application of the AnaLog calculus, it may also be employed as an alternative conventional SAT system.

Αντικείμενο της συγκεκριμένης εργασίας αποτελεί η μελέτη των χαρακτηριστικών του μοντέλου εκπαιδευόμενου, ο καθορισμός των απαιτούμενων εξ' αυτών για ένα προσαρμοστικό σύστημα ηλεκτρονικής μάθησης καθώς και ο αποδοτικότερος τρόπος αναπαράστασής τους. Επίσης μελετώνται οι τρόποι συλλογής δεδομένων για την δημιουργία και συνεχή ανανέωση του μοντέλου (μοντελοποίηση) καθώς και οι αλγόριθμοι που χρησιμοποιούνται, με σκοπό την υλοποίηση του καταλληλότερου και αποδοτικότερου εξ' αυτών. Η διπλωματική στοχεύει στη δημιουργία ενός μοντέλου χρήστη-εκπαιδευόμενου συνοδευόμενο από τους αντίστοιχους αλγορίθμους μοντελοποίησης το οποίο θα συγκεντρώνει την απαραίτητη πληροφορία για την αυτοματοποιημένη και προσαρμοσμένη επιλογή κατάλληλου εκπαιδευτικού υλικού προς τον συγκεκριμένο χρήστη, με ευκολία και αφαιρετικότητα προς τον χρήστη. / In the present thesis we are studying the characteristics that can be represented in a user model, we define those that are essential in a student model and we propose an efficient way of representation. We also study the different ways of constructing and updating a student model and the algorithms that can be used in order to implement the most appropriate and efficient of them. The main purpose of the thesis is the development of a student model, with the suitable algorithms, that will support the automated process of adapted educational material provision in an easy and abstract way.