Κατηγορηματική Λογική Πρώτης Τάξης και Λογικά Προγράμματα

Abstract

Το κεφάλαιο αποτελεί μια σύντομη εισαγωγή στην μαθηματική λογική και ειδικότερα στη κατηγορηματική λογική πρώτης τάξης (ΚΛΠΤ). Παρουσιάζονται τα βασικά στοιχεία της Λογικής, όπως είναι η σύνταξη των όρων της κατηγορηματικής, οι τελεστές και οι αποδεικτικές διαδικασίες. Δίνεται έμφαση στην αρχή της ανάλυσης (resolution principle), και στην σημαντικότητά της στην αυτοματοποιημένη επίλυση των προβλημάτων. Τέλος το κεφάλαιο κλείνει με την παρουσίαση των κανονικών μορφών της Λογικής, κατά Kowaslki και Horn, που χρησιμοποιούνται στη γλώσσα Prolog.

The chapter offers a brief introduction to mathematical logic, with a focus on first-order predicate logic (FOPL). It presents the fundamental elements of logic, such as the syntax of predicate terms, logical operators, and proof procedures. Emphasis is placed on the resolution principle and its importance in the automated solving of problems. Finally, the chapter concludes with the presentation of the normal forms of logic, as defined by Kowalski and Horn, which are used in the Prolog language.