Справочник от Автор24
Найди эксперта для помощи в учебе
Найти эксперта
+2

Вывод логический

Предмет Логика
👍 Проверено Автор24

рассуждение, в ходе которого из каких-либо исходных суждений – посылок с помощью логических правил получают заключение – новое суждение.

Научные статьи на тему «Вывод логический»

Искусственный интеллект и логическое программирование

методик решения проблемы, в которых применяются способы логического вывода, позволяющие манипулировать...
специализированных классов логических формул и специальных методик логического вывода....
Система Пролог при помощи имеющегося у неё механизма логического вывода самостоятельно определяет нужное...
Основой логического вывода является математическое понятие формальной системы....
Формирование дерева логического вывода заключается в обнаружении связанных взаимно цепочек утверждений

Статья от экспертов

Модель логического вывода

В данной работе рассматривается модель логического вывода в виде двудольного графа, где один тип вершин соответствует предикатным буквам, а другой, разбитый на два подтипа, дизъюнктам и благоприятным наборам, соответственно. Предложенная модель 21 может использоваться для логического вывода в исчислении предикатов в соответствии с реализованными методами, например Робинсона и Маслова.

Научный журнал

Секвенции

выводится дизъюнкция формул, образующих сукцедент....
Существует два типа правил выводалогические и структурные....
– чтобы вводить логический знак в сукцедент....
входящих в посылки) путем введения логического знака....
В исчислении секвенций вывод принимает форму дерева секвенций.

Статья от экспертов

Ускоритель нечеткого логического вывода

Научный журнал

Еще термины по предмету «Логика»

Понятие «Подмена понятия»

логическая ошибка, состоящая в том, что в ходе доказательства или опровержения выдвинутый тезис умышленно или неосознанно подменяется другим.

🌟 Рекомендуем тебе

Безусловный

не нуждающийся ни в каких обоснованиях.

🌟 Рекомендуем тебе

Решетка

это упорядоченное множество М, взятое с двумя бинарными операциями: объединением и пересечением.

🌟 Рекомендуем тебе
Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

  1. Напиши термин
  2. Выбери определение из предложенных или загрузи свое
  3. Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
Все самое важное и интересное в Telegram

Все сервисы Справочника в твоем телефоне! Просто напиши Боту, что ты ищешь и он быстро найдет нужную статью, лекцию или пособие для тебя!

Перейти в Telegram Bot