Inferenzprozessor(проблемно-независимый компонент логической системы, оперирующий с базой знаний и формирующий логические выводы в соответствии с определённым алгоритмом правил вывода; программа (программы) подсистемы логического вывода)
Inferenzmaschine(проблемно-независимый компонент логической системы, оперирующий с базой знаний и формирующий логические выводы в соответствии с определённым алгоритмом правил вывода; программа (программы) подсистемы логического вывода)