上一篇:专家系统通常由以下六部分组成:1. 知识库;2. 解释器;3. 推理机;4. 人机交互界面;5. 综合数据库;6. 知识获取。
下一篇:对于一阶谓词逻辑,若子句集是不可满足的,则必存在一个从该子句集到空子句的归结演绎。