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

Σε πολλές σύγχρονες εφαρμογές, όπως π.χ. στην επιτήρηση ναυτιλιακών δραστηριοτήτων, υπάρχει ανάγκη για την ανάλυση τεράστιων όγκων δεδομένων που συνεχώς εξελίσσονται. Τα συστήματα ανάλυσης ροών δεδομένων επεξεργάζονται αποτελεσματικά τέτοια δεδομένων και εξάγουν συμπεράσματα υψηλού επιπέδου. Στην πράξη, υπάρχει μεγάλη ανάγκη για την «επεξηγησιμότητα» (explainability) αυτών των συμπερασμάτων ώστε να είναι πειστικά στους ειδικούς του εκάστοτε τομέα εφαρμογής. Στόχος της παρούσας εργασίας αποτελεί η ανάπτυξη ενός τέτοιου συστήματος που βασίζεται στον λογικό προγραμματισμό και έχει την δυνατότητα παραγωγής επιχειρημάτων που υποστηρίζουν τα συμπεράσματα του και είναι ικανοποιητικά για τον εκάστοτε χρήστη. Για παράδειγμα, το σύστημα που θα αναπτυχθεί θα μπορεί να απαντάει σε ερωτήματα όπως: «Ποια ακολουθία επιχειρημάτων υποστηρίζει (ή απορρίπτει) το συμπέρασμα Χ;» ή «Με ποιους εναλλακτικούς τρόπους θα μπορούσαμε να καταλήξουμε στο ίδιο συμπέρασμα;». Η υλοποίηση σε λογικό προγραμματισμό επιλέγεται λόγω της εκφραστικότητάς του και της δυνατότητας αναπαράστασης γνώσης με διαισθητικό τρόπο.

Βιβλιογραφία:
Alexander Artikis, Marek J. Sergot, Georgios Paliouras: An Event Calculus for Event Recognition. IEEE Trans. Knowl. Data Eng. 27(4):
895-908 (2015)

Roberta Calegari, Andrea Omicini, Giovanni Sartor: Argumentation and Logic Programming for Explainable and Ethical AI. Italian Workshop on Explainable Artificial Intelligence: 55-68 (2020)

Rago A, Cocarascu O, Bechlivanidis C, et al., 2021, Argumentative Explanations for Interactive Recommendations, Artificial Intelligence.

Cyras K, Rago A, Emanuele A, et al., Argumentative XAI: A Survey, The 30th International Joint Conference on Artificial Intelligence
(IJCAI-21)

Skip to content