Геометрическая интерпретация пропозициональных формул

Авторы

  • В.В. Суворов Московский государственный университет имени М.В. Ломоносова

Ключевые слова:

пропозициональные формулы, логический анализ, логические аксиомы, инструментальные средства, искусственный интеллект, визуализация информации

Аннотация

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

Автор

В.В. Суворов

Библиографические ссылки

  1. Slaney J. More proofs of an axiom of Lukasiewicz // J. of Automated Reasoning. 2002. 29. 59-66.

Загрузки

Опубликован

12-12-2003

Как цитировать

Суворов В. Геометрическая интерпретация пропозициональных формул // Вычислительные методы и программирование. 2003. 4. 28-33

Выпуск

Раздел

Раздел 3.