节点文献

时态逻辑断言推理及其在SIDSS中的应用

Assertion Inference Based on Temporal Logic and Its Application in SIDSS

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 LIU Dongning1, TANG Yong2, TANG Na2, LIU Haozhao1 (1. Faculty of Computer, Guangdong University of Technology,Guangzhou 510090; 2. Department of Computer Science, Zhongshan University,Guangzhou 510275)

【机构】广东工业大学计算机学院；中山大学计算机科学系；中山大学计算机科学系广州 510090；广州 510090；广州 510275；广州 510275；

【摘要】介绍了断言推理和时态逻辑断言的基本概念，并以工资智能决策支持系统（SIDSS）为例，讨论时态逻辑断言规则的设计、形式化描述与Java代码实现。更多还原

【Abstract】 This article introduces the assertion inference and the basic concepts of temporal logic assertions. Taking the intelligent decision support system of salary (SIDSS) for example, it discusses the rules design, the formalization description, and the Java implementation in temporal logic assertions.更多还原

【关键词】断言；时态；时态逻辑；断言推理； SIDSS；规则；
【Key words】 Assertion； Temporal； Temporal logic； Assertion inference； SIDSS； Rule；

【基金】广东省重点攻关项目;广东省科学自然基金团队项目

【文献出处】计算机工程 ,Computer Engineering , 编辑部邮箱 ,2003年17期

【分类号】TP301
【被引频次】6
【下载频次】119

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献