一阶谓词
一阶谓词可以理解为通场以一些动作或者是行为来确定他的主体结构,称作谓词;
再根据动作的发起者和其要达到的目的来确定一阶谓词的形式。
例子:猴子吃香蕉
利用一阶谓词来分析猴子吃香蕉的基本逻辑问题,通过推演猴子的动作来达到获取
香蕉的目的。
例图
猴子的动作有:run,jump,push,climb
根据猴子的相应位置来做出具体的动作,例如在 a 处猴子是无法获取 b 处的香蕉,
需移动到 b,做出动作 jump 时也无法得到,则需要利用 c 处的箱子请其移动到 b,climb
到箱子上 jump 获取到 b 出的香蕉。
利用一阶谓词基本可以推理为:run(monkey,b)→jump(monkey,b)→run(monkey,c)→
push(box,b)→climb(monkey,box)。
以猴子的动作作为谓词,分析猴子的动作来推理出事态的发展过程,通过一步一步的动
作最终发展到猴子获取到香蕉的结果。
#include<iostream>
#include <stdio.h>
using namespace std;
struct State
{