事件演算

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

    Kowalski和Sergot于1986年提出的一种表示动作及其效果的逻辑语言,与情景演算不同的是,其语句用函数来表达,而不是用谓词。

英文名 event calculus



链接

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