单项选择题 通过在计算机中存储一些定理和推理规则，然后设计程序让计算机自动探索解题的方法。是以下哪一应用？（）

单项选择题 可以提高控制的及时性和准确性，并且改善劳动条件、提高质量、节约能源、降低成本、保证产品质量的稳定，是以下哪一应用？（）

单项选择题 计算机辅助系统包含多个方面，以下哪个中英不匹配？（）