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

• 作者: 刘冬宁 刘浩钊 汤娜 汤庸
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 断言 时态 时态逻辑 断言推理 SIDSS 规则
• 年，卷（期）: 2003,（17）
• 所属期刊栏目: 开发研究与设计技术
• 页码范围: 187-189
• 页数: 3页
• 分类号: TP18
• 字数: 3132字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2003.17.074

摘要

介绍了断言推理和时态逻辑断言的基本概念,并以工资智能决策支持系统(SIDSS)为例,讨论时态逻辑断言规则的设计、形式化描述与Java代码实现.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	汤庸	中山大学计算机科学系	95	1243	20.0	30.0
2	汤娜	中山大学计算机科学系	15	232	6.0	15.0
3	刘冬宁	广东工业大学计算机学院	42	183	8.0	11.0
4	刘浩钊	广东工业大学计算机学院	3	21	3.0	3.0