Juan Zhou

Algorithms of Isomorphism of Elementary Conjunctions Checking

2024 · Pattern Recognition and Image Analysis

Abstract When solving artificial intelligence problems related to the study of complex structured objects, a convenient tool for describing such objects is the language of predicate calculus. The paper presents two algorithms for checking the …

Algorithm for Extraction Common Properties of Objects Described in the Predicate Calculus Language with Several Predicate Symbols

2024

When solving artificial intelligence problems connected with the study of complex structured objects, a convenient tool for describing such objects is the language of predicate calculus. The paper presents two algorithms for the extraction of …