我想了解如何检查知识库是否是模型（以及相关知识）。
我在这里关注此资源： https://www.cs.princeton.edu/courses/archive/fall16/cos402/lectures/402-lec12.pdf
对此问题的回答：
告诉他们它们是否一致；在积极的情况下，展示一个模型。
在princeton示例中，已经有一个模型广告构造了一个解释函数，但是我不知道如何检查这些东西。
模型的定义是对于命题逻辑，模型只是一个
分配给所有变量。（每个变量都分配0（假）或1（真），不能全部分配）
所以我认为广告示例A或-A没有模型，对吗？ 很抱歉，这个问题很基本，但有助于您理解。