×

关于导出最大时间间隔的事件演算的非单调行为。 (英语) 兹比尔08369.0116

摘要:事件演算由提出R.科瓦尔斯基M.J.塞尔戈特['A logic-based calculation of events',New Generation Computing 4,67-95(1986)]作为一种简单有效的工具,用于在逻辑编程框架中处理时间和动作。为了响应事件的发生,形式主义计算模型世界中保持的关系的最大有效性和凸有效性区间。有趣的情况是,事件集是固定的,但其发生时间的顺序只有部分已知。关于事件相对顺序的新(片断)信息的可用性具有非单调效应,使以前的间隔不再可推导。因此,对部分指定的事件顺序进行有意义的排序可能不基于包含相应的计算间隔集。
然后提出一种单调形式的微积分,并与原始微积分进行比较。我们讨论了为什么人工智能应用程序不能立即使用它,并展示了如何使用它来订购部分指定的订单。定义了一个赋值函数,该函数在备选排序中选择一个或多个排序,以最小化与单调版本可获得的结果的分离。

MSC公司:

90B99型 运筹学与管理科学
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用