One of major tasks of the theory of intellect is considered is a formal specification of the non-obvious knowledge used by a man, in language of eventual predicates algebra and predicate operations. A language of logical mathematics is universal means of description of any concepts, including mathematical. The decision of this task will allow to teach a computer to operate nonobvious knowledge, like it does man.
theory of intelligence, algebras of finite predicates and predicate operations
Kudkhayr Abed Tamer,
"Predykatnыi podkhod k formalyzatsyy neiavnыkh znanyi" [The predicative approach to non-obvious knowledge formalization],
Information Processing Systems,