Πώς να οικοδομήσουμε μια μηχανή Κανόνες

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

Ο καλύτερος τρόπος για να κατανοήσουμε πώς οι κανόνες λειτουργίας των μηχανών είναι να μάθουν τη γλώσσα του υπολογιστή Prolog . Η γλώσσα Prolog αποτελείται από μια μηχανή κανόνων και μια σειρά συμβάσεων σχετικά με το πώς να γράψει τους κανόνες . Μαθαίνοντας πώς λειτουργεί Prolog σας διδάσκει πώς λειτουργεί μια μηχανή κανόνων - και όλα τα θέματα που έρχονται με τους κανόνες μηχανές όπως υπαναχωρήσεις και πώς να εκπροσωπεί τα γεγονότα και τους κανόνες . Αφού οι κανόνες έχουν γραφτεί , Prolog δίνεται μια δήλωση που προσπαθεί να βρει στη βάση δεδομένων των γεγονότων . Αν δεν είναι ένα γεγονός , αλλά είναι το συμπέρασμα ενός κανόνα , οι πρόγονοι του κανόνα γίνονται οι νέες δηλώσεις αναζήτησης . Αναδρομή και υπαναχωρήσεις προχωρήσει έως ότου είτε οι κανόνες είναι ικανοποιημένοι ή δεν μπορεί να ικανοποιηθεί , και στη συνέχεια το σύστημα Prolog προφέρει την αρχική πρόταση αληθής , ψευδής ή undecidable .
Εικόνων Αρχιτεκτονική πρόγραμμα
Η

Αν η επιτροπή έργου το επιτρέπει, θα πρέπει να γράψετε τους κανόνες του κινητήρα σας σε Prolog . Αν όχι , κατά πάσα πιθανότητα θα μοιάζουν με Prolog - όλοι οι κανόνες κινητήρες κάνουν . Στο πρώτο μέρος του έργου , γράψτε τα γεγονότα . Αυτό το μέρος είναι σαν μια βάση δεδομένων . Στη συνέχεια γράφουν τους κανόνες - οι κανόνες θα πρέπει να ομαδοποιούνται ανάλογα με το συμπέρασμα. Αν το " Α και Β συνεπάγεται X " και " C και D συνεπάγεται Χ" , καθώς και , στη συνέχεια, αυτοί οι δύο κανόνες σχετικά με το X και θα πρέπει να ομαδοποιούνται. Χ ορίζεται ή περιγράφονται στα σημεία Α και Β, καθώς και από την Γ και Δ. Η μηχανή κανόνων θα εξετάσουμε πρώτα στη βάση δεδομένων για να δούμε αν το αίτημα συμφωνεί με μία καταχώρηση στη βάση δεδομένων . Αν ναι , το σύστημα απαντά « Ναι». Διαφορετικά, η μηχανή κανόνων εξετάζει τα συμπεράσματα σε όλους τους κανόνες - αν δεν υπάρχει αντιστοιχία , το σύστημα απαντά « Όχι» Εάν η δήλωση ταιριάζει X , δύο διαδρομές θα εξεταστούν : Α και Β , και Γ και Δ. Αν επιδίωξη Α και Β δεν οδηγεί πουθενά , το σύστημα « υπαναχωρεί » και θεωρεί C και D. Χρησιμοποιώντας Prolog κάνει αυτό το εύκολο , γιατί η μηχανή κανόνων είναι χτισμένο στη γλώσσα .

Η Testing System
Η

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