A Trusted Defeasible Reasoning Service for Brokering Agents in the Semantic Web

Kravari, Kalliopi; Kontopoulos, Efstratios; Bassiliades, Nick

doi:10.1007/978-3-642-03214-1_26

Cited by 9 publications

(36 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…This section focuses on KC-Agents that are based on our customizable, knowledge-based agent model. The other contribution of the framework, the Reasoner agent that provides the defeasible reasoning service, is presented thoroughly in [5] and will be omitted here. KC-Agents are customizable agents equipped with a KB and a Jess rule engine.…”

Section: Kc-agentsmentioning

confidence: 99%

“…The brokering scenario was adopted from [9] and presented in [5]. It is extended here, in order to introduce the newly-developed KC-Agents.…”

Section: A Use Case: a Brokering Scenariomentioning

confidence: 99%

“…As described in [5], the scenario is carried out in six distinct steps and ends up with Carlo finally deciding the most suitable apartment, based on his requirements and personal preferences.…”

Section: A Use Case: a Brokering Scenariomentioning

confidence: 99%

See 2 more Smart Citations

Towards a Knowledge-Based Framework for Agents Interacting in the Semantic Web

Kravari

Kontopoulos

Bassiliades

2009

2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology

Self Cite

View full text Add to dashboard Cite

The Semantic Web aims at making Web content understandable both for people and machines. Although intelligent agents can assist towards this vision, they do not have to conform to a common rule or logic paradigm. This paper reports on the first steps towards a framework for interoperating knowledge-based intelligent agents. A multiagent system was extended with defeasible reasoning and a reusable agent model is proposed for customizable agents, equipped with a knowledge base and a Jess rule engine. Two use case scenarios display the integration of these technologies.

show abstract

Section: Kc-agentsmentioning

confidence: 99%

“…The brokering scenario was adopted from [9] and presented in [5]. It is extended here, in order to introduce the newly-developed KC-Agents.…”

Section: A Use Case: a Brokering Scenariomentioning

confidence: 99%

See 1 more Smart Citation

Towards a Knowledge-Based Framework for Agents Interacting in the Semantic Web

Kravari

Kontopoulos

Bassiliades

2009

2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology

Self Cite

View full text Add to dashboard Cite

show abstract

“…Πιο συγκεκριμένα, επιχειρείται η επέκταση της πλατφόρμας πολυ-πρακτορικών συστημάτων EMERALD [Kravari et al, 2009b;Kravari et al, 2010b] με υπηρεσίες εξαγωγής συμπερασμάτων αναιρέσιμης λογικής…”

Section: δομή και συμβολή της διατριβήςunclassified

“…Ενότητα 3.4.5) κατά το συμπερασμό. Τέλος, αφού η θεωρία και τα υποβληθέντα ερωτήματα μεταφραστούν σε λογικό πρόγραμμα, επιλύονται με τη χρήση μιας απλής μηχανής συμπερασμού Prolog14 .Όσον αφορά την απόδοση του DR-Prolog, αυτή είναι ανάλογη με το μέγεθος του προβλήματος, εφόσον το λογικό πρόγραμμα που προκύπτει σαν αποτέλεσμα της μετάφρασης έχει το ίδιο πλήθος κανόνων με την εισαγόμενη αναιρέσιμη θεωρία. Σε γενικές γραμμές, η απόδοση του συστήματος είναι αρκετά καλύτερη εκείνης της d-Prolog και ελαφρώς χειρότερη της απόδοσης του Deimos.…”

unclassified

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

Κοντόπουλος¹

View full text Add to dashboard Cite

