2019-06-042019-06-042019-06-04http://hdl.handle.net/20.500.12688/9128Η λογική στην επιστήμη των υπολογιστών περιγράφει θέματα όπου τα μοντέλα λογικής εφαρμόζονται στην εκπροσώπηση της γνώσης και της τεχνητής νοημοσύνης. Η χρήση κατανεμημένων συστημάτων για την επίλυση λογικών προβλημάτων είναι ένα ενδιαφέρον αλλά και προκλητικό θέμα και οι αλγόριθμοι των ερωτήσεων δικτύου κλάδεμα έχουν ως αποτέλεσμα τη βελτιστοποίηση της διαδικασίας επίλυσης. Η τρέχουσα πτυχιακή προτείνε την ανάπτυξη ενός εργαλείου Peer-To-Peer Reasoning, όπου αξιολογούνται τοπικοί κανόνες συλλογιστικής με ελλιπή στοιχεία. Αυτό επιτυγχάνεται με την αποστολή ερωτημάτων για τις ανάγκες σε συνομηλίκους, χρησιμοποιώντας ένα πρωτόκολλο που διαγράφει από το δίκτυο τα περιττά ερωτήματα και ερωτήματα που καθυστερούν την απάντηση.Logic in computer science describes issues where logic models apply to the representation of knowledge and artificial intelligence. The use distributed systems to solve logical problems is an interesting but also sexy issue and networking questioning algorithms result in optimizing the resolution process. The current dissertation proposed the development of one Peer-To-Peer Reasoning tool, where local looping rules are assessed data. This is accomplished by sending questions about peer, using a protocol that deletes the unnecessary queries from the network and questions that delay the answer.Attribution-NonCommercial-NoDerivs 3.0 United States