.
Ένας επαγωγικός ταξινομητής είναι ένας τύπος μηχανής συμπερασμάτων τεχνητής νοημοσύνης. Λαμβάνει ως είσοδο ένα σύνολο δηλώσεων σε μια γλώσσα πλαισίου σχετικά με έναν τομέα όπως η ιατρική έρευνα ή η μοριακή βιολογία. Για παράδειγμα, τα ονόματα κλάσεων, υποκλάσεων, ιδιοτήτων και περιορισμών σε επιτρεπόμενες τιμές. Ο ταξινομητής καθορίζει εάν οι διάφορες δηλώσεις είναι λογικά συνεπείς και εάν όχι θα τονίσει τις συγκεκριμένες ασυνεπείς δηλώσεις και τις ασυνέπειες μεταξύ τους. Εάν οι δηλώσεις είναι συνεπείς, ο ταξινομητής μπορεί στη συνέχεια να διεκδικήσει πρόσθετες πληροφορίες με βάση την εισαγωγή. Για παράδειγμα, μπορεί να προσθέσει πληροφορίες για υπάρχουσες κλάσεις, να δημιουργήσει πρόσθετες κλάσεις, κ.λπ. Αυτό διαφέρει από τις παραδοσιακές μηχανές συμπερασμάτων που ενεργοποιούν τις συνθήκες IF-THEN στους κανόνες. Οι ταξινομητές είναι επίσης παρόμοιοι με τους αποδείκτες θεωρημάτων στο ότι λαμβάνουν ως είσοδο και παράγουν έξοδο μέσω της Λογικής Πρώτης Τάξης. Οι ταξινομητές προέρχονται από γλώσσες πλαισίου KL-ONE. Είναι ολοένα και πιο σημαντικά τώρα που αποτελούν μέρος της τεχνολογίας ενεργοποίησης του Σημασιολογικού Ιστού. Οι σύγχρονοι ταξινομητές αξιοποιούν τη Γλώσσα Οντολογίας Ιστού. Τα μοντέλα που αναλύουν και δημιουργούν ονομάζονται οντολογίες.
Hellenica World - Scientific Library
Από τη ελληνική Βικιπαίδεια http://el.wikipedia.org . Όλα τα κείμενα είναι διαθέσιμα υπό την GNU Free Documentation License
