Геометрическая интерпретация пропозициональных формул
Ключевые слова:
пропозициональные формулы, логический анализ, логические аксиомы, инструментальные средства, искусственный интеллект, визуализация информацииАннотация
Излагается метод логического анализа, основывающийся на геометрической интерпретации пропозициональных формул. Логическая формула представляется в виде единичного гиперкуба в ортогональном базисе с размерностью, равной местности формулы. Показывается, что анализ сечений куба по простым визуальным критериям позволяет достоверно выделять логические аксиомы. Обсуждается возможность построения в вычислительной среде инструментальных средств для выполнения истинностных оценок формул по зрительным критериям.
Библиографические ссылки
- 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.