Геометрическая интерпретация пропозициональных формул
Ключевые слова:
пропозициональные формулы
логический анализ
логические аксиомы
инструментальные средства
искусственный интеллект
визуализация информации
Аннотация
Излагается метод логического анализа, основывающийся на геометрической интерпретации пропозициональных формул. Логическая формула представляется в виде единичного гиперкуба в ортогональном базисе с размерностью, равной местности формулы. Показывается, что анализ сечений куба по простым визуальным критериям позволяет достоверно выделять логические аксиомы. Обсуждается возможность построения в вычислительной среде инструментальных средств для выполнения истинностных оценок формул по зрительным критериям.
Библиографические ссылки
- Slaney J. More proofs of an axiom of Lukasiewicz // J. of Automated Reasoning. 2002. 29. 59-66.
