Building a standard system of inference rules based on the knowledge base - Kopyrin, Andrey Sergeevich; Kopyrina, Alina Olegovna (Программные системы и вычислительные методы, 2021)