S.Yu. Shabanov-Kushnarenko, Kudhair Abed Tamer, I.A. Leschynskaya

Annotations languages:

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.