Ανάπτυξη συστήματος Answer-Set Programming για ανάλυση ροών δεδομένων με εφαρμογές στις προσομοιώσεις καρκινικών κυττάρων και τη ναυτιλία
O Λογισμός Πράξης (Event Calculus) είναι μία χρονική λογική που έχει χρησιμοποιηθεί, μεταξύ άλλων, για την αναγνώριση σύνθετων συμβάντων σε ροές δεδομένων. Για παράδειγμα, στον τομέα της ναυτιλίας ανακαλύπτονται παράνομες ή επικίνδυνες συμπεριφορές πλοίων από δεδομένα αισθητήρων που περιγράφουν την πορεία των πλοίων αυτών. Επιπλέον, αναφορικά με τις επιστήμες υγείας, ο Λογισμός Πράξης μπορεί να ανακαλύψει αποτελεσματικούς συνδυασμούς φαρμάκων από προσομοιώσεις καρκινικών κυττάρων, διευκολύνοντας και επιταχύνοντας έτσι το έργο των επιστημόνων. Ο στόχος της παρούσας εργασίας είναι η υλοποίηση του Λογισμού Πράξης σε Answer-Set Programming, με στόχο την αποδοτική ανάλυση μεγάλων ροών δεδομένων. Το σύστημα θα αξιολογηθεί σε πραγματικά δεδομένα από τους χώρους των επιστημών υγείας ή/και το χώρο της ναυτιλίας.
Βιβλιογραφία
http://cer.iit.demokritos.gr/publications/papers/2015/artikis-TKDE14.pdf
Supervisors: Alexander Artikis, Theοdore Patkos