20世纪70年代末就开始出现相关的解决方案,即使用逻辑作为知识表述的统一方案。为了理解逻辑在基于知识的系统中所扮演的角色,我们有必要了解一些逻辑的知识,以及它如何作用于系统。逻辑学的发展是为了理解推理,特别是区分好的(完备的)推理和坏的(不完备的)推理。让我们看一些推理方面的例子,包括完备和不完备的。
凡人终有一死;
艾玛是凡人;
所以,艾玛终有一死。
这就是典型的三段论逻辑推理的模式,我想你会同意这里的逻辑推理是完全合乎情理的:如果所有的人类都是凡人,终有一死,而艾玛是人类之一,所以她也是凡人,也终有一死。
我们继续看下一个例子:
所有的教授颜值都高;
迈克尔是一名教授;
所以迈克尔是位帅哥。
很显然,教授们倒是很乐意相信这个结论。然而,从逻辑的角度来看,这个推论也是没有什么错误的:事实上,从推论本身来看,它完全正确。如果真的所有教授颜值都很高的话,迈克尔是一名教授,那么得出他是帅哥的结论就完全合乎情理。逻辑并不关心你一开始的陈述是否真实(即前提是否真实),只关心你使用的模式和得出的结论是否合理。当然,那是在承认这个前提的基础上。