Αλγόριθμοι Εξαγωγής Συμπερασμάτων (Inference Engine)
Τρόποι Ανθρώπινης Σκέψης Λογικός Εμπειρικός Κοινή Λογική Διάσπαση σύνθετων προβλημάτων σε μικρότερα Παράλληλη επεξεργασία Αναλογικά Τυχαία
Reasoning με Κανόνες (Rules) Firing a rule Pattern Matching
Reasoning με Κανόνες (Rules) Backward Chaining Forward Chaining
Reasoning με Κανόνες (Rules) Backward Chaining Θέλω να πάω ένα ταξίδι στο Τόκιο, αεροπορικώς. Πως θα βρω ποιες πτήσεις πάνε από την Αθήνα;
Reasoning με Κανόνες (Rules) Backward Chaining Ξεκινάω από όλες τις πτήσεις που φθάνουν στο Τόκιο και μετά ψάχνω προς τα πίσω (backwards) έως ότου βρω πτήση που έχει αφετηρία την Αθήνα.
Reasoning με Κανόνες (Rules) Forward Chaining Στο ίδιο πρόβλημα, ψάχνω όλες τις πτήσεις που φεύγουν από την Αθήνα και πηγαίνω προς τα εμπρός έως ότου βρω το Τόκιο.
Παράδειγμα: Μεταβλητές Α: Έχει κάποιος 10000 ευρώ. Β: Έχει ηλικία μικρότερη των 30 ετών. Γ: Έχει Πτυχίο Πανεπιστημίου. Δ: Ετήσιο Εισόδημα τουλάχιστον 40000 ευρώ. Ε: Επένδυση σε ομόλογα. Z: Επένδυση σε μετοχές. Η: Επένδυση σε μετοχές της IBM.
Παράδειγμα: Δεδομένα Γεγονότα στην Blackboard Memory. Έχει 10000 ευρώ (Α είναι true). Είναι 25 ετών (Β είναι true).
Παράδειγμα : Κανόνες R1 If A, and Γ then Ε R2 If Δ, and Γ then Ζ R4 If Β, then Γ R5 If Ζ then Η
Επίλυση με Backward
Ξεκινώ από τον τελικό στόχο… Η Θέλω να επιτύχω το Η. Άρα ελεγχω εάν έχει καταχωρηθεί στην blackboard ως γεγονός. Δεν είναι άρα, ψάχνω κανόνα με then μέρος που να περιέχει το Η. Αυτός είναι ο R5. Το Ζ δεν είναι αληθές (προς το παρόν) άρα προσπαθώ να βρω εάν είναι. πηγαίνοντας προς τα πίσω μέχρις ότου αποφανθώ για το Ζ.
… η συνέχεια στον πίνακα!!!!
Επίλυση με Forward
Ξεκινώ από τον τελικό στόχο… Η Θέλω να επιτύχω το Η. Άρα ελεγχω εάν έχει καταχωρηθεί στην blackboard ως γεγονός. Δεν είναι άρα, ψάχνω ξεκινώντας από τα γεγονότα δηλαδή τα δεδομένα μου στην blackboard. πηγαίνοντας προς τα εμπρός μέχρις ότου αποφανθώ για το Ζ.
… η συνέχεια στον πίνακα!!!!
Ανάπτυξη Δένδρου όλων των δυνατών καταστάσεων Αλγόριθμοι επεξεργασίας του δένδρου: Depth First Breadth First
Root