摘要：一、逻辑逻辑是一种可以从中找出结论的形式化语言。句法（规则）用语言定义句子。语义定义句子的含义。定义一个句子的真假性。二、蕴含即一个事情逻辑上是另一个事情的必然结果:KB ╞ α知识库KB蕴含句子α，当且仅当α在所有KB为真的世界里均为真。蕴含是基于语法的句子关系。三... 阅读全文

摘要：超越经典搜索爬山法 Hill-climbing (variants) 模拟退火 Simulated annealing遗传算法 Genetic algorithms 联机深度优先搜索 Online DF-search一、爬山搜索1、几个概念：目标函数、全局最优、局部最... 阅读全文

摘要：一、无信息与有信息搜索无信息搜索又名盲目搜索：•在搜索时，只有问题定义信息可用。•盲目搜索策略仅利用了问题定义中的信息。有信息搜索：• 在搜索时，当有策略可以确定一个非目标状态比另一种更好的搜索，称为有信息的搜索。二、最佳优先搜索•思想: 使用一个评估函数 f(n)给... 阅读全文

摘要：一、问题求解智能体四个基本步骤：1、目标形式化（Goal formulation）• 成功的状态描述2、问题形式化（Problem formulation）• 根据所给的目标考虑行动和状态的描述3、搜索（Search）• 通过对行动序列代价计算来选取最佳的行动序列.4... 阅读全文