• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>PRICAI'98 : Topics in artificial intelligence >Reasoning about Continuous Change
【24h】

Reasoning about Continuous Change

机译：持续变化的推理

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

摘要

The problem of formalising continuous change within reasoning about action systems such as the situation calculus has recently been receiving increasing attention ([Rei96], [MS96]). In this paper we show that a long-existing systems theoretic reasoning methodology, that of Zeigler's DEVS (discrete event system specification), not only subsumes the standard situation calculus but is able to elegantly describe continuous change within a discrete description structure. We demonstrate that on the semantic level both Reiter's recent formalisation of continuous change within the situation calculus, and Miller and Shana-han's formalisation of continuous change within the event calculus fit neatly into a DEVS framework. Our results not only evince a significant connection between logic-based action formalisms and the algebraic formalism of systems theory, and between reasoning about action and discrete event simulation, but also provides support for using DEVS-a well-studied and rigorously implemented framework-as an underlying semantic framework for reasoning about action formalisms.
机译：在关于动作系统（例如情境演算）的推理中，形式化连续变化的问题最近受到越来越多的关注（[Rei96]，[MS96]）。在本文中，我们证明了长期存在的系统理论推理方法，即Zeigler的DEVS（离散事件系统规范）方法，不仅包含了标准情况演算，而且还能够优雅地描述离散描述结构内的连续变化。我们证明，在语义层面上，Reiter在情境演算中对连续变化的最近形式化，以及Miller和Shana-han在事件演算中对连续变化的形式化都很好地适合于DEVS框架。我们的研究结果不仅证明了基于逻辑的动作形式主义与系统理论的代数形式主义之间的显着联系，以及动作推理和离散事件模拟之间的显着联系，而且还为使用DEVS（经过精心研究和严格实施的框架）提供了支持。有关动作形式主义的基础语义框架。

著录项

  • 来源
  • 会议地点 Singapore(SG);Singapore(SG)
  • 作者

    Tyrone ONeill; Norman Foo;

  • 作者单位

    Knowledge Systems Group Department of Artificial Intelligence School of Computer Science and Engineering University of New South Wales, Australia;

    Knowledge Systems Group Department of Artificial Intelligence School of Computer Science and Engineering University of New South Wales, Australia;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 自动化系统理论;
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号