Κατηγορηματική Λογική Πρώτης Τάξης και Λογικά Προγράμματα
Το κεφάλαιο αποτελεί μια σύντομη εισαγωγή στην μαθηματική λογική και ειδικότερα στη κατηγορηματική λογική πρώτης τάξης (ΚΛΠΤ). Παρουσιάζονται τα βασικά στοιχεία της Λογικής, όπως είναι η σύνταξη των όρων της κατηγορηματικής, οι τελεστές και οι αποδεικτικές διαδικασίες. Δίνεται έμφαση στην αρχή της α...
| Κύριοι συγγραφείς: | , , , , , , , |
|---|---|
| Μορφή: | 7 |
| Γλώσσα: | Greek |
| Έκδοση: |
2016
|
| Θέματα: | |
| Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/780 |
| id |
kallipos-11419-780 |
|---|---|
| record_format |
dspace |
| spelling |
kallipos-11419-7802021-07-11T22:21:36Z Κατηγορηματική Λογική Πρώτης Τάξης και Λογικά Προγράμματα Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis Σακελλαρίου, Ηλίας Βασιλειάδης, Νικόλαος Κεφαλάς, Πέτρος Σταμάτης, Δημοσθένης ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΠΡΟΛΟΓ ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Logic Programming Prolog Logic Programming Techniques Symbol Processing Knowledge Representation And Reasoning Το κεφάλαιο αποτελεί μια σύντομη εισαγωγή στην μαθηματική λογική και ειδικότερα στη κατηγορηματική λογική πρώτης τάξης (ΚΛΠΤ). Παρουσιάζονται τα βασικά στοιχεία της Λογικής, όπως είναι η σύνταξη των όρων της κατηγορηματικής, οι τελεστές και οι αποδεικτικές διαδικασίες. Δίνεται έμφαση στην αρχή της ανάλυσης (resolution principle), και στην σημαντικότητά της στην αυτοματοποιημένη επίλυση των προβλημάτων. Τέλος το κεφάλαιο κλείνει με την παρουσίαση των κανονικών μορφών της Λογικής, κατά Kowaslki και Horn, που χρησιμοποιούνται στη γλώσσα Prolog. 2016-01-15T16:13:10Z 2021-07-09T19:41:22Z 2016-01-15T16:13:10Z 2021-07-09T19:41:22Z 2016-01-15 7 http://localhost:8080/jspui/handle/11419/780 el 1 application/pdf |
| institution |
Kallipos |
| collection |
DSpace |
| language |
Greek |
| topic |
ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΠΡΟΛΟΓ ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Logic Programming Prolog Logic Programming Techniques Symbol Processing Knowledge Representation And Reasoning |
| spellingShingle |
ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΛΟΓΙΚΗ ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΠΡΟΛΟΓ ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Logic Programming Prolog Logic Programming Techniques Symbol Processing Knowledge Representation And Reasoning Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis Σακελλαρίου, Ηλίας Βασιλειάδης, Νικόλαος Κεφαλάς, Πέτρος Σταμάτης, Δημοσθένης Κατηγορηματική Λογική Πρώτης Τάξης και Λογικά Προγράμματα |
| description |
Το κεφάλαιο αποτελεί μια σύντομη εισαγωγή στην μαθηματική λογική και ειδικότερα στη κατηγορηματική λογική πρώτης τάξης (ΚΛΠΤ). Παρουσιάζονται τα βασικά στοιχεία της Λογικής, όπως είναι η σύνταξη των όρων της κατηγορηματικής, οι τελεστές και οι αποδεικτικές διαδικασίες. Δίνεται έμφαση στην αρχή της ανάλυσης (resolution principle), και στην σημαντικότητά της στην αυτοματοποιημένη επίλυση των προβλημάτων. Τέλος το κεφάλαιο κλείνει με την παρουσίαση των κανονικών μορφών της Λογικής, κατά Kowaslki και Horn, που χρησιμοποιούνται στη γλώσσα Prolog. |
| format |
7 |
| author |
Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis Σακελλαρίου, Ηλίας Βασιλειάδης, Νικόλαος Κεφαλάς, Πέτρος Σταμάτης, Δημοσθένης |
| author_facet |
Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis Σακελλαρίου, Ηλίας Βασιλειάδης, Νικόλαος Κεφαλάς, Πέτρος Σταμάτης, Δημοσθένης |
| author_sort |
Sakellariou, Ilias |
| title |
Κατηγορηματική Λογική Πρώτης Τάξης και Λογικά Προγράμματα |
| title_short |
Κατηγορηματική Λογική Πρώτης Τάξης και Λογικά Προγράμματα |
| title_full |
Κατηγορηματική Λογική Πρώτης Τάξης και Λογικά Προγράμματα |
| title_fullStr |
Κατηγορηματική Λογική Πρώτης Τάξης και Λογικά Προγράμματα |
| title_full_unstemmed |
Κατηγορηματική Λογική Πρώτης Τάξης και Λογικά Προγράμματα |
| title_sort |
κατηγορηματική λογική πρώτης τάξης και λογικά προγράμματα |
| publishDate |
2016 |
| url |
http://localhost:8080/jspui/handle/11419/780 |
| work_keys_str_mv |
AT sakellariouilias katēgorēmatikēlogikēprōtēstaxēskailogikaprogrammata AT vasileiadisnikolaos katēgorēmatikēlogikēprōtēstaxēskailogikaprogrammata AT kefalaspetros katēgorēmatikēlogikēprōtēstaxēskailogikaprogrammata AT stamatisdimosthenis katēgorēmatikēlogikēprōtēstaxēskailogikaprogrammata AT sakellariouēlias katēgorēmatikēlogikēprōtēstaxēskailogikaprogrammata AT basileiadēsnikolaos katēgorēmatikēlogikēprōtēstaxēskailogikaprogrammata AT kephalaspetros katēgorēmatikēlogikēprōtēstaxēskailogikaprogrammata AT stamatēsdēmosthenēs katēgorēmatikēlogikēprōtēstaxēskailogikaprogrammata |
| _version_ |
1771301281996996608 |
