стратегия вывода Общий способ применения правил и фактов при выводе.
English-Russian Computer dictionary
inference net
сеть вывода Множество всех возможных цепочек вывода
English-Russian Computer dictionary
inference rule
правило вывода
English-Russian Computer dictionary
logical inferences per second
число логических выводов в секунду, количество логических выводов в секунду Единица измерения скорости редукционных машин и машин с аппаратной поддержкой языков логического программирования