teadmussüsteem, mis tuletab järelduse etteantud protseduuri järgi mingile faktikogumile mingit tingimusreeglite kogumit rakendades