人工智能技术--Planning

人工智能的一个目标就是要系统能代替人类作事情，就是要求系统自己能够对目标作出一系列动作，也即自己能planning！Planning其实可以看作是一个解题过程:有已知（初始状态）、有求证（目标状态）还有解题所需要的相应逻辑（一组系统动作），所以只要搜索找到能达最终状态的路径就是一个可行的计划。但又如何去做呢？我们解数学题时要用到相应的定理，解物理题也有相应的定律，英语亦有语法等等，他们都有各自的逻辑来描述领域的知识，人工智能要去 “推理”自也要有自己的一套逻辑（大家可以随便找本人工智能的书都有关于逻辑系统的介绍，像命题逻辑、谓词逻辑及一些非经典逻辑等）。在这些逻辑的基础上就可以进行推理了。举例来讲，假设我有个机器人，他的任务就是帮我购置生活用品（牛奶和香蕉），我们用一阶命题逻辑来描述这个问题，机器人具有两个状态: At(x)表示其位置，Have(x)表示其所有商品，而为完成任务它又具有动作:Go（x，y）从x到y，先决条件为At（x），执行结果At（y）， buy（x，y）从y购买商品x，先决条件At（x），执行结果have（y），并且假设有超市supermarket卖相应的商品。那么其初始状态就是 At（home），目标状态have（milk），have（banana）。这样，在配合相应的搜索算法机器人能够完成任务了:）