伊利亚诺·塞维萨托;Angelo蒙塔纳里;亚历山德罗·普罗维蒂 关于导出最大时间间隔的事件演算的非单调行为。 (英语) 兹比尔08369.0116 间隔计算。 1993年,第2期,第83-119页(1993年). 摘要:事件演算由提出R.科瓦尔斯基和M.J.塞尔戈特['A logic-based calculation of events',New Generation Computing 4,67-95(1986)]作为一种简单有效的工具,用于在逻辑编程框架中处理时间和动作。为了响应事件的发生,形式主义计算模型世界中保持的关系的最大有效性和凸有效性区间。有趣的情况是,事件集是固定的,但其发生时间的顺序只有部分已知。关于事件相对顺序的新(片断)信息的可用性具有非单调效应,使以前的间隔不再可推导。因此,对部分指定的事件顺序进行有意义的排序可能不基于包含相应的计算间隔集。然后提出一种单调形式的微积分,并与原始微积分进行比较。我们讨论了为什么人工智能应用程序不能立即使用它,并展示了如何使用它来订购部分指定的订单。定义了一个赋值函数,该函数在备选排序中选择一个或多个排序,以最小化与单调版本可获得的结果的分离。 引用于1文件 MSC公司: 90B99型 运筹学与管理科学 68T27型 人工智能中的逻辑 关键词:逻辑程序设计;事件的相对顺序 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}等人,《区间计算》。1993年,第2期,第83--119号(1993;Zbl 0836.90116)