В [15] отмечается, что понятие вывода, так, как оно определено здесь, хотя и является обычным ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Горбатов В.А. Логическое управление информационными процессами


В [15] отмечается, что понятие вывода, так, как оно определено здесь, хотя и является обычным для формальных систем, не очень удобно, так как, во-первых, может существовать несколько выводов одной и той же ФЗ, отличающихся лишь порядком применения правил, во-вторых, вывод может содержать существенно избыточные применения правил.

(cкачать страницу)

Смотреть книгу на libgen

В [15] отмечается, что понятие вывода, так, как оно определено здесь, хотя и является обычным для формальных систем, не очень удобно, так как, во-первых, может существовать несколько выводов одной и той же ФЗ, отличающихся лишь порядком применения правил, во-вторых, вывод может содержать существенно избыточные применения правил.