人工智能导论之经典逻辑推理

嗯哼哼 经典推理spa 让人首先想到的就是假言推理blog 嗯哼咱们说的推理就是在这基础上的基础 对于一个复杂的句子（谓词公式）变量 我们首先要作的就是把他简单化 嗯哼哼 好比说化为合取范式im 为何化为合取范式嗯哼 固然是为了更好的推理出咱们的结论 db 简单的一个合取范式img (p∨q∨p)∧(┐r∨p)  co 嗯哼  p q r 都是文字 (┐r∨p)则为子句  总体为句子范式 子句集就

>>阅读原文<<