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