农夫过河问题状态空间表示

《农夫过河问题状态空间表示》由会员分享，可在线阅读，更多相关《农夫过河问题状态空间表示（3页珍藏版）》请在金锄头文库上搜索。

1、可编辑逻辑学教授的 3 个得意门生 ABC，前一晚在酒吧喝多了，结果第二天3 人集体迟到。教授说：“作为对你们迟到的惩罚，你们3 人必须比其他同学多做一道作业，完成了这道作业才可以离开教室。”这道附加的作业是一道帽子题，教授给每人戴了顶帽子，帽子不是红色就是白色，不是白色就是红色。每人都能看见其他2 人帽子的颜色，却不能看见自己帽子的颜色。每人都看到其他2 人帽子的颜色后，每思考5 分钟为一轮，谁猜出自己帽子的颜色了就可以说出来并离开。教授还说：“你们 3 人中至少有 1 人戴了红色帽子。”第一轮下来，A 说：“我没猜出来。”B 说“我也没猜出来”C 说：“我也猜不出。”第二轮下来，还是没人能

2、猜出自己帽子的颜色。第三轮，3 人都猜出了自己帽子的颜色。问：ABC 三人头顶都是什么颜色的帽子？然后用谓词逻辑写出推理过程。最一般合一及归结反演相关最一般合一及归结反演相关已知 w=P(f(x,g(A,y),z), P(f(x,z),z)，求 MGU令 0 0=，=，w w0 0=w=w，因 w 中含有两个表达式，因此0不是最一般合一差异集 D0=g(A,y)/z1=0D0=g(A,y)/zw1=P(f(x,g(A,y),g(A,y), P(f(x,g(A,y),g(A,y)w1中仅含有一个表达式，所以1就是最一般合一。证明 G 是否是 F1、F2 的逻辑结论。F1:( x)(P(x)(Q(

3、x)R(x)F2:( x)(P(x)S(x)G: ( x)(S(x)R(x)F1: P(x)(Q(x)R(x) (P(x)Q(x) (P(x)R(x)F2: P(x)S(x)G: ( x)(S(x)R(x) ( x)(S(x)R(x) S(x)R(x)子句集：1 P(x)Q(x)2 P(x)R(x)3 P(x)4 S(x)5 S(x)R(x)其中 2 与 3 规约，4 与 5 归结，其结果再归结得到空子句，证明G 是 F1 与 F2 的结论。农夫过河问题(1)农夫每次只能带一样东西过河(2)如果没有农夫看管，狼吃羊，羊吃菜要求：设计一个过河方案，使得农夫、狼、羊、菜都能过河，画出相应的状态空间

4、图。四元组 S 表示状态，即 S(农夫，狼，羊，菜)用 0 表示在左岸，1 表示在右岸初始 S=(0，0，0，0)目标 G=(1，1，1，1)-可编辑定义操作符 L(i)表示农夫带东西到右岸：i=0 农夫自己到右岸；i=1 农夫带狼到右岸；i=2 农夫带羊到右岸；i=3 农夫带菜到右岸；定义操作符 R(i)表示农夫带东西到左岸：i=0 农夫自己到左岸；i=1 农夫带狼到左岸；i=2 农夫带羊到左岸；i=3 农夫带菜到左岸；约束状态如下：(1，0，0，X)狼、羊在左岸；(1，X，0，0)羊、菜在左岸；(0，1，1，X)狼、羊在右岸；(0，X，1，1)羊、菜在右岸；-可编辑(0(0，0 0，0 0

5、，0)0) / L(2)(1(1，0 0，1 1，0)0) / R(0)(0(0，0 0，1 1，0)0) / L(1) R(3)(1(1，1 1，1 1，0)0) (1 (1，0 0，1 1，1)1) / R(2) R(2)(0(0，1 1，0 0，0)0) (0 (0，0 0，0 0，1)1)解一：1.带羊过河2.农夫回来3.带狼过河4.带羊回来5.带菜过河6.农夫回来7.带羊过河解二：1.带羊过河2.农夫回来3.带菜过河4.带羊回来5.带狼过河6.农夫回来7.带羊过河 . . / L(1)(1(1，1 1，0 0，1)1) R(0)(0(0，1 1，0 0，1)1) L(2)(1(1，1 1，1 1，1)1)，0，1，0)，0，1，0)，1，1，0)，1，0，0)，1，0，1)，1，0，1)，1，1，1)，0，1，0)，0，1，0)，0，1，1)，0，0，1)，1，0，1)，1，0，1)，1，1，1)- L(3) (1 (0 (1 (0 (1 (0 (1 (1 (0 (1 (0 (1 (0 (1