Вывод (рассуждение): различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки |
Нет описания правки |
||
Строка 11:
В информатике вывод умозаключений проводится с использованием правил, принципов и законов логического вывода на основе заданных фактов и правил с использованием методов и средств логического программирования.
В информатике для описания фактов и правил логического вывода, а также [[база знаний|баз знаний]] и моделей [[экспертная система|экспертных систем]] широко используется язык логического
Умозаключения (отдельные шаги вывода) разделяют: <br />
| |||