Η αναγνώριση σύνθετων γεγονότων περιλαμβάνει την έγκαιρη και αποδοτική ανίχνευση χωρο-χρονικών μοτίβων πάνω σε ταχύτατες ροές δεδομένων που αποτελούνται από απλές ενδείξεις χαμηλού επιπέδου. Έπειτα από προεπεξεργασία πάνω στις ενδείξεις αυτές, προκύπτουν «απλά γεγονότα». Στη συνέχεια, ένα σύστημα αναγνώρισης σύνθετων γεγονότων επεξεργάζεται τα απλά γεγονότα αυτά και συμπεραίνει «σύνθετα γεγονότα», δηλαδή μοτίβα απλών γεγονότων, σε συνδυασμό πιθανώς και με άλλες συνθήκες. Το RTEC είναι ένα σύστημα αναγνώρισης σύνθετων γεγονότων που βασίζεται στο λογικό προγραμματισμό [1]. Χρησιμοποιώντας ένα λογικό πρόγραμμα που περιγράφει τα χαρακτηριστικά μίας εφαρμογής και ορίζει τα σύνθετα γεγονότα που αυτή περιλαμβάνει («event description»), το RTEC επεξεργάζεται ροές απλών γεγονότων εισόδου και εντοπίζει όλα τα σύνθετα γεγονότα που λαμβάνουν χώρα με βάση τις ροές αυτές. Η κατασκευή του event description μιας εφαρμογής είναι πολλές φορές δύσκολη για τους ειδικούς στον τομέα της εν λόγω εφαρμογής, καθώς αυτοί δεν είναι συνήθωςεξοικειωμένοι με προγραμματισμό. Στόχος της παρούσας εργασίας αποτελεί η αυτοματοποίηση της κατασκευής event descriptions στη γλώσσα του RTEC χρησιμοποιώντας Large Language Models (LLMs). Τα LLMs, όπως, για παράδειγμα, τα συστήματα GPT-3 και GPT-4, έχουν χρησιμοποιηθεί με επιτυχία σε πολλά προβλήματα επεξεργασίας φυσικής γλώσσας, συμπεριλαμβανομένης της αυτόματης κατασκευής προγραμμάτων στον φορμαλισμό Answer Set Programming (ASP) [2]. Στη εργασία αυτή θα μελετηθεί η δυνατότητα παραγωγής RTEC event descriptions μέσω αλληλεπίδρασης του χρήση με ένα LLM. Ο χρήστης θα περιγράφει τα χαρακτηριστικά και τα πιθανά γεγονότα μίας εφαρμογή στο LLM και αυτό θα του απαντάει με το RTEC event description που αντιστοιχεί στην περιγραφή αυτή. Στη συνέχεια, το event description αυτό θα μπορεί να χρησιμοποιηθεί από το RTEC για τον εντοπισμό σύνθετων γεγονότων πάνω σε ροές απλών γεγονότων. Επιπλέον, θα εξεταστεί η δυνατότητα χρήσης προγραμμάτων αυτόματης παραγωγής κώδικα, όπως το Github Copilot [3], για τον σκοπό αυτό.
Βιβλιογραφία:
[1] http://cer.iit.demokritos.gr/publications/papers/2015/artikis-TKDE14.pdf
[2] https://proceedings.kr.org/2023/37/kr2023-0037-ishay-et-al.pdf