Предлагается формальный подход к понятию «знание»: знание - это совокупность фактов и правил, хранящаяся в некоторой базе знаний, плюс средства их представления и обработки. Рассматривается типология различных видов знания, основанная на способах устранения противоречий.