Visual Stratification of Defeasible Logic Rule Bases

Abstract

Logic and proofs constitute key factors in increas-

Διαχείριση Βάσεων Γνώσης Αναιρέσιμης Λογικής Στο Σημασιολογικό Ιστό

“…Επιπλέον, το DR-VisMo ενσωματώνει αλγόριθμο οπτικής στρωματοποίησης (visual stratification) Kontopoulos et al, 2007b] [Kontopoulos et al, 2008b;. Σαν αποτέλεσμα, είναι εφικτός ο ορισμός διαφόρων τύπων πρακτόρων με ποικιλία συμπεριφορών, οι βάσεις γνώσης των οποίων, εκτός από στρατηγικές και πολιτικές, εκφράζουν πλέον και το γνωστικό τους προφίλ με τις επιδιώξεις, τις υποχρεώσεις και τις επιτρεπτές δράσεις, στις οποίες αυτοί υπόκεινται.…”

“…προηγούμενες υπο-ενότητες), η επόμενη πρόκληση έγκειται στην τοποθέτηση κάθε στοιχείου στο γράφο. Στα πλαίσια της διατριβής σχεδιάστηκε αλγόριθμος Kontopoulos et al, 2007b] για την οπτικοποίηση της βάσης γνώσης αναιρέσιμης λογικής, ο οποίος υιοθετεί τεχνικές στρωματοποίησης κανόνων (rule stratification) [Ullman, 1988]. Σε αντίθεση με τις τελευταίες, όμως, οι οποίες εστιάζουν περισσότερο στον υπολογισμό του ελαχίστου μοντέλου ενός συνόλου κανόνων, ο προτεινόμενος αλγόριθμος…”

“…Το συγκεκριμένο λογισμικό φορτώνει αποδείξεις του συστήματος DR-Prolog [Antoniou & Bikakis, 2007; διαστήματα, π.χ. [1,10], [11,20], [21,30], [31,40]. Kravari et al, 2010b].…”