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.
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.
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).
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.
F.A.Q
Συχνές Ερωτήσεις
Το Εργαστήριο Τεχνητής Νοημοσύνης και Μηχανικής Συστημάτων (AISE) είναι ένα ερευνητικό και εκπαιδευτικό εργαστήριο του Τμήματος Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών (ECE) του HMU. Επικεντρώνεται στην κάλυψη των ερευνητικών και εκπαιδευτικών αναγκών του τμήματος σε όλα τα ακαδημαϊκά επίπεδα. Το εργαστήριο συμμετέχει επίσης στην παροχή υπηρεσιών δια βίου εκπαίδευσης και κατάρτισης.
Στόχος του εργαστηρίου AISE είναι η προώθηση της επιστημονικής γνώσης στον τομέα της Τεχνητής Νοημοσύνης και της Μηχανικής Συστημάτων. Δίνει έμφαση στην εφαρμοσμένη τεχνολογική έρευνα και ανάπτυξη σε τεχνολογίες αιχμής, ιδίως στην ανάπτυξη λογισμικού. Το εργαστήριο στοχεύει επίσης στην ανάπτυξη λογισμικού ανοικτού κώδικα, ερευνητικών προτύπων, μοντέλων, συστημάτων και εργαλείων. Ένας άλλος στόχος είναι η παροχή εξειδικευμένης κατάρτισης για φοιτητές και εργαζόμενους και η παροχή συμβουλευτικών υπηρεσιών.
Οι ερευνητικές δραστηριότητες του εργαστηρίου AISE καλύπτουν ολόκληρο τον κύκλο ζωής του λογισμικού, από την ανάλυση των απαιτήσεων έως τη σχεδίαση, την υλοποίηση, την επαλήθευση και τη συντήρηση. Η έρευνα επικεντρώνεται στην εφαρμοσμένη τεχνολογική έρευνα και ανάπτυξη στην ανάπτυξη λογισμικού, από την οπτική γωνία της Τεχνητής Νοημοσύνης και της Μηχανικής Συστημάτων. Συγκεκριμένοι τομείς εστίασης περιλαμβάνουν την Τεχνητή Νοημοσύνη, τα Ενσωματωμένα Συστήματα, την Εκπαιδευτική Τεχνολογία, τα Σοβαρά Παιχνίδια, την Ιατρική Πληροφορική και την Τεχνολογία Ιστού.
Το εργαστήριο διεξάγει δραστηριότητες έρευνας και ανάπτυξης στους ακόλουθους θεματικούς τομείς: Τεχνητής νοημοσύνης, Ενσωματωμένα Συστήματα, Εκπαιδευτική Τεχνολογία, Παιχνίδια Σοβαρού Σκοπού, Ιατρική Πληροφορική, και Τεχνολογία Διαδικτύου. Οι τομείς αυτοί έχουν σημαντικό τεχνολογικό αντίκτυπο και τη δυνατότητα να διατηρήσουν τη διεθνή συνεργασία.
Ναι, το Εργαστήριο AISE συνεργάζεται με Ερευνητικά Κέντρα, Ινστιτούτα και Πανεπιστήμια τόσο στην Ελλάδα όσο και στο εξωτερικό, καθώς και με δημόσιους και ιδιωτικούς οργανισμούς. Οι συνεργασίες αυτές αποσκοπούν στην επίλυση προβλημάτων του πραγματικού κόσμου.
Το εργαστήριο AISE αναπτύσσει και υλοποιεί δραστηριότητες έρευνας και ανάπτυξης μέσω χρηματοδοτούμενων εθνικών και ευρωπαϊκών έργων. Μερικά από αυτά τα έργα περιλαμβάνουν την εφαρμογή του Συστήματος Υποστήριξης Περιβαλλοντικών Αποφάσεων στο Οικοσύστημα των Ρεμάτων της Κρήτης (Expert System-Crete (ES-Cr)) και τις Εφαρμογές Τεχνητής Νοημοσύνης στην Τεχνολογία Λογισμικού και στην Ιατρική.
Greek 
English