Journal "Software Engineering"
a journal on theoretical and applied science and technology
ISSN 2220-3397

Issue N3 2017 year

DOI: 10.17587/prin.8.140-144
Contrapositive Inference Rule Application in Solving of Production-Logical Equations on Boolean Lattice
I. Yu. Ivanov, hour1scorp@gmail.com, Voronezh State University, Voronezh, 394018, Russian Federation
Corresponding author: Ivanov Ilya Yu., Postgraduate Student, Voronezh State University, Voronezh, 394018, Russian Federation, E-mail: hour1scorp@gmail.com
Received on December 03, 2016
Accepted on December 20, 2016

An algebraic approach to zero-order production logic interpretation is based on modelling inference process by finding connections between mathematical lattices elements (LP-inference). An algebraic structure arising in this approach is an LP-structure — boolean lattice with additional binary relation defined over it. An additional relation is built using recursive rules that reflect natural rules of logical inference. Authors previous works advance this approach by introducing the concept of production-logical equations on boolean lattice and proposing the method for solving such equations which corresponds to inference in zero-order logic. This method ignores the usage of contrapositive inference rule that is natural for zero-order logic as the other inference rules defined in LP-structures theory. This paper provides additional research on inference process bringing the ability to use the contrapositive rule to the concept of production-logical equations on boolean lattice. The theorem proved allows applying the previously obtained results regarding production-logical equations on boolean lattice without amendments by simply replacing an initial relation over lattice with its contrapositive closure. It is also shown that such a replacement does not affect an initial set of lattice. The practical significance of the provided study is connected with applying production-logical equations for building production systems that use logical connections of zero-order propositional language in its rules. Adding contrapositive rule to the process of inference will allow one to reduce the number of queries to the external source of information by exhaustive usage of knowledge from an initial set of rules.

Keywords: zero-order logic, LP-structure, LP-inference, boolean lattice, inference rules, logical relation, initial set of lattice, production-logical equation
pp. 140–144
For citation:
Ivanov I. Yu. Contrapositive Inference Rule Application in Solving of Production-Logical Equations on Boolean Lattice, Programmnaya Ingeneria, 2017, vol. 8, no. 3, pp. 140—144.

This work has been supported by grant 15-07-05341 from the Russian Foundation for Basic Research.