A Logic-Algebraic Method for Pattern Recognition 

DSC_0030web.jpgAnton Trukhachov is a graduate of the Kharkiv National University of Radioelectronics (KNURE), Ukraine and has recently passed his MPhil viva at WIT with a thesis on ‘A logic-algebraic method for pattern recognition’. The external examiner was Dr Brendan D’Cruz from the University of East London and the internal examiner was Dr Alex Galybin.

In the thesis Anton considered a generalization of some logic-algebraic methods for pattern recognition where links between information features are described with the help of Boolean equations.  An approach has been proposed where arbitrary discrete features and logical dependencies between them can be considered. In this connection some modern logic programming methods were analyzed. A generalized method has been suggested for solving logic problems of pattern recognition where links between information features are described with the help of predicate equations. Some possible applications of the suggested approach have been illustrated. An experimental tool has also been developed, which enables non-salient discrete features to be eliminated automatically thereby obtaining logic links between salient featues.

As a result of his research, both examiners recommended that Anton be awarded the degree of Master of Philosophy.

Grateful acknowledgement is given to the Foreign and Commonwealth Office for their support.

DSC_0001websmall_000.jpg