inference machine

Машина логічного виводіння (механізм експертної системи)