| Περίληψη: | Το Κεφάλαιο 3 παρουσιάζει τα βασικά προβλήματα συλλογιστικής στα οποία στηρίζονται οι υπηρεσίες αναπαράστασης, διαχείρισης και χρήσης οντολογικής γνώσης. Στο πλαίσιο αυτό παρουσιάζονται οι βασικοί αλγόριθμοι συλλογιστικής, τόσο για βατές (αλγόριθμος δομικής υπαγωγής - structural subsumption), όσο και για εκφραστικές Περιγραφικές Λογικές (αλγόριθμοι tableaux). Επιπλέον, γίνεται ανάλυση των βασικών δυσκολιών που αντιμετωπίζουν τα συστήματα συλλογιστικής, με έμφαση στο ζήτημα της σχέσης της πολυπλοκότητας της συλλογιστικής με την εκφραστικότητα της αντίστοιχης γλώσσας.
|
|---|
