Формальные системы неклассических логик и автоматическое доказательство теорем с использованием методов машинного обучения