实验一用谓词表示问题----知识的表示与推理实验(一)猴子摘香蕉问题实验内容：利用一阶谓词逻辑求解猴子摘香蕉问题：房内有一个猴子，一个箱子，天花板上挂了一串香蕉，其位置如图1所示，猴子为了拿到香蕉，它必须把箱子搬到香蕉下面，然后再爬到箱子上。请定义必要的谓词，列出问题的初始化状态（即下图所示状态），目标状态（猴子拿到了香蕉，站在箱子上，箱子位于位置b）。（附加：从初始状态到目标状态的谓词演算过程。

PoW(Proof of Work:工作量证明)，以BTC为代表，区块链1.0PoP(Proof of Stake:股权证明),以ETH为代表，区块链2.0DPoS(Decentralized Proof of Stake:去中心化的股权证明)：以EOS为代表，区块链3.0PoW优点难度系数(difficulty)可自动调整越早进场，越占优势，有促进作用奖励都是分给个人，相对公平，相对去中心化缺点

实验一用谓词表示问题----知识的表示与推理实验(一)猴子摘香蕉问题实验内容：利用一阶谓词逻辑求解猴子摘香蕉问题：房内有一个猴子，一个箱子，天花板上挂了一串香蕉，其位置如图1所示，猴子为了拿到香蕉，它必须把箱子搬到香蕉下面，然后再爬到箱子上。请定义必要的谓词，列出问题的初始化状态（即下图所示状态），目标状态（猴子拿到了香蕉，站在箱子上，箱子位于位置b）。（附加：从初始状态到目标状态的谓词演算过程。

问题的根本是预先设置好的IP跟插上网线所对应的IP不一致。解决办法：1、点击2、以太网 --》 更改适配器选项3、右键以太网，选择属性4、选择 TCP/IPv4，点击属性5、选择自动获取IP地址，确定解决问题！...

实验一用谓词表示问题----知识的表示与推理实验(一)猴子摘香蕉问题实验内容：利用一阶谓词逻辑求解猴子摘香蕉问题：房内有一个猴子，一个箱子，天花板上挂了一串香蕉，其位置如图1所示，猴子为了拿到香蕉，它必须把箱子搬到香蕉下面，然后再爬到箱子上。请定义必要的谓词，列出问题的初始化状态（即下图所示状态），目标状态（猴子拿到了香蕉，站在箱子上，箱子位于位置b）。（附加：从初始状态到目标状态的谓词演算过程。