система гипотетических умозаключений базы знаний сущ. выч. тех. 知识库推理系统 zhīshikùtuīlǐ xìtǒng aoliaosha