Паранепротиворечивые интеллектуальные системы компьютерных логикстатья