您的位置： 专家智库 > >

杨爱琴

作品数：1 被引量：3H指数：1
供职机构：江苏大学计算机科学与通信工程学院更多>>
发文基金：江苏省高校自然科学研究项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇知识

机构

  • 1篇江苏大学

作者

  • 1篇刘一松
  • 1篇杨爱琴

传媒

  • 1篇计算机工程与...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
事件演算在行动推理中的应用被引量：3
2008年
事件演算是基于一阶谓词演算的行动推理理论。它可作为描述事件的一个工具,在行动推理的应用中显示出其强大的表示能力和实现能力。在事件演算中,可以对行动进行公理化,可以描述行动的时间性、并发性、连续变化及知识,而且还可用Prolog实现。讨论介绍与这些应用相关的基本概念、思想和方法等,并且通过一个送咖啡的例子说明了如何通过事件演算来描述和实现。
杨爱琴刘一松
关键词：知识
全选 清除 导出
共1页<1>
聚类工具0