【摘 要】
：
不完全信息数据库是数据库领域的重要研究方向，不仅具有重要的理论价值，而且还具有重要的应用价值。中介逻辑命题演算系统MP~M和中介逻辑谓词演算系统MF~M是一种适用于处理不完
论文部分内容阅读
不完全信息数据库是数据库领域的重要研究方向，不仅具有重要的理论价值，而且还具有重要的应用价值。中介逻辑命题演算系统MP~M和中介逻辑谓词演算系统MF~M是一种适用于处理不完全信息的新的逻辑系统。本文建立了MP~M系统的范式理论，构造了其表推演系统，并证明了其可靠性和完备性。该范式理论能够在三值环境下依旧保留等值完全范式与真值表——对应的直观关系，同时，建立的表推演系统可作为不完全信息的自动推演系统。此外，通过引入判真、判中和判假三个算子给出了MF~M系统与经典二值逻辑系统的关系，并以经典二值逻辑系统作为工具讨论了MF~M系统的消解理论，该消解理论能够完全利用经典二值逻辑系统的理论方便地解决MF~M的消解问题。
其他文献
组播技术具有能将信息一次发送到多个接收者的特点，能够节省大量的带宽，这使得组播技术得到广泛的应用。而与此同时，由于组播面临多方面的安全问题，组播的安全得到广泛的关注。本
PETSc(Portable,Extensible Toolkit for Scientific Computation)是美国Argonne国家实验室开发的可移植可扩展科学计算工具箱,目的是在高性能计算机上数值求解偏微分方程及
在知识经济、网络信息时代，分析服务的作用越来越重要。如何不受时空限制以可重用、可重组的方式集成和利用分析系统提供的服务是当前计算机科学工作者面临的一大课题。 本
在当前的多厂商网络环境下,网管系统互操作是长期困扰电信运营商的一大难题.为了解决这一难题,各大标准化组织制定了一系列接口标准,但却由于种种原因未能发挥预期的作用,从
随着网络的发展，多层分布式集群体系逐渐成为应用趋势，不仅具有更高性能／价格比，而且还提供了良好的可扩展性。在过去，高可用性一般就是需要系统能够提供不间断的服务，系统能够及时
软件错误分析是软件测试工作中必要的过程和手段，Web技术的出现，对软件测试又提出了新的要求。在软件测试中采用软件错误分析专家系统作为辅助工具，不仅有助于测试工作的顺利完
近几年来,随着数字媒体行业的不断兴盛,信息传递的方式也从传统的以纸质载体为主变成如今以数字媒介为主的方式。在数字媒体给人们带来方便的同时,信息安全问题也日益突出,各
资源受限是嵌入式系统设计和实现过程中的根本约束,尽管硬件技术得到了突飞猛进的发展,由于成本和其它环境因素的限制,嵌入式系统的资源相对于目标环境日益复杂的功能要求却
电信管理网(Telecommunication Management Network，TMN)是一种新型的管理电信网的网络，其基本概念是提供一种有组织的网络结构，以取得各种类型的操作系统之间、操作系统与电信
数据通信是工业测控网络的关键技术,随着当前用微处理器技术实现过程控制以及智能传感器的发展,需要实现工业过程现场仪表和控制系统之间的全数字化、双向、多站点的串行通信