правдоподобные рассуждения
1ПРАВДОПОДОБНЫЕ РАССУЖДЕНИЯ — ПРАВДОПОДОБНЫЕ РАССУЖДЕНИЯ рассуждения, применяемые правила вывода, в которых не гарантируют истинности заключения при условии истинности посылок. Примером правдоподобного вывода является вывод высказывания А из посылок “если А, то В” и “В”.… …
2ПРАВДОПОДОБНЫЕ РАССУЖДЕНИЯ — получивший распространение в настоящее время термин для охвата всех рассуждений недедуктивного характера. В П. р. истинность посылок не гарантирует истинности заключения (как в дедуктивных рассуждениях), а обеспечивает лишь большую степень его… …
3когнитивные рассуждения — КОГНИТИВНЫЕ РАССУЖДЕНИЯ (от лат. cognitio знание, познание) правдоподобные рассуждения, посредством которых из фактов и имеющихся знаний выводится новое знание. Общей характеристикой К. р. является их недедуктивный характер: из истинности …
4Финн, Виктор Константинович — (р. 15.07.1933) спец. в обл. логики, искусственного интеллекта; д р техн. наук, проф. Род. в Москве. Окончил филос. (1957) и механико матем. (1966) ф ты МГУ. С 1957 работал в Отделе матем. логики Лаборатории электромоделирования АН СССР; в 1959… …
5ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… …
6Доказательство одноцветности всех лошадей — Доказательство одноцветности всех лошадей  ошибочное доказательство того, что все лошади одного цвета, придуманное венгерским математиком Пойа[1]. Доказательство призвано продемонстрировать ошибки, возникающие при неправильном использовании… …
7ЭВРИСТИКА — (от греч. heurisko отыскиваю, открываю) совокупность приемов и методов, облегчающих и упрощающих решение познавательных, конструктивных, практических задач. Э. называют также специальную научную область, изучающую специфику творческой… …
8ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… …
9Финн, Виктор Константинович — Виктор Константинович Финн Дата рождения: 15 июля 1933(1933 07 15) (79 лет) Место рождения: Москва, СССР Научная сфера: Искусственный интеллект, многозначные логики Место рабо …
10Финн Виктор Константинович — Виктор Константинович Финн Дата рождения: 9 сентября 1933 года Место рождения: Москва Научная сфера: Искусственный интеллект, многозначные логики Место работы: ВИНИТИ РАН Альма матер: механико математический факультет МГУ Финн Виктор… …
