Η ασαφής λογική είναι ένας τύπος μαθηματικών και προγραμματισμού που αναπαριστά με μεγαλύτερη ακρίβεια πώς ο ανθρώπινος εγκέφαλος κατηγοριοποιεί αντικείμενα, αξιολογεί τις συνθήκες και επεξεργάζεται αποφάσεις. Στο παραδοσιακό λογικό σύστημα, ένα στοιχείο που ανήκει αυστηρά ή δεν ανήκει σε μια ομάδα ονομάζεται σύνολο. Για παράδειγμα, ένα ζώο είτε είναι σκύλος είτε δεν είναι. Η ασαφής λογική επιτρέπει σε ένα αντικείμενο να ανήκει σε ένα σύνολο σε έναν ορισμένο βαθμό ή με μια συγκεκριμένη σιγουριά. Οι εφαρμογές της ασαφούς λογικής στα σύγχρονα συστήματα υπολογιστών είναι πάρα πολλές για να αναφερθούν, αλλά ελέγχουν πράγματα όπως τα μείγματα θέρμανσης και τα εξαρτήματα εργαλείων.
Ο κόσμος είναι απίστευτα περίπλοκος, τόσο σε πλάτος όσο και σε βάθος. Κατά κάποιο τρόπο, είναι δύσκολο να τηρήσουμε τους λογικούς περιορισμούς της παραδοσιακής θεωρίας συνόλων όταν περιγράφουμε πόσο απλές, καθημερινές αποφάσεις, όπως το μαγείρεμα ενός ψητού ή η οδήγηση με κίνηση, λαμβάνονται. Ωστόσο, οι υπολογιστές αναμένεται να λαμβάνουν αυτές τις αποφάσεις απλοποιώντας ή καταρρέοντας την πολυπλοκότητα και μη λαμβάνοντας υπόψη την αβεβαιότητα. Η ασαφής λογική επινοήθηκε και επινοήθηκε από τον Δρ. Lotfi Zadeh στο UC Berkeley το 1965, όταν σκεφτόταν τα μαθηματικά, τη γλωσσολογία και την κοινή λογική.
Για να κατανοήσετε πώς η ασαφής λογική δεν είναι ένα ασαφές, δοκιμαστικό σύστημα, αλλά μπορεί να χρησιμοποιηθεί πολύ πρακτικά για να διδάξει στους υπολογιστές πώς να λαμβάνουν αποφάσεις, ένα παράδειγμα μπορεί να είναι χρήσιμο. Ξεκινώντας με τον κανόνα, «Δεν υπάρχουν σκυλιά στο σπίτι», λογικά αυτό σημαίνει ότι ΑΝ το αντικείμενο είναι σκύλος, ΤΟΤΕ δεν πρέπει να είναι στο σπίτι. Κατά κάποιο τρόπο, μπορεί να συναχθεί ότι ένα λούτρινο ζώο που μοιάζει με Δαλματία θα επιτρέπεται να μπει, αλλά ένα πραγματικό ζωντανό Δαλματικό όχι. Ωστόσο, ενδέχεται να παραμείνουν ορισμένα ερωτήματα, όπως εάν επιτρέπονται σκυλιά με όραμα ή εάν επιτρέπονται μέσα σε ζώα που είναι μισοί γεροδεμένοι και μισοί λύκοι.
Η ασαφής λογική επιτρέπει αυτά τα ενδιάμεσα όταν πρόκειται για την ικανοποίηση των απαιτήσεων και την προετοιμασία των συνεπειών. Αντί ένα ζώο να ανήκει απόλυτα στο σύνολο των σκύλων, μπορεί να ανήκει σε κάποιο βαθμό. Ένα γκόλντεν ριτρίβερ μπορεί να έχει σχετική τιμή 1.0, όσο το δυνατόν πιο κοντά στον «εντελώς» σκύλο, ενώ ένα Τσιουάουα μπορεί να έχει 0.8, λόγω του μεγέθους του. Ένας σκύλος που βλέπει τα μάτια μπορεί να έχει τιμή μόνο 0.4, καθώς συχνά επιτρέπεται όπου δεν επιτρέπονται άλλα σκυλιά.
Αυτό το ευέλικτο σύστημα λύνει προβλήματα και ελέγχει μηχανές που ένα απλοϊκό σύστημα λογικής δεν θα μπορούσε. Η έξοδος ή η απόφαση είναι πάντα σαφής και όχι ασαφής. Με άλλα λόγια, η έξοδος είναι πάντα “τραγανή”. Τελικά, ο σκύλος είναι είτε μέσα στο σπίτι είτε έξω στη βεράντα — δεν είναι ποτέ στα μισά του δρόμου. Γι’ αυτό το «θολό» δεν σημαίνει αβέβαιο ή άγνωστο.