论文部分内容阅读
区间逻辑不能模拟自然语言中与，或，非时态关系，其公理系统的完备性不易保证。我们建立的间断区间时态知脚注可以克服区间逻辑的上述缺点，本文给出了间断区间逻辑的语法，语义及公理，即描述了间断区间时态逻辑的语义。
间断区间时态逻辑的语义
【摘 要】
：
区间逻辑不能模拟自然语言中与，或，非时态关系，其公理系统的完备性不易保证。我们建立的间断区间时态知脚注可以克服区间逻辑的上述缺点，本文给出了间断区间逻辑的语法，语义及公理
【机 构】
：
广西师范大学数学系,清华大学智能技术与系统实验室
【出 处】
：
计算机学报
【发表日期】
：
1996年12期
【基金项目】
：
国家863计划自然科学基金
其他文献
本文以门级组合电路为对象，以主路径敏化算法为基础，研究提高测试生成效率的策略，实现结果表明，按本文提出的策略所研制的测试生成系统，不仅效率较好，且得蝗测试集也较小。
本文提出了算子模糊逻辑中的广义λ－调解方法，证明了它和广义λ－归结的联合使用，对于λＥ－不可满足广义子句集是完备的。
本文提出了一种对有限自动机公开钥密码体制进行已知密文攻击的算法ＡτＭ及共衍生算法ＡτＭ＾＋，所提出的算法ＡτＭ，所提出的算法ＡτＭ或ＡτＭ＾＋在某些情况下可能奏效，由此我们得到了一些关于有限自动
本文首先证明了一个连接依赖集等价于一个连接依赖；根据这一结果，可以构造一个不用追踪判定连接依赖蕴涵问题的方法，然后，本文给出了一个新的连接依赖的推导公理系统，并证明了这一
本文通过对数型赋予操作解释，将ＬＦ的逻辑定义风格的λＰｒｏｌｏｇ的逻辑程序设计风格融于一体，提出了旨在对定理证明过程进行元级编程的元语言ＴＭＬ及其抽象解释器，然后，利用项推理过程给出了ＴＭＬ元程序
ＯＤＰ系统的企业观点反映了开放分布式系统对象之间的合作关系，本文以模态逻辑为工具来讨论企业观点下ＯＤＰ系统的形式化描述方法，通过在合作的系统对象和模态逻辑的可通界关系之间建立联
等值滤波器、高斯滤波器、多项式样条滤波器和Meeretal滤波器是四种典型的用于产生多分辨率图像锥的低通滤波器．本文分析比较了它们的频域特性：抗混淆性和滤波性，并通过分析比较它们对图像信息损失程度的影响，指出用特性不同的滤波器产生的多分辨率图像锥的质量是不相同的，提出高质量的多分辨率图像锥将更加快速、准确和有效地分割图像．分割图像的实验结果证实了这一结论．