扩展时段时序逻辑的模型、一致性和推理

林闯; 曲扬; 李雅娟

首页> 中文期刊> 《计算机学报》 >扩展时段时序逻辑的模型、一致性和推理

扩展时段时序逻辑的模型、一致性和推理

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

给出了扩展时段时序逻辑的时间Petri网(TPN)模型构造方法,在构造模型的同时可对时序关系进行一致性检验.在模型的基础上提出了一种时序关系推理算法,这种推理算法基于TPN模型的性质及基本不等式规则,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系.这种推理算法的优势在于利用了TNP模型的分析技术,减小了推理的时间复杂度,比单纯利用不等式规则的推理更直观,也更简单,是一种有效的方法.最后,对扩展时段时序逻辑的TPN模型进行了扩充,增强了其模型和分析的能力.

著录项

来源
《计算机学报》 |2002年第12期|1338-1347|共10页
作者
林闯; 曲扬; 李雅娟;
展开▼
作者单位

清华大学计算机科学与技术系;

北京;

100084;

清华大学计算机科学与技术系;

北京;

100084;

清华大学计算机科学与技术系;

北京;

100084;

展开▼
原文格式 PDF
正文语种 chi
中图分类信息处理（信息加工）;
关键词
扩展时段时序逻辑; 时间Petri网; 一致性检验; 模型; 推理;

相似文献

中文文献
外文文献
专利

1. 一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理 [J] . 林闯 ,刘婷 ,曲扬 . 计算机学报 . 2001,第012期
2. 扩展时段时序逻辑的推理机制 [J] . 刘婷 ,林闯 ,刘卫东 . 计算机学报 . 2002,第006期
3. 基于线性时序逻辑的多Agent协商推理模型 [J] . 尹红丽 ,王永明 ,夏幼明 . 计算机研究与发展 . 2006,第0z1期
4. 基于时序逻辑的多Agent系统协商模型及其推理与授权规则研究 [J] . 刘海庆 ,夏幼明 ,李晶 . 武汉大学学报：信息科学版 . 2005,第9期
5. 基于扩展命题区间时序逻辑的免疫网络攻击检测模型 [J] . 陈茜月 ,庞建民 . 信息工程大学学报 . 2020,第001期
6. 基于线性时序逻辑的多Agent协商推理模型 [C] . 尹红丽 ,王永明 ,夏幼明 . 第一届Agent理论与应用学术会议 . 2006
7. 基于动作时序逻辑推理的Web服务组合与验证 [A] . 周倩朝 . 2011

扩展时段时序逻辑的模型、一致性和推理

摘要

著录项

相似文献

相关主题

期刊订阅