U
SYLL
Калькулятор силлогизмов
Калькулятор силлогизмов Основные понятия Видео Литература История вопроса Вопросы и ответы
{{ t('Расчет силлогизмов в программных системах искуственного интеллекта') }} {{ t('(SYLL v.1.1 - Демонстрационная)') }} ?

{{ t('Стандартный порядок расчётов в SYLL') }}

{{ t('Подробное описание порядка проведения расчётов') }}

{{ t('В программе Syll (v.1.0 – демонстрационная 2019-2020 гг.) вместо традиционных 18-40 («классических») силлогизмов Вы получите правильный, логически и формульно обоснованный вывод для любого набора 2-ух исходных суждений. Расчёт основан на конструктах универсумной (U) логики и предназначен для демонстрации полного соответствия суждений силлогизмов всем нормам формальной логики (включая алгебру Буля), что открывает реальную возможность создания программно-диалоговых систем искусcтвенного интеллекта.') }}

Для получения точного формального вывода (суждения 3)

Шаг 1. Введите три исходных понятия силлогизма в окнах X, Y и Z (по умолчанию стоят слова «Сократ», «Смертность» и «Человек\Люди») для получения шаблона силлогизма. Количество символов не ограничено;

Шаг 2. Определите порядок и тип первого суждения, а также порядок и тип второго суждения, результат сразу же отображается в схеме силлогизма и выводе

Шаг 3. Проверьте в окне «Схема силлогизма» соответствие введённой информации (X, Y, Z) общей схеме расчёта. Для изменения порядка переменных в логическом выводе (Суждении 3) используйте флажок «Изменить порядок вывода на X-Y»

Шаг 4. В окне «третье суждение (вывод)» проверьте полученный логический вывод – Суждение 3

1 {{ t('Введите три исходных термина силлогизма:') }}
X:
Y:
Z:
2 {{ t('Определите порядок и тип первого суждения:') }}
{{ t('Порядок:') }}
{{ t('Тип:') }}
3 {{ t('Определите порядок и тип второго суждения:') }}
{{ t('Порядок:') }}
{{ t('Тип:') }}
4 {{ t('Результат:') }}
{{ t('Первое суждение:') }} {{ getSentence(statement1type, statement1order) }}
{{ t('Второе суждение:') }} {{ getSentence(statement2type, statement2order) }}
{{ t('Третье суждение (вывод):') }} {{ getSentence(conclusionType, conclusionOrder) }}
{{ t('Изменить порядок вывода на') }}
{{ t('Схема силлогизма:') }}
{{ t('Схема силлогизма:') }}
1: {{getPattern(statement1type, statement1order)}} ({{ getStatementNumber(statement1type, statement1order) }}, {{ getStatementLabel(statement1type, statement1order) }}, {{ getStatementFormula(statement1type, statement1order) }})
2: {{getPattern(statement2type, statement2order)}} ({{ getStatementNumber(statement2type, statement2order) }}, {{ getStatementLabel(statement2type, statement2order) }}, {{ getStatementFormula(statement2type, statement2order) }})
3: {{getPattern(conclusionType, conclusionOrder)}} ({{ conclusionType }}, {{ getStatementLabel(conclusionType, conclusionOrder) }}, {{ getStatementFormula(conclusionType, conclusionOrder) }})