流演算

来自术语
跳转至: 导航搜索

    一种一阶逻辑的动态版本,用于动作和其效果的表示和推理,是情景演算的一个变型。

英文名 fluent calculus



链接

Wikipedia https://en.wikipedia.org/wiki/fluent_calculus