- Логический вывод
-
Вывод — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям.
Правила преобразования исходной системы предпосылок в систему заключений называются правилами вывода или правилами проведения умозаключений. Если вид посылок и заключений указан явно, то вывод называется прямым. Если в посылках и заключении указаны лишь виды выводов, от одного из которых разрешается переходить к другому, то вывод называют косвенным.
Понятие вывода используется во многих формальных системах: в логике, математике, информатике, логическом программировании и др. В математической логике правила логического вывода задаются в исчисленн высказываний либо исчислении предикатов.
В информатике вывод умозаключений проводится с использованием правил, принципов и законов логического вывода на основе заданных фактов и правил с использованием методов и средств логического программирования.
В информатике для описания фактов и правил логического вывода, а также баз знаний и моделей экспертных систем широко используется язык логического программировании Пролог.
Умозаключения (отдельные шаги вывода) разделяют:
1)по направлению логического следования на- дедуктивные (от общего к частному)
- индуктивные (от частного к общему)
- трансдуктивные (от общего к общему)
2)по достоверности вывода на
- достоверные
- правдоподобные
3)по числу посылок
- непосредственные
- опосредственные
Wikimedia Foundation. 2010.