人工智能 一种现代的方法 笔记
1.约束满足问题(CSP):
定义变量X, 值域D, 约束C 三个成分
X用D与C约束,当所有约束条件都成立时, 问题解决.
约束类型:一元,二元,三元,全约束, 绝对约束\偏好约束
CSP中的推理:
结点相容\弧相容\路径相容–>k相容
全局约束\资源约束\边界约束
使用的算法:
最少剩余值启发式\度启发式
前向检验\维护弧相容(MAC)
回溯\智能回溯
最少冲突启发式(局部搜索)
问题分割为小问题求解
适应问题:
地图着色, 装配顺序, 线性规划等
2.AI应当有什么
脑洞大开:
AI -- 存储能力-->KB(知识库)
-- 推理能力-->TELL,ASK
-- 学习能力-->训练
-- 表达能力-->展示
3.逻辑Agent
命名逻辑:简单逻辑
语法:BNF语法
与\或\非\蕴含\当且仅当
通过真值表,对语句进行判断,语义要适应相应的场景.
参考：