DSpace

Πληροφορίες Τίτλου
Τίτλος: Ευφυείς Τεχνικές Λογικού Προγραμματισμού
Συγγραφείς:Σακελλαρίου, Ηλίας
Βασιλειάδης, Νικόλαος
Κεφαλάς, Πέτρος
Σταμάτης, Δημοσθένης
Κριτικός Αναγνώστης: Τσαδήρας, Αθανάσιος
Σχολές/Τμήματα: ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ, ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕΔΟΝΙΑΣ
ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ, ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣ/ΝΙΚΗΣ
UNIVERSITY OF SHEFFIELD
ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Τ.Ε., ΑΛΕΞΑΝΔΡΕΙΟ ΤΕΙ ΘΕΣΣΑΛΟΝΙΚΗΣ
Θέμα: 
Λέξεις-κλειδιά: 
ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΛΟΓΙΚΗ
ΤΕΧΝΙΚΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ
ΠΡΟΛΟΓ
ΕΠΕΞΕΡΓΑΣΙΑ ΣΥΜΒΟΛΩΝ
ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ
Περιγραφή
Περίληψη: 
Το κεφάλαιο περιλαμβάνει ένα σύνολο τεχνικών λογικού προγραμματισμού, στοχευμένων στην ανάπτυξη λογικών προγραμμάτων, όπως είναι η αναπαράσταση και επίλυση προβλημάτων με ελλιπή δεδομένα και ο συμβολικός προγραμματισμός. Εξηγείται η έννοια του ιντετερμινιστικού προγραμματισμού (non-deterministic programming) και πως μια τέτοια προσέγγιση υποστηρίζεται εγγενώς από το μοντέλο εκτέλεσης του ΛΠ. Μια εξαιρετικά ενδιαφέρουσα τεχνική, μοναδική στον ΛΠ, είναι η αντίστροφη χρήση ορισμάτων, που προκύπτει σαν συνέπεια της δηλωτικότητας του ΛΠ και της απουσίας ορισμού ορισμάτων εισόδου-εξόδου, και επιτρέπει την ποικιλόμορφη χρήση των κατηγορημάτων, με κλασικά παραδείγματα τα κατηγορήματα διαχείρισης λιστών. Τέλος παρουσιάζονται οι τεχνικές του Αυξητικού (Incremental) Προγραμματισμού, ιδιαίτερα δημοφιλή στον ΛΠ καθώς οι περισσότερες υλοποιήσεις είναι διερμηνευόμενες (interpreted) και η "από άνω προς τα κάτω" (Top Down) προσέγγιση στην ανάπτυξη προγραμμάτων.
Ημερομηνία Δημιουργίας: 2015
Πληροφορίες Τεκμηρίου
Είδος Τεκμηρίου: Κεφάλαιο Συγγράμματος
URI: http://hdl.handle.net/11419/785
Βιβλιογραφική Αναφορά:Σακελλαρίου, Η., Βασιλειάδης, Ν., Κεφαλάς, Π., Σταμάτης, Δ. 2015. Ευφυείς Τεχνικές Λογικού Προγραμματισμού. [Κεφάλαιο Συγγράμματος]. Στο Σακελλαρίου, Η., Βασιλειάδης, Ν., Κεφαλάς, Π., Σταμάτης, Δ. 2015. Τεχνικές λογικού προγραμματισμού. [ηλεκτρ. βιβλ.] Αθήνα:Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών. κεφ 8. Διαθέσιμο στο: http://hdl.handle.net/11419/785
Γλώσσα: Ελληνικά
Αποτελείται από: Κώδικας Prolog Κεφαλαίου 8
Αποτελεί μέρος του: Τεχνικές λογικού προγραμματισμού
Άδεια Χρήσης: Αναφορά - Μη Εμπορική Χρήση - Παρόμοια Διανομή
Σχετικά Μαθήματα: 
1. ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΜΕ ΠΕΡΙΟΡΙΣΜΟΥΣ [ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕΔΟΝΙΑΣ, ΣΧΟΛΗ ΕΠΙΣΤΗΜΩΝ ΠΛΗΡΟΦΟΡΙΑΣ, ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ]
2. ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ [ΑΛΕΞΑΝΔΡΕΙΟ ΤΕΙ ΘΕΣΣΑΛΟΝΙΚΗΣ, ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ, ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Τ.Ε.]
3. ΥΠΟΛΟΓΙΣΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ [ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣ/ΝΙΚΗΣ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ]
4. Λογικός Προγραμματισμός [ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ]
5. ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ & ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ [ΤΕΙ ΑΝΑΤΟΛΙΚΗΣ ΜΑΚΕΔΟΝΙΑΣ ΚΑΙ ΘΡΑΚΗΣ, ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ, ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Τ.Ε.]
6. ΥΠΟΛΟΓΙΣΤΙΚΗ ΛΟΓΙΚΗ & ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ [ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ, ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ, ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ]
7. ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ [ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΙΡΑΙΩΣ, ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΩΝ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ]
8. Λογικός Προγραμματισμός [ΙΟΝΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ, ΣΧΟΛΗ ΕΠΙΣΤΗΜΗΣ ΤΗΣ ΠΛΗΡΟΦΟΡΙΑΣ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ, ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ]
Τύπος έκδοσης: Εκδόσεις Κάλλιπος
Εμφανίζεται στις συλλογές:Επιστήμες Μηχανικών και Πληροφορική

Αρχεία σε αυτό το τεκμήριο:

Μορφότυπο Μέγεθος Περιγραφή
Adobe PDF444,89 kB-KατεβάστεΔείτε

Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα

Όροι χρήσης HEAL-Link © 2015

HEAL-Link NTUA GRNET European Union EDULLL ESPA