| Περίληψη: | Στο Κεφάλαιο αυτό εισάγονται, με συντομία, οι έννοιες των βασικών φορμαλισμών τυπικής αναπαράστασης γνώσης (knowledge representation), όπως η Προτασιακή Λογική (Propositional Logic) και η Λογική Πρώτης Τάξης (First-order Logic), καθώς και οι βασικοί τυπικοί μέθοδοι εξαγωγής υπονοούμενης γνώσης (αλγόριθμοι συλλογιστικής - reasoning). Στη συνέχεια, παρουσιάζονται οι περιορισμοί και οι δυσκολίες των παραπάνω αλγορίθμων που τελικά περιορίζουν και τη χρήση των φορμαλισμών, και γίνεται κατανοητή η ανάγκη για περιορισμό της εκφραστικότητας που οδηγεί στην οντολογική αναπαράσταση γνώσης και τις Περιγραφικές Λογικές (Description Logics).
|
|---|
