原名:Reconciling the Event Calculus with the Situation Calculus
作品简介:情境演算无需事件演算中的归纳即可导出。假定在它们出现的公式前面被普遍量化。 demo(S, 公民(玛丽, 英国)) ← 情况(S) ∧ 结果(bna48, s2) < S< s3。……
资源下载
VIP免费升级VIP
原名:Reconciling the Event Calculus with the Situation Calculus
作品简介:情境演算无需事件演算中的归纳即可导出。假定在它们出现的公式前面被普遍量化。 demo(S, 公民(玛丽, 英国)) ← 情况(S) ∧ 结果(bna48, s2) < S< s3。……
