| Περίληψη |
Η επιχειρηματολογία είναι μια σημαντική ανθρώπινη δραστηριότητα που αφορά πολλούς τομείς της ζωής μας και της κοινωνίας μας όπως την πολιτική, τη δικηγορία, τις επιστημονικές και φιλοσοφικές συζητήσεις. Στις μέρες μας, όλο και περισσότεροι άνθρωποι επικοινωνούν και δημοσιεύουν επιχειρήματα μέσω του διαδικτύου. Για το λόγο αυτό, είναι ζωτικής σημασίας η ανάπτυξη πληροφοριακών συστημάτων που να διαχειρίζονται, να δομούν και να καταλαβαίνουν πλήρως την ανθρώπινη επιχειρηματολογία. Τα τελευταία χρόνια έχουν γίνει αξιόλογες προσπάθειες για να συνδεθεί η επιχειρηματολογία με τις τεχνολογίες των πληροφοριών. Παρ' όλα αυτά, τα τωρινά συστήματα επιχειρηματολογίας είναι βασισμένα σε μοντέλα που είτε δεν είναι αρκετά είτε περιορίζονται στην τυπική λογική. Εώς τώρα, κανένα από αυτά τα μοντέλα δεν συνδέει την επιχειρηματολογία με κάποια οντολογία που μοντελοποιεί έναν τομέα. Ελάχιστα από αυτά τα συστήματα χρησιμοποιούν τις τεχνολογίες του σημασιολογικού ιστού για να αναλύσουν, να δομήσουν και να αναπαραστήσουν επιχειρήματα. Επιπλέον, τα περισοοότερα από τα μοντέλα συγχέουν την λογική δομή ενός σύνθετου επιχειρήματος το οποίο πιστεύουμε ότι ισχύει σε κάποια χρονική στιγμή με την χρονική σειρά των επιχειρημάτων στην διαδικασία της επιχειρηματολογίας.
Σε αυτήν την εργασία περιγράφουμε ένα ολοκληρωμένο μοντέλο για ανθρώπινη επιχειρηματολογία στο οποίο ο συλλογισμός μπορεί να αποτελείται όχι μόνο από την διάψευση ή την εξακρίβωση αλλά γενικότερα από την ενδυνάμωση ή την αποδυνάμωση της υπόθεσης. Το μοντέλο περιλαμβάνει εξέλιξη, σύνθεση και αναθεώρηση επιχειρημάτων και επίσης μπορεί να συνδεθεί με μια οντολογία κάποιου τομέα. Εξηγούμε τις επεκτάσεις που κάναμε προκειμένου να εξειδικεύσουμε αυτό το μοντέλο στην αντικειμενική επιχειρηματολογία, δηλαδή, σε επιχειρήματα και αντεπιχειρήματα πάνω σε προτάσεις που αφορούν καταστάσεις πραγμάτων που συνέβησαν στο παρελθόν. Επιπρόσθετα, εξηγούμε τις επεκτάσεις που έγιναν στο μοντέλο ώστε να είναι σε θέση να ακυρώνει επιχειρήματα τα οποία προκαλούν ασυνέπειες. Στη συνέχεια, περιγράφουμε πως έγινε η υλοποίηση του μοντέλου στη σημασιολογική γλώσσα RDFS. Παρουσιάζουμε το Antilogos, ένα σημασιολογικό σύστημα επιχειρηματολογίας για την καταγραφή και την αναπαράσταση δυναμικών δικτύων επιχειρημάτων. Σκοπός του συστήματος είναι να πληροφορήσει το χρήστη για την προέλευση της καταχωρημένης γνώσης με έναν δομημένο τρόπο. Επιπλέον, το σύστημα μπορεί να αντοπίζει και να λύνει τις ασυνέπειες μεταξύ των επιχειρημάτων. Το Antilogos επιτρέπει στους χρήστες να δημιουργούν νέα επιχειρήματα, και επίσης να υποστηρίζουν, να αμφισβητούν και να αναζητούν προτάσεις που βρίσκονται στα ήδη υπάρχοντα επιχειρήματα. Μέσω του Antilogos, οι χρήστες μπορούν να παρακολουθήσουν οποιαδήποτε κατάσταση γνώσης κατά τη διάρκεια του χρόνου και να καταλάβουν πως προέκυψε αυτη η γνώση και πώς άλλαξε. Τέλος, επιδεικνύουμε τη χρήση του Antilogos παρουσιάζοντας επιχειρήματα και αντεπιχειρήματα από αληθινό δημοσιευμένο αρχαιολογικό παράδειγμα.
|
Computer supported collaborative factual argumentation and conflict resolution
