[:en]

Automated software engineering

In this research area, we aim to the development of new languages, methods and techniques for automating the construction of programs by following the Logic Programming paradigm. More specifically, we aim to the development of new languages and methodologies which provide automating or semi-automating facilities for the construction of logic programs. We also develop tools which support the transformation and verification of logic programs. Our group has developed a schema-based methodology for constructing logic programs. In addition, we have developed a system for transforming these logic programs. For more information please contact Marakakis Manolis

Knowledge-based systems and expert systems

In this research area we aim towards the development of knowledge-based systems, in particular expert systems in diverse domains, such as medicine and environment. Our group has already developed an expert system in medicine for diagnosis children epilepsy and an environmental expert system which provides decision making for managing the pollution of streams. Partnership includes close research links with Universities, such as the Medical School at the University of Crete and the Natural History Museum of the University of Crete. For more information, please contact Marakakis Manolis.

Knowledge representation and reasoning

Many domains about which we wish to reason are dynamic in nature. Reasoning about action is concerned with determining the nature of the world (what holds in the world state) after performing an action in a known world state, and has found application in areas such as cognitive robotics. The guarantee of consistency of data that is stored in a database is a very important and difficult problem. The consistency of data is determined by the satisfaction of the integrity constraints in the different database states (situations). For more information, please contact Papadakis Nikos.

Natural language processing

Natural language processing of the Greek language is another domain of research interest of our research group. In this area, we aim to develop interfaces in Greek language with data bases and other applications. For more information, please contact Marakakis Manolis.

[:el]

Αυτοματοποιημένη Μηχανική Λογισμικού

Τα ενδιαφέροντα του Εργαστηρίου AISE σε αυτήν την ερευνητική περιοχή εστιάζονται στην ανάπτυξη νέων γλωσσών, μεθόδων και τεχνικών προγραμματισμού για αυτοματοποίηση της ανάπτυξης και συντήρησης λογισμικού ακολουθώντας το μοντέλο του Λογικού Προγραμματισμού. Πιο συγκεκριμένα, στοχεύουμε στην ανάπτυξη γλωσσών και μεθοδολογιών οι οποίες διευκολύνουν την αυτόματη ή ημι-αυτόματη κατασκευή λογικών προγραμμάτων και αναπτύσσουμε εργαλεία που επιτρέπουν το μετασχηματισμό και την επαλήθευσή τους. Η συγκεκριμένη ομάδα έχει αναπτύξει μια μεθοδολογία ανάπτυξης λογικών προγραμμάτων βασισμένη σε σχήματα προγραμμάτων. Επίσης, έχει κατασκευάσει ένα σύστημα αυτόματου μετασχηματισμού αυτών των προγραμμάτων σε περισσότερο αποτελεσματικά. Επιπλέον, έχει κατασκευάσει ένα διαλογικό επαληθευτή (interactive verifier) αυτών των προγραμμάτων.

Για περισσότερες πληροφορίες μπορείτε να επικοινωνείτε με τον κ. Μαρακάκη Μανώλη

Συστήματα Γνώσης – Έμπειρα Συστήματα

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

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

Για περισσότερες πληροφορίες μπορείτε να επικοινωνείτε με τον κ. Μαρακάκη Μανώλη

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

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

Για περισσότερες πληροφορίες μπορείτε να επικοινωνείτε με τον κ. Παπαδάκη Νίκο

Επεξεργασία Φυσικής Γλώσσας

Η επεξεργασία φυσικής γλώσσας, και ιδιαίτερα της Ελληνικής, συμπεριλαμβάνεται στα ερευνητικά ενδιαφέροντα του Εργαστηρίου AISE. Σε αυτήν την περιοχή, στοχεύουμε στην ανάπτυξη διεπαφών χρήστη στην ελληνική γλώσσα, για επικοινωνία με βάσεις δεδομένων και άλλες εφαρμογές. Η ομάδα μας έχει ήδη αναπτύξει ένα πρωτότυπο σύστημα διεπικοινωνίας στην Ελληνική με σχεσιακή βάση δεδομένων.

Για περισσότερες πληροφορίες μπορείτε να επικοινωνείτε με τον κ. Μαρακάκη Μανώλη.

[:]