这一目标催生了我们如今所说的专家系统：将某个领域内的知识编码为事实目录，并使用一些预定义的逻辑推理规则自动从公认的前提中得出新事实的系统。例如，我们的事实目录可能包括“苏格拉底是人”和“人是凡人”。 肯定前件规则 （ 如果 是真陈述，并且 为真意味着 一定为真，我们可以安全地推断 一定为真）附加到这个事实目录中，我们可以编写一个计算机系统来回答“苏格拉底是凡人吗？”这个问题。
基本思想是，系统用户将以系统理 喀麦隆电话号码数据 解的方式对这个问题进行编码，然后系统将开始在其目录中搜索事实网络，寻找回答该问题的逻辑推理。
在我们的例子中，系统可能首先寻找有关苏格拉底的所有陈述，在这种情况下，它会找到“苏格拉底是人”这一事实。
然后，系统可以继续寻找有关“人”的任何事实，并可能找到“人是会死的”这一事实。此时，系统可以认识到事实“苏格拉底是人”和“人是会死的”的子目录，以及 肯定前件原则，可用于肯定地回答这个问题。通过创建足够大的事实目录并采用足够灵活的演绎和推理规则，专家系统理论上可以解决人类解决的所有类型的问题。此外，由于事实目录以人类定义的方式进行符号表示，因此系统可以演绎或推断的事实对我们来说是可识别的，即使它们之间的关系以前不清楚。