Conference paper

Methods for Decomposition of Conjunctive Formulas in Algebra of Finite Predicates

G. Chetverikov, I. Shubin, I. Sykal, I. Tabakova (Kharkiv National Univ. of Radio Electronics, Ukraine)

The development of conjunctive decomposition tools in algebra of finite predicates focused on building logical network models is the main topic of this article. The possibility of using such tools for the development of linguistic information processing systems determines the relevance of the chosen topic. The method of binary decomposition of functional predicates is founded, which differs from the general method of Cartesian decomposition in that the number of values of the auxiliary variable is minimized

Download one page abstract

Receipt of papers:

March 15th, 2023

Notification of acceptance:

April 30th, 2023

Registration opening:

May 15th, 2023

Final paper versions:

May 15th, 2023