Adobe PDF
(518.7 kB)
| Title Details: | |
|
Κατηγορηματική Λογική Πρώτης Τάξης και Λογικά Προγράμματα |
|
| Authors: |
Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis |
| Reviewer: |
Tsadiras, Athanasios |
| Subject: | MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INTELLIGENT SYSTEMS |
| Description: | |
| Abstract: |
Το κεφάλαιο αποτελεί μια σύντομη εισαγωγή στην μαθηματική λογική και ειδικότερα στη κατηγορηματική λογική πρώτης τάξης (ΚΛΠΤ). Παρουσιάζονται τα βασικά στοιχεία της Λογικής, όπως είναι η σύνταξη των όρων της κατηγορηματικής, οι τελεστές και οι αποδεικτικές διαδικασίες. Δίνεται έμφαση στην αρχή της ανάλυσης (resolution principle), και στην σημαντικότητά της στην αυτοματοποιημένη επίλυση των προβλημάτων. Τέλος το κεφάλαιο κλείνει με την παρουσίαση των κανονικών μορφών της Λογικής, κατά Kowaslki και Horn, που χρησιμοποιούνται στη γλώσσα Prolog.
|
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-sa/3.0/gr |
| Handle | http://hdl.handle.net/11419/780 |
| Bibliographic Reference: | Sakellariou, I., Vasileiadis, N., Kefalas, P., & Stamatis, D. (2015). Κατηγορηματική Λογική Πρώτης Τάξης και Λογικά Προγράμματα [Chapter]. In Sakellariou, I., Vasileiadis, N., Kefalas, P., & Stamatis, D. 2015. Logic Programming Techniques [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/780 |
| Language: |
Greek |
| Is Part of: |
Logic Programming Techniques |
| Publication Origin: |
Kallipos, Open Academic Editions |