FINITE PREDICATES WITH APPLICATIONS IN PATTERN RECOGNITION PROBLEMS

• Authors: Zakrevskij Arkady D.
• Languages of publication: EN

Abstracts

EN

We extend the theory of Boolean functions, especially in respect to representing these functions in the disjunctive or conjunctive normal forms, onto the case of finite predicates. So, we show that it is useful to apply the language of Boolean vectors and matrices, developing efficient methods for calculation over finite predicates. This means that finite predicates should be decomposed into some binary units, which will correspond to components of Boolean vectors and matrices and should be represented as combinations of these units. Further, we define probabilities in data bases using Boolean matrices representing finite predicates. We also show that it is natural to try and present knowledge in the most compact form, which allows reducing the time of inference, by which the recognition problems are solved.

Keywords

EN

FINITE PREDICATES; RECOGNITION PROBLEMS; THEORY OF BOOLEAN FUNCTIONS

Discipline

• LIBRARY_&_INFORMATION_SCIENCE: LIBRARY & INFORMATION SCIENCE

• Publisher: Sciendo
• Journal: Studies in Logic, Grammar and Rhetoric
• Year: 2008
• Issue: 14(27)
• Pages: 171-182
• Document type: ARTICLE

Contributors

author

Zakrevskij Arkady D.

• Arkady D. Zakrevskij, Corresponding Member of the National Academy of Sciences of Belarus, United Institute of Informatics Problems, National Academy of Sciences of Belarus, Minsk, Belarus

Identifiers

CEJSH db identifier

11PLAAAA101417