Κατανεμημένο σύστημα για εξαγωγή γνώσης σε Peer-to-Peer δίκτυα πάνω από Android.

Abstract

Η λογική στην επιστήμη των υπολογιστών περιγράφει θέματα όπου τα μοντέλα λογικής εφαρμόζονται στην εκπροσώπηση της γνώσης και της τεχνητής νοημοσύνης. Η χρήση κατανεμημένων συστημάτων για την επίλυση λογικών προβλημάτων είναι ένα ενδιαφέρον αλλά και προκλητικό θέμα και οι αλγόριθμοι των ερωτήσεων δικτύου κλάδεμα έχουν ως αποτέλεσμα τη βελτιστοποίηση της διαδικασίας επίλυσης. Η τρέχουσα πτυχιακή προτείνει την ανάπτυξη ενός εργαλείου συλλογιστικής υλοποιημένο σε Peer-To-Peer δίκτυο, όπου αξιολογούνται τοπικοί κανόνες συλλογιστικής με ελλιπή στοιχεία. Αυτό επιτυγχάνεται με την αποστολή ερωτημάτων για τις ανάγκες σε συνομηλίκους, χρησιμοποιώντας ένα πρωτόκολλο που διαγράφει από το δίκτυο τα περιττά ερωτήματα και ερωτήματα που καθυστερούν την απάντηση.

Logic in computer science describes topics where logic models are applied to the representation of knowledge and artificial intelligence. The usage of distributed systems to solve logical problems is both an interesting and a challenging one, and algorithms of pruning network queries result in the optimization of the solving process. The current thesis proposes the development of a Peer-To-Peer Reasoning tool, which evaluates local rules of reasoning with incomplete data. This is achieved by sending queries for those needs to peers using a protocol that deletes unnecessary queries and queries that delay the response from the network.