Некоторые понятия, связанные с ЭС и ИИ
Индукция процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не строго через законы логики, а скорее через некоторые фактические, психологические или математические представления. Различают полную индукцию — метод доказательства, при котором утверждение доказывается для конечного числа частных случаев, исчерпывающих все возможности, и неполную индукцию — наблюдения за отдельными частными случаями наводят на гипотезу, которая, конечно, нуждается в доказательстве. Схема полной индукции: Множество А состоит из элементов: А1, А2, А3, …, Аn. А1 имеет признак В А2 имеет признак В Все элементы от А3 до Аn также имеют признак В Следовательно, все элементы множества А имеют признак В. Схема неполной индукции: Множество А состоит из элементов: А1, А2, А3, …, Аn. А1 имеет признак В А2 имеет признак В Все элементы от А3 до Аk также имеют признак B Следовательно, вероятно, Аk+1 и остальные элементы множества А имеют признак В. Пример ошибочного результата: В Аргентине, Венесуэле и Эквадоре говорят на испанском языке. Аргентина, Венесуэла и Эквадор — латиноамериканские страны. Следовательно, в каждой латиноамериканской стране говорят на испанском языке.