第七章 逻辑Agent

基于知识的Agent 由知识库和推理机制组成. 两大操作:TELL(告诉), ASK(询问). 都可能涉及推理, 即从原有语句推导出新语句. Wumpus世界 逻辑 语法给出了合法语句的规范, "x+y=4"合法, "x4y+="不合法. 语义定义了每个语句在每个可能世界的真值, "x+y=4"在x=2, y=2的世界里为真. 模型是可能世界的数学抽象. 语句α在模型m里为真, 称m满足α, m为

>>阅读原文<<