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

Description:

Ο Λογισμός Πράξης (Event Calculus) είναι μία ευρέως διαδεδομένη γλώσσα λογικού προγραμματισμού η οποία επιτρέπει την αναπαράσταση γεγονότων και των αποτελεσμάτων τους. Έχει χρησιμοποιηθεί για αναπαράσταση και συμπερασμό σε πάρα πολλές εφαρμογές, όπως η ανάπτυξη πολυ-πρακτορικών συστημάτων, ιατρικών συστημάτων, καθώς και συστημάτων αναγνώρισης γεγονότων απο δεδομένα. Στα πλαίσια αυτής της εργασίας θα υλοποιηθεί ο Λογισμός Πράξης σε Java. Με αυτόν τον τρόπο θα είναι πιο έυκολη η χρήση αυτού του λογισμού σε υπάρχοντα (εμπορικά) συστήματα τα οποία είναι υλοποιημένα σε Java. Ενδεικτική Βιβλιογραφία: Andrew D. H. Farrell, Marek Sergot, Mathias Salle and Claudio Bartolini. Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information System, 4(2--3), June-September 2005. http://www.doc.ic.ac.uk/~mjs/publications/IJICS_Farrell_Sergot.pdf
Skip to content