Вывод (рассуждение): различия между версиями

В информатике для описания фактов и правил логического вывода, а также [[база знаний|баз знаний]] и моделей [[экспертная система|экспертных систем]] широко используется язык логического программировании [[Пролог]].

 

* [[Дедуктивное умозаключение|дедуктивные]] (от общего к частному)

* [[Индуктивное умозаключение|индуктивные]] (от частного к общему)

* [[Трансдуктивное умозаключение|трансдуктивные]] (от общего к общему)

 

[[Категория:Логика]]