Artificial reasoning in relative dilemmatic logic

In this paper principles of relative dilemmatic logic as a modification of conventional relative logic are formulated and based on them methods of logical reasoning are presented and illustrated by examples. It is shown that dilemmatic logic makes possible not only to relatively evaluate logical values of statements without using any numerical parameters but also it makes possible to eliminate from logical inference process premises and inductions whose relative value is lower than this of their negations. Graphical representation of logical inference processes by bi-partite and tri-partite graphs is proposed and the role of graph theory methods in solution of the logical inference tasks based on relative dilemmatic logic is indicated.