情景演算

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

    McCarthy 1963年提出的一种对动作与变化进行表示和推理的谓词逻辑语言,常用于行为推理、规划、诊断等知识表示与推理研究领域。

英文名 situation calculus



链接

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