知识库推理系统

zhīshikùtuīlǐ xìtǒng

вычисл. система гипотетических умозаключений базы знаний