Τύποι Horn ρήτρες σε Prolog

Prolog ( Προγραμματισμός σε Logic) αναπτύχθηκε στη Γαλλία για τη δημιουργία φυσικών μεταφραστές . Τελειοποιήθηκε στη Σκωτία για το γράψιμο αυτόματη provers θεώρημα για τα μαθηματικά και τη λογική . Ήρθε στη διεθνή προσοχή όταν επιλέχθηκε για την ιαπωνική « πέμπτης γενιάς » του έργου. Προγράμματα Prolog αποτελείται από ένα προσεκτικά ταξινομημένη λίστα των κανόνων (γραμμένο ως ρήτρες κόρνο) . Ο χρήστης κάνει μια ερώτηση και τις απαντήσεις του προγράμματος - από την άποψη των κανόνων . Είναι ένα εξαιρετικά χρήσιμο παράδειγμα. Τα τυπικά Horn ρήτρες
Η

Horn ρήτρες εφευρέθηκαν το 1951 από τον Αμερικανό μαθηματικό Alfred Horn . Με τα λόγια του , μια ρήτρα κέρατο είναι «μια διάζευξη λεκτικών που έχουν το πολύ ένα θετικό κυριολεκτική . " Μια τυπική ρήτρα κέρατο μοιάζει με αυτό : " . Αρνητικό" ( όχι Α ) ή ( όχι Β) ή C. Το θετικό είναι κυριολεκτική C , αμφότερα τα Α και Β είναι Αν η ρήτρα κέρατο έχει ακριβώς ένα θετικό κυριολεκτική - όπως κάνουν οι ρήτρες κέρατο Prolog - αυτό ονομάζεται ρήτρα οριστική κέρατο . Οι ρήτρες Horn συνήθως γραμμένο σε μια απλοποιημένη , αλλά ισοδύναμη μορφή . Η διαζευκτική δήλωση ( όχι Α ) ή ( όχι Β) ή C είναι λογικά ισοδύναμη με τη δήλωση ( Α και Β) συνεπάγεται C. Αυτό είναι απλοποιημένη : A , B - : C ( στην οποία η " - : " αντιπροσωπεύει η επίπτωση βέλος) . Η απλούστερη ρήτρα κέρατο είναι μια μοναδική θετική γραμματική ( στα οποία δεν υπάρχει βέλος) - . Αυτό είναι το ίδιο και για τις δύο ρήτρες κόρνο και Prolog
η Prolog ρήτρες Horn
Η <κανόνες p> Prolog μοιάζουν ρήτρες κέρατο , εκτός από το βέλος τον άλλο τρόπο . Ο κανόνας γραμματικής που μια πρόταση αποτελείται από μια ονοματική φράση και η φράση ρήματος είναι γραμμένο S : - NP , VP . Το σύνολο των κανόνων που θα μπορούσαν επίσης να περιέχει τη ρήση ότι μια ονοματική φράση αποτελείται από ένα άρθρο και ένα ουσιαστικό , γραμμένο NP : - Α , N. Εάν υπάρχει ένα άλλο κανόνα που ορίζει ότι μια ονοματική φράση είναι ένα ουσιαστικό στον πληθυντικό , θα μπορούσε να γραφτεί NP : - PN . Όταν όλοι οι κανόνες έχουν τεθεί σε εφαρμογή , ο χρήστης μπορεί να υποβάλει μια «ποινή» για το πρόγραμμα και το πρόγραμμα θα προσπαθήσει να ταιριάξει την «ποινή» για τους κανόνες . Prolog λειτουργεί προς τα πίσω μέσα από τους κανόνες - αν το θέμα ταιριάζει με το συμπέρασμα (θετική κυριολεκτικά) ενός κανόνα , οι πρόγονοι ( αρνητική literals ) γίνονται τα νέα ερωτήματα . Εάν όλες οι ερωτήσεις ταιριάζουν τελικά με τα γεγονότα , η «ποινή » είναι μια έγκυρη πρόταση. Αυτή η διαδικασία αντιστοίχισης έργα για τα μαθηματικά , τη λογική και άλλα συστήματα που βασίζεται σε κανόνες , καθώς λειτουργεί για τη γραμματική .

Η Η ρήτρα Cut
Η

Υπάρχουν τρεις τύποι ρητρών κέρατο που χρησιμοποιούνται στην Prolog : ο ( κανένα βέλος ) δήλωση του γεγονότος , ο κανόνας ( με ένα βέλος , ένα θετικό γραμματική και τουλάχιστον ένα αρνητικό κυριολεκτικά) και η περικοπή . Ρήτρες Cut περιέχουν το " ! " σύμβολο. Όταν ο διερμηνέας της Prolog βλέπει το σύμβολο cut ( προφέρεται " bang" ) , διαγράφει τα υπόλοιπα κανόνες που έχουν την ίδια θετική κυριολεκτική του κανόνα που περιέχει το κτύπημα . Αυτό μπορεί να έχει διάφορες συνέπειες στα προγράμματα - μπορεί να αντιπροσωπεύουν ορισμένα αρνητικά αποτελέσματα , μπορεί να αποφευχθεί ή να ασχοληθεί ομαλά με αποτυχίες , ή απλά μπορεί να εξαλείψει μέρος του χώρου αναζήτησης και να επιταχύνει το πρόγραμμα
Η

Η