...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Information Technology Journal >A Temporal Description Logic for Reasoning about Action in Event
【24h】

A Temporal Description Logic for Reasoning about Action in Event

机译：事件中动作推理的时间描述逻辑

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

As the unit of human knowledge, event is used to describe all kinds of knowledge in the world. Action which is one of the main factors in event describes the changing processes of world states in a specific period of time. As we know, there are different states in different time and the main reason of states changes is caused by action. Therefore, it is necessary to embrace temporal information into the representation about action to describe these changes. In this study, we first proposed a temporal description logic T-ALC, in which the temporal information as a constraint of instances was added to ABox. It provided a kind of decidable approach to deal with the states changes of objects in action. Then, we defined the syntax and semantics of action based on T-ALC. Especially, the semantics of action can be transformed into the changing processes of interpretations and the calculation of new interpretations and ABox were also given. Finally, several inference services of action in different time were studied.
机译：事件是人类知识的单位，用于描述世界上各种知识。行动是事件中的主要因素之一，它描述了特定时期内世界状态的变化过程。众所周知，在不同的时间有不同的状态，状态变化的主要原因是由动作引起的。因此，有必要将时间信息包含在有关描述这些变化的动作的表示中。在这项研究中，我们首先提出了一种时间描述逻辑T-ALC，其中将时间信息作为实例的约束添加到了ABox中。它提供了一种可确定的方法来处理活动对象的状态变化。然后，我们基于T-ALC定义了动作的语法和语义。特别是，动作的语义可以转化为解释的变化过程，并给出了新解释和ABox的计算。最后，研究了不同时间动作的几种推理服务。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号