Решатель
Решатель — система, способная благодаря встроенной в нее общей стратегии нахождения решения (например, путем поиска в пространстве альтернатив или путем логического вывода) находить решения задач.
Решатель — система, способная благодаря встроенной в нее общей стратегии нахождения решения (например, путем поиска в пространстве альтернатив или путем логического вывода) находить решения задач.
Резолюция — прием, используемый при дедуктивном выводе, заключающийся в нахождении двух дизъюнктов, один из которых содержит литеру, а другой — ее отрицание. На основании этого
Резольвента — образование дизъюнкта (ct — lt) V (dt — lt), где с и d — дизъюнкты, не имеющие общих переменных; l и l —
Рассуждение правдоподобное — рассуждение, которое опирается либо на знания, не имеющие абсолютно истинного характера, либо на приемы рассуждений, которые не являются абсолютно верными. Обычно результат
Рассуждение по умолчанию — один из видов правдоподобного рассуждения где результат получается не из явно присутствующих для этого посылок, а на основе «традиции», прошлого опыта,
Рассуждение по аналогии — перенос заключений, полученных на основе ряда посылок, на другую совокупность посылок, которая считывается по некоторому критерию аналогичной первой. В частном случае
Рассуждение здравого смысла — один из видов правдоподобного рассуждения опирающийся не на основания, верные в некоторой формальной системе а не соображения, апеллирующие к человеческому опыту,
Рассуждение герменевтическое — рассуждение, опирающееся на принятые в герменевтике схемы получения заключений, учитывающее строение текста, на основе которого делается вывод. Например, в фразе «Все моря
Рассуждение автоэпистимическое — вид немонотонного вывода когда выводимость утверждения зависит от контекста, в рамках которого оно существует. Примерами Р.А. могут служить многочисленные в человеческой практике
Расстояние семантическое — оценка «семантической» близости информационных единиц, хранящихся в памяти интеллектуальной системы или человека. Понятие «семантической» близости неоднозначно. Эксперименты с людьми показывают, что в