1. Science
  2. Publications
  3. Information Processing Systems
  4. 9(116)'2013
  5. The predicative approach to non-obvious knowledge formalization

The predicative approach to non-obvious knowledge formalization

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.
Keywords: theory of intelligence, algebras of finite predicates and predicate operations