• MScBSc
  • Γνώσεις λογικού προγραμματισμού (Prolog)
  • Γνώσεις αναπαράστασης γνώσης και συμπερασμού
  • Alexandros Artikis
  • a.artikis [at] iit.demokritos.gr
  • SKEL | The AI Lab

Ανάπτυξη συστήματος Answer-Set Programming για ανάλυση ροών δεδομένων με εφαρμογές στις προσομοιώσεις καρκινικών κυττάρων και τη ναυτιλία

O Λογισμός Πράξης (Event Calculus) είναι μία χρονική λογική που έχει χρησιμοποιηθεί, μεταξύ άλλων, για την αναγνώριση σύνθετων συμβάντων σε ροές δεδομένων. Για παράδειγμα, στον τομέα της ναυτιλίας ανακαλύπτονται παράνομες ή επικίνδυνες συμπεριφορές πλοίων από δεδομένα αισθητήρων που περιγράφουν την πορεία των πλοίων αυτών. Επιπλέον, αναφορικά με τις επιστήμες υγείας, ο Λογισμός Πράξης μπορεί να ανακαλύψει αποτελεσματικούς συνδυασμούς φαρμάκων από προσομοιώσεις καρκινικών κυττάρων, διευκολύνοντας και επιταχύνοντας έτσι το έργο των επιστημόνων. Ο στόχος της παρούσας εργασίας είναι η υλοποίηση του Λογισμού Πράξης σε Answer-Set Programming, με στόχο την αποδοτική ανάλυση μεγάλων ροών δεδομένων. Το σύστημα θα αξιολογηθεί σε πραγματικά δεδομένα από τους χώρους των επιστημών υγείας ή/και το χώρο της ναυτιλίας.

Βιβλιογραφία

http://cer.iit.demokritos.gr/publications/papers/2015/artikis-TKDE14.pdf

https://www.kocseaa.org/home/static_html/symposium09/slides/Friday%201%20-%20AI%20Vision/Joohyung%20Lee.pdf

Supervisors: Alexander Artikis, Theοdore Patkos

Skip to content