Knowledge representation and reasoning

Abstract

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

This chapter briefly introduces the concepts of the basic formalisms of formal knowledge representation, such as Propositional Logic and First-order Logic, as well as the basic formal methods of implicit knowledge extraction (reasoning algorithms). In the following, the limitations and difficulties of the above algorithms are presented, which ultimately also limit the use of formalisms, and the need to limit the expressiveness that leads to ontological knowledge representation and Description Logics is understood.