Η αναιρέσιμη λογική αποτελεί μέλος της οικογένειας των μη-μονότονων λογικών και αντιπροσωπεύει μια προσέγγιση συλλογιστικής με ελλιπείς, μεταβαλλόμενες αλλά και αλληλοσυγκρουόμενες πληροφορίες. Συγκριτικά με τους άλλους τύπους μη-μονότονης λογικής, τα πλεονεκτήματα της αναιρέσιμης λογικής εστιάζονται στην υψηλότερη εκφραστικότητα και στη χαμηλή υπολογιστική πολυπλοκότητα. Παρόλο που η αναιρέσιμη λογική δεν αποτελεί πρόσφατη ιδέα, η ραγδαία εξέλιξη του αναπτυσσόμενου Σημασιολογικού Ιστού την καθιστά πλέον πολύ επίκαιρη, καθώς αποδεικνύεται ιδιαιτέρως χρήσιμη για ένα πλήθος σχετικών εφαρμογών, όπως είναι η συγχώνευση οντολογιών, η διαπραγμάτευση πρακτόρων, τα σενάρια μεσιτείας και, γενικότερα, ένα πλήθος εφαρμογών που αφορούν κανόνες με εξαιρέσεις και εξαγωγή συμπερασμάτων από ανεπαρκή πληροφορία.Από την άλλη πλευρά, η ανάπτυξη εφαρμογών που βασίζονται στην αναιρέσιμη λογική αποτελεί επίπονη διαδικασία, καθώς αυτός ο τύπος λογικής (όπως, βέβαια, και πολλά άλλα είδη λογικών, μονότονων και μη) διαθέτει σύνταξη και σημασιολογία που μπορεί να φανούν δυσνόητες, ιδιαίτερα για τους τελικούς χρήστες. Επιπροσθέτως, η έντονη εναλλαγή ανάμεσα στις διάφορες γλώσσες και τεχνολογίες που εμπλέκονται σε εφαρμογές τέτοιου είδους επιβάλλει τη χρήση ποικιλίας εργαλείων και τεχνολογιών (π.χ. XML, RuleML, γλώσσες οντολογιών, συλλογιστική), γεγονός που αποτελεί επιπλέον επιβαρυντικό παράγοντα.Η παρούσα διατριβή πραγματεύεται τη μελέτη των υπαρχουσών μεθοδολογιών και εφαρμογών για τη διαχείριση βάσεων γνώσης αναιρέσιμης λογικής στο περιβάλλον του Σημασιολογικού Ιστού, καθώς και την έρευνα και ανάπτυξη νέων μεθόδων και τεχνολογιών. Οι νέες μεθοδολογίες και τεχνικές που αναπτύχθηκαν εφαρμόζονται στην ανάπτυξη ενός ολοκληρωμένου συστήματος συμπερασμού σε δεδομένα Σημασιολογικού Ιστού. Βάση του συστήματος αυτού αποτέλεσε το DR-DEVICE, μια μηχανή αναιρέσιμης συλλογιστικής που αναπτύχθηκε στο Εργαστήριο Γλωσσών Προγραμματισμού και Τεχνολογίας Λογισμικού (PLaSE) του Αριστοτελείου Πανεπιστημίου Θεσσαλονίκης. Το πλήρες ενοποιημένο περιβάλλον που αναπτύχθηκε πήρε την ονομασία VDR-DEVICE και αποτελείται από:•Μια εφαρμογή ανάπτυξης και διαχείρισης βάσεων γνώσης αναιρέσιμης λογικής επάνω από οντολογίες RDF Schema, η οποία αναπαριστά τη βάση κανόνων με δενδρική μορφή βασισμένη στην XML. Το λογισμικό χειρίζεται την υπό ανάπτυξη βάση γνώσης σαν ένα δένδρο XML, στο οποίο κάθε κόμβος έχει ξεχωριστή σημασιολογία και αντιμετωπίζεται ανάλογα από τον συντάκτη κανόνων, αποτρέποντας ενδεχόμενα συντακτικά και σημασιολογικά σφάλματα.•Δύο εργαλεία λογισμικού που προσφέρουν βοηθητική λειτουργικότητα αναφορικά με τη δημιουργία οντολογιών RDF/S και την οπτικοποίηση εγγράφων RDF, τα οποία χρησιμοποιούνται από τη μηχανή DR-DEVICE.•Μια εφαρμογή λογισμικού για την ανάπτυξη και οπτικοποίηση βάσεων γνώσης αναιρέσιμης λογικής που βασίζεται στο προτεινόμενο πλαίσιο οπτικής αναπαράστασης στοιχείων αναιρέσιμης λογικής DRVgraph. Η εφαρμογή ενσωματώνει αλγόριθμο οπτικής στρωματοποίησης για την αυτοματοποιημένη τοποθέτηση των στοιχείων μιας βάσης γνώσης αναιρέσιμης λογικής σε έναν γράφο του πλαισίου DRVgraph.•Ένα εργαλείο για την οπτικοποίηση αποδείξεων και βημάτων συμπερασμού κατά την εκτέλεση συνόλων κανόνων αναιρέσιμης λογικής, το οποίο ενσωματώνει μία υβριδική προσέγγιση αναπαράστασης των αποδείξεων που συνδυάζει πλεονεκτήματα από τις κύριες υπάρχουσες προσεγγίσεις αναπαράστασης αποδείξεων.•Μία επέκταση του DR-DEVICE που επιτρέπει εξαγωγή συμπερασμάτων από βάσεις γνώσης τροπικής αναιρέσιμης λογικής.Επίσης, στην παρούσα διατριβή παρουσιάζεται η ενσωμάτωση του DR-DEVICE σαν υπηρεσία αναιρέσιμης συλλογιστικής σε δύο διαφορετικά πολυ-πρακτορικά συστήματα του Σημασιολογικού Ιστού.Σκοπό της διατριβής αποτελεί η συνεισφορά μεθοδολογιών και εργαλείων στα επίπεδα της Λογικής, των Αποδείξεων και των Γραφικών Περιβαλλόντων και Εφαρμογών της αρχιτεκτονικής του Σημασιολογικού Ιστού, ώστε να ενισχυθούν οι υποδομές του τελευταίου και να προσεγγιστεί περισσότερο το όραμα της τελικής πραγματοποίησής του.

show abstract