人工智能原理ch31and32.pptVIP

Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3. 圆盘梵塔问题归约图： 先用表列形式描述状态: （1 1 1）?（3 3 3） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 习题：用四元数列结构表示四圆盘梵塔问题，并画出求解该问题的与或图。 (1 1 1 1)?(3 3 3 3) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 4.问题归约机理 问题归约技术：能够成功地把状态空间搜索问题归约为越来越简单的搜索问题，直至所有问题能够被归约为平凡解为止。 关键算符：对问题求解有决定性作用的算符叫做关键算符。 对梵塔难题（3圆盘）：移动圆盘C至柱3是关键算符。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 如何根据当前状况选关键算符，以消除差别、归约求解呢？ 对猴子和香蕉问题，4个算符的作用结果和适用条件如下： 走f1：（W，0，Y，Z） goto(U) （U，0，Y，Z） 推f2：（W，0，W，Z） pushbox(V) （V，0，V，Z） 爬f3：（W，0，W，Z） climbbox （W，1，W，Z） 抓f4：（c，1，c，0） grasp （c，1，c，1） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. (a,0,b,0),F,(c,1,c,1) (1)合适的关键算符：抓 (a,0,b,0),F1,(c,1,c,0) (c,1,c,0),f4,(c,1,c,1) 本原问题 (2) 合适的关键算符：爬 (a,0,b,0),F2,(c,0,c,0) (c,0,c,0),f3,(c,1,c,0)本原问题 (3) 合适的关键算符：推 (a,0,b,0),F3,(b,0,b,0) (b,0,b,0),f2,(c,0,c,0) 本原问题 (4) 合适的关键算符：走 (a,0,b,0),f1,(b,0,b,0) 本原问题 解答由回溯得到。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 第三章 知识表示 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3.3 谓词逻辑法 表示一个知识库的主要方法是采用一阶谓词逻辑。 使用量词（ ， ）和逻辑连接符（∨，∧， ，=，=）能作出有关对象、特征、场景和关系的陈述。 例如：所有人都有头，可描述为 X人(X)=有(X，头) 优点：记号简单，描述易于理