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
Reference:
Shabanov-Kushnarenko, S.Yu., Kudkhayr Abed Tamer, Leshchynskaia, Y.A. (2013), "Predykatnыi podkhod k formalyzatsyy neiavnыkh znanyi" [The predicative approach to non-obvious knowledge formalization], Information Processing Systems, Vol. 9(116), pp. 113-116.