Some Representation Theorems for Recovering Contraction Relations

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户:qiuyueguangxuan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
One of the important topics in the study of contraction inference relations is to establish the representation theorems for them. Various methods have been employed for giving representation of a broad class of contraction operations.However, there was not any canonical approach to dealing with the representation results for the contraction relations in the literature. Recently, in order to obtain the representation result for recovering contraction inference relations satisfying the condition weak conjunctive inclusion (wci), a notion of an image structure associated with the canonical epistemic state has been introduced. Based on the image structure, this paper establishes three representation results for recovering contraction inference relations which satisfy the conditions CL, CR1 and DR* respectively by the standard epistemic AGM states. A unique technique and uniform proofs to represent these contraction relations are adopted, which could overcome the core objection in previous description of contraction relations. The paper shows as well that the image structure and canonical epistemic states can be used not only to get the representation result for wci-recovering contraction relation, but also to provide semantic characterizations for a wide range of recovering contraction relations.
其他文献
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
本文通过对荣华二采区10
期刊
私募股权基金是一种创新型的投资工具,用于对非上市企业进行股权投资,可促进金融结构优化、推动企业素质提高。私募股权市场是全球资本市场的重要组成部分,私募股权基金对全球尤
In the past decade, the booming of Intet challenges the middleware in three aspects: quality of service,balance of changes and stabilization, and across-Intet i
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
一、选择重大主题rn生态保护越来越成为全社会关注的热门话题.这篇稿件的可贵之处在于,四川省环保厅厅长与19位各界代表面对面交流,9万多网民实时收看参与互动的场景,不仅仅
期刊
写好作文是保证语文高分的重要条件,于是市场上出现了大量的写作辅导、写作材料等书籍,作文速成班也是门庭若市,可考生的作文分数很难提高。难道有些学生天生就不能写好作文
期刊
To compare the effects of slow-release nitrogen fertilizer at six different levels on the flag leaf chlorophyll fluorescence characteristics of super hybrid ric
在当今经济全球化和区域经济一体化的环境下,城市群是一种有效率的组织形式,它能够整合周边城市资源,带来的是巨大的集聚经济、统一的市场和创新能力的提高。我国正处于城市化高
学位
为了研究丛枝菌根真菌(AMF)对低温胁迫下玉米根部生长及渗透调节物质含量的影响,试验选择郑单958玉米品种采用室内分析法,测定了玉米根部生长指标和渗透调节物质含量。结果表