GTL的可靠性

下载PDF

导出

摘要给出了时态分离规则和证明两个概念，并讨论了ＧＴＬ的可靠性。

作者张师超罗晓沛

出处《高技术通讯》 EI CAS CSCD 1995年第A01期29-31,共3页 Chinese High Technology Letters

关键词时态知识表示时态逻辑可靠性间断区间逻辑

1聂文龙,张师超.GTL的公理系统及其完备性[J].高技术通讯,1995,5(A01):23-25.
2张师超.基于间断区间的时态关系处理[J].广西师范大学学报（自然科学版）,1997,15(1):8-12. 被引量：1
3张师超,罗晓沛.间断区间的代数性质[J].高技术通讯,1995,5(A01):42-43.
4王熙庭.美国碳科学公司宣布电厂减排二氧化碳的GTL解决方案[J].天然气化工—C1化学与化工,2011,36(6):36-36. 被引量：3
5雷英杰,王宝树.直觉模糊集时态逻辑算子及扩展运算性质[J].计算机科学,2005,32(2):180-181. 被引量：8
6程纪鹏,贺劲松.Squared Eigenfunction Symmetries for the BTL and CTL Hierarchies[J].Communications in Theoretical Physics,2013,59(2):131-136. 被引量：1
7张师超,宋德才.间断区间时态逻辑中的一些基本概念[J].广西师范大学学报（自然科学版）,1995,13(3):7-10.
8张广泉,孙敏.时态逻辑的比较与分析[J].渝州大学学报,1999,16(2):15-18. 被引量：7
9张家录.形式演绎系统L~*的运算与弱演绎定理[J].湘南学院学报,2004,25(2):25-29.
10寇海燕,吴洪博.正则FI代数的MP滤子与同构基本定理[J].计算机工程与应用,2016,52(10):39-43. 被引量：2

高技术通讯

1995年第A01期

浏览历史

内容加载中请稍等...