Λογικός Προγραμματισμός

Λογικός Προγραμματισμός

[1]

Αρχείο:-01-goog.jpg

[[ ]].

Είναι ένα είδος Προγραμματισμού.

Ετυμολογία

Η ονομασία "Λογικός" σχετίζεται ετυμολογικά με την λέξη "Λογική".

Εισαγωγή

Ο Λογικός Προγραμματισμός (logic programming) αποτελεί ένα σημαντικό κλάδο της ΤΝ που βασίζεται σε μεγάλο βαθμό στη Μαθηματική Λογική, αλλά την προεκτείνει εισάγοντας νέες μεθόδους αυτοματοποιημένης συμπερασματολογίας.

Η μελέτη του Λογικού Προγραμματισμού είναι να εξηγηθεί η λογική βάση του. Χωρίς αυτήν την μαθηματική εξήγηση δεν θα γίνει αντιληπτή η σπουδαιότητα του λογικού προγραμματισμού.

Η βάση αυτή θα φανεί χρήσιμη σε διάφορα θέματα όπως :

• στη περιγραφή ενός συστήματος (δηλαδή στην κωδικοποίηση της γνώσης) με τη μορφή ενός συνόλου λογικών προτάσεων (δηλαδή με τη μορφή ενός λογικού προγράμματος)
• με ποιό τρόπο κινούμαστε από την Μαθηματική Λογική στο λογικό προγραμματισμό και στη συνέχεια στην γλώσσα προγραμματισμού Prolog.

Θα μας εφοδιάσει λ.χ. με το τι μπορούν ή δεν μπορούν να εκφράσουν ή υπολογίσουν τα λογικά προγράμματα, εν συντομία, τι σημαίνουν. Επιπλέον, μελετώντας σημασιολογικά και θεωρητικά ζητήματα θα σχολιασθεί, όπου κρίνεται απαραίτητο, και η πρακτική σπουδαιότητα των υπό μελέτη θεμάτων.

Θα γνωρίσουμε τη γλώσσα της Μαθηματικής Λογικής - Προτασιακής και Κατηγορηματικής Λογικής α’ τάξης - ως μιας γλώσσας που μπορεί να χρησιμοποιηθεί γιά την επίλυση προβλημάτων.

Στη συνέχεια θα δούμε πως η λογική και κατ’ επέκταση ο λογικός προγραμματισμός δεν είναι απλά μια ακόμη γλώσσα για την επίλυση συνηθισμένων υπολογιστικών προβλημάτων.

Το κύριο σημείο εδώ είναι ότι, η λογική μπορεί να χρησιμοποιηθεί για την αναπαράσταση γνώσης που είναι συναφής με διάφορους τομείς, και μπορεί να διακινηθεί ή να αυτοματοποιηθεί με πολλούς τρόπους.

Γιά το σκοπό αυτό θα δούμε διάφορες πρακτικές εφαρμογές που θα βασίζονται στην χρήση του λογικού προγραμματισμού και ιδιαίτερα στη χρήση της γλώσσας Prolog.

O λογικός προγραμματισμός έχει τη δυνατότητα να εξυπηρετήσει κάθε υπολογιστικό πλαίσιο που δίνει περιθώρια για αυτοματοποιημένη συμπερασματολογία (mechanized reasoning).

Οι λόγοι γιά τους οποίους θα ασχοληθούμε με την κλασσική λογική είναι :

• η κλασσική λογική είναι πιο απλή και κατανοητή από τα άλλα είδη λογικής.
• μόνο αυτή έχει διερευνηθεί επαρκώς και με πληρότητα
• ως τώρα, μόνο η κλασσική λογική έχει ανταποκριθεί σε υπολογιστικούς σκοπούς με μεγάλο βαθμό επιτυχίας, και αυτό βέβαια λόγω της γλώσσας Prolog.

Βέβαια, η Κλασσική Λογική, και κατ’επέκταση ο λογικός προγραμματισμός, δεν καλύπτει τις ανάγκες αναπαράστασης της γνώσης.

Ομως αποτελεί ίσως την πιό κατάλληλη ‘θύρα’ γιά την ξενάγηση του αναγνώστη στον τεράστιο από πλευράς θεωριών και εφαρμογών κόσμο της Τεχνητής Νοημοσύνης.

Υπάρχουν δύο κύριοι τρόποι προσέγγισης του μαθηματικού περιεχομένου της λογικής :

• η θεωρία μοντέλου (model theory) και
• η θεωρία απόδειξης (proof theory).

