ekspertowy rozwiązywania problemów w dowolnych dziedzinach jest oparty na regułach mających zasadniczą formę: jeżeli [przesłanki, spełnienie warunku], to [wnioski]. Mechanizm wnioskowania składa się z "tłumacza", który po podaniu poszczególnego zestawu cech problemu, określa reguły i stosuje je w jakimś szczególnym porządku, aż do otrzymania konkluzji o rozpatrywanym przypadku. Dedukcja na bazie reguł może być wykonana w różny sposób i reguły mogą być wzajemnie zmieniane dla przeprowadzenia wielostopniowych procedur dedukcji. W wielu systemach, podczas rozwiązywania problemu do reguł można dołączyć "współczynniki pewności". Przykładem tego typu systemów mogą być programy ekspertowe MYCIN i PROSPECTOR oraz PROLOG, które opierają się na dedukcji w zakresie