基于知识的智能体
关于知识的表示和推理过程
基于知识的智能体，从通用的形式表达的知识中获益，通过对信息的组合和再组合，以适应各种用途。
基于知识的智能体的核心构件是其知识库，知识库是一个语句集合，表示了关于世界的某些断言。
推理模式被称为推理规则，有分离规则，与消去等。
逻辑系统遵循基本的单调性，单调性意味着蕴含语句集在信息被添加到知识库的时候只会增长。
基于知识的智能体由知识库和推理机制组成，它的运转方式是把关于世界的语句存储到知识库中，运用推理机制推导出新语句，并且用这些语句来决策采取什么行动。