Η θεωρία μοντέλου εξετάζει την σχέση μεταξύ λογικών προτάσεων αφού έχουν ερμηνευθεί, με την βοήθεια εξωτερικών στοιχείων, με την βοήθεια δηλαδή της απόδοσης τιμών αλήθειας.

Το λεξιλόγιο της βασικής θεωρίας μοντέλου περιλαμβάνει όρους όπως:

• αλήθεια (true),
• ψεύδος (false),
• ερμηνεία (interpretation),
• ικανοποίηση (satisfaction),
• μοντέλο (model),
• λογικό συμπέρασμα (logical consequence) ή σημασιολογική συνέπεια (semantic consequence).

Η θεωρία απόδειξης μελετά τις σχέσεις μεταξύ προτάσεων, όσον αφορά την δυνατότητα παραγωγής τους από άλλες προτάσεις, μέσω κανόνων που ενεργούν μόνο πάνω στη σύνταξη των προτάσεων αυτών.

Το λεξιλόγιο της θεωρίας απόδειξης χρησιμοποιεί όρους όπως:

• αξίωμα (axiom) ,
• κανόνας συμπερασμού (inference rule),
• θεώρημα (theorem) ,
• απόδειξη (proof),
• συνέπεια (consistency) και
• λογικό συμπέρασμα ή

συντακτική συνέπεια (syntactic consequence).

Και οι δύο προσεγγίσεις είναι σημαντικές για την κατανόηση του λογικού προγραμματισμού, και θα δούμε ότι στην κλασσική λογική υπάρχουν απλές αλλά ουσιώδεις σχέσεις μεταξύ τους.

Η πιο ισχυρή σχέση είναι ότι τα στοιχεία που θέλουμε να αληθεύουν θα πρέπει να συμπίπτουν με εκείνα που μπορούμε να αποδείξουμε, δηλαδή, οι απαντήσεις που υπονοούνται από ένα πρόγραμμα να συμπίπτουν με τις απαντήσεις που υπολογίζονται απ’ αυτό.

Εσωτερική Αρθρογραφία

• Προγραμματισμός
• Πληροφορική

Ιστογραφία

• Ομώνυμο άρθρο στην Βικιπαίδεια
• Ομώνυμο άρθρο στην Livepedia
• [ ]
• [ ]

Κίνδυνοι Χρήσης

Αν και θα βρείτε εξακριβωμένες πληροφορίες σε αυτήν την εγκυκλοπαίδεια ωστόσο, παρακαλούμε να λάβετε σοβαρά υπ' όψη ότι η "Sciencepedia" δεν μπορεί να εγγυηθεί, από καμιά άποψη, την εγκυρότητα των πληροφοριών που περιλαμβάνει. "Οι πληροφορίες αυτές μπορεί πρόσφατα να έχουν αλλοιωθεί, βανδαλισθεί ή μεταβληθεί από κάποιο άτομο, η άποψη του οποίου δεν συνάδει με το "επίπεδο γνώσης" του ιδιαίτερου γνωστικού τομέα που σας ενδιαφέρει." Πρέπει να λάβετε υπ' όψη ότι όλα τα άρθρα μπορεί να είναι ακριβή, γενικώς, και για μακρά χρονική περίοδο, αλλά να υποστούν κάποιο βανδαλισμό ή ακατάλληλη επεξεργασία, ελάχιστο χρονικό διάστημα, πριν τα δείτε. Επίσης, Οι διάφοροι "Εξωτερικοί Σύνδεσμοι (Links)" (όχι μόνον, της Sciencepedia αλλά και κάθε διαδικτυακού ιστότοπου (ή αλλιώς site)), αν και άκρως απαραίτητοι, είναι αδύνατον να ελεγχθούν (λόγω της ρευστής φύσης του Web), και επομένως είναι ενδεχόμενο να οδηγήσουν σε παραπλανητικό, κακόβουλο ή άσεμνο περιεχόμενο. Ο αναγνώστης πρέπει να είναι εξαιρετικά προσεκτικός όταν τους χρησιμοποιεί.

- Μην κάνετε χρήση του περιεχομένου της παρούσας εγκυκλοπαίδειας
αν διαφωνείτε με όσα αναγράφονται σε αυτήν

---

>>Διαμαρτυρία προς την wikia<<

- Όχι, στις διαφημίσεις που περιέχουν απαράδεκτο περιεχόμενο (άσεμνες εικόνες, ροζ αγγελίες κλπ.)

---