Geometric interpretation of propositional formulas
Keywords:
пропозициональные формулы, логический анализ, логические аксиомы, инструментальные средства, искусственный интеллект, визуализация информацииAbstract
We consider a method for logical analysis based on geometric interpretation of propositional formulas. A logical formula is represented as a unit hypercube in an orthogonal basis of dimension equal to the locality of the formula. It is shown that the analysis of cube intersections in accordance with simple visual criteria allows one to formulate logical axioms. The possibility to construct programming tools for estimating the truth of formulas according to visual perceptions is discussed.
References
- Slaney J. More proofs of an axiom of Lukasiewicz // J. of Automated Reasoning. 2002. 29. 59-66.
Downloads
Published
12-12-2003
How to Cite
Суворов В. Geometric Interpretation of Propositional Formulas // Numerical Methods and Programming (Vychislitel’nye Metody i Programmirovanie). 2003. 4. 28-33
Issue
Section
Section 3.