Ανάπτυξη βιβλιοθήκης πρωτοκόλλων επικοινωνίας πολυ-πρακτορικών συστημάτων.

Printer-friendly versionSend by email
Qualifications Required: 
Γνώσεις λογικού προγραμματισμού.
Qualifications Desired: 
Γνώσεις αναπαράστασης γνώσης και συμπερασμού.

Στην βιβλιογραφία των πολυ-πρακτορικών συστημάτων έχουν διατυπωθεί διάφορα πρωτόκολλα επικοινωνίας πρακτόρων, όπως π.χ. πρωτόκολλα για διαπραγμάτευση, σύναψη συμβολαίου (contract-net), δημοπρασία (English auction, Dutch auction, Vickrey auction), ψηφοφορία, διαχείριση υπολογιστικών πόρων, επίλυση διαφωνίας κα. Στο πλαίσιο αυτής της εργασίας θα αναπτυχθεί μια βιβλιοθήκη πρωτοκόλλων επικοινωνίας για «ανοιχτά πολυ-πρακτορικά συστήματα». Σε αυτά τα συστήματα δεν υπάρχει πρόσβαση στον κώδικα των πρακτόρων και δεν είναι δυνατόν να προβλεφθεί αν η συμπεριφορά τους θα είναι σύμφωνη με τους κανόνες ενός πρωτοκόλλου. Η διατύπωση ενός πρωτοκόλλου θα εκφράζει τα δικαιώματα (permissions, rights) και τις υποχρεώσεις (obligations) των πρακτόρων, καθώς και τις κυρώσεις προς αυτούς (σε περίπτωση μη συμμόρφωσης με τους κανόνες).

Artikis A. and Sergot M. Executable Specification of Open Multi-Agent Systems, Logic Journal of the IGPL, 18(1):31-65, 2010.
http://users.iit.demokritos.gr/~a.artikis/publications/artikis-IGPL.pdf

Administration

© 2018 - Institute of Informatics and Telecommunications | National Centre for Scientific Research "Demokritos"

Terms of Service and Privacy Policy