Geometric interpretation of propositional formulas

Authors

  • V.V. Suvorov Lomonosov Moscow State University

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.

Author Biography

V.V. Suvorov

References

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

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.