Тема: Логический анализ E-структур с помощью графов

Из предыдущих разделов мы уже знаем, что для систем логического анализа на основе E - структур предусмотрены два правила вывода – транзитивности и контрапозиции, с помощью которых формируется CT-замыкание структуры .

...существует единственное отрицание, которое выражается с помощью приписывания логической связки «не» перед формулой. Например, если исходная формула...
Необходимо отметить, что анализ рассуждений на основе E - структур характеризуется намного более...

Далее мы рассмотрим две теоремы, связанные с конусами. C помощью первой теоремы можно вычислить верхние и нижние конусы не для отдельных элементов...
Для анализа E - структур очень важными являются еще два понятия - минимальные и максимальные элементы.

...если мы представим эти суждения в обозначениях E ‑ структур , т.е. как W®(A, B) и W®(A,). Результат окажется тем же самым: в следствиях появится та же...
Нужно, используя только логический анализ , определить, солгал ли Эпименид или сказал истину.

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

Свою задачу они видели в том, чтобы создать новый искусственный язык, с помощью которого можно...
...Романов Л.Н. Алгебраический подход к моделированию и анализу естественных рассуждений на основе E - структур // Интеллектуальное управление: новые...