Motor za zaključivanje je modul ili program dizajniran za prikupljanje informacija iz baze podataka. Zatim uzima te informacije i primjenjuje različita pravila ili pronalazi uzorke, a zatim izvršava akciju na temelju rezultata.
Uvjeti umjetne inteligencije, izrazi baze podataka, neizrazita logika