On the logic of common belief and common knowledge

The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge — whether individual or common — is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in Sections 3 and 4, respectively. It is recalled that Aumann's partitional model of CK is a particular case of a definition in terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular cases of neighbourhood structures. Section 3 reviews the soundness and completeness theorems proved w.r.t. the former structures by Fagin, Halpern, Moses and Vardi, as well as related results by Lismont. Section 4 reviews the corresponding theorems derived w.r.t. the latter structures by Lismont and Mongin. A general conclusion of the paper is that the axiomatization of CB does not require as strong systems of individual belief as was originally thought — onlymonotonicity has thusfar proved indispensable. Section 5 explains another consequence of general relevance: despite the infinitary nature of CB, the axiom systems of this paper admit of effective decision procedures, i.e., they aredecidable in the logician's sense.     

Fuzzy格上的Urysohn度量化定理

当Ｌ是Ｆｕｚｚｙ格时,证明了一个ＣⅡ拓扑分子格（Ｌ,η）可点式ｐ．度量化当且仅当其是正则的;可点式度量化当且仅当其是正则Ｔ１的．     

基于模糊规划的QFD 系统参数确定方法

针对QFD 系统的内在模糊性,运用带有对称三角形模糊系数的模糊规划理论,提出了一 种确定QFD 系统参数的方法. 并通过工程特性目标值的规范化,定义产品开发总成本函数、工 程特性改进成本函数及改进成本系数等概念,建立了一个QFD 规划模型. 仿真结果表明,该模 型能够帮助开发人员在不确定的、模糊条件下有效确定关联函数及自相关函数,优化顾客需求 的满意水平,确定工程特性目标值,使新开发/ 改进的产品顾客满意度赶上或超过目标市场上 的竞争企业,并满足开发预算约束.     

基于模糊判断矩阵信息确定专家权重的方法

本文对群组模糊判断矩阵集结过程中确定专家权重的问题进行了研究,建立了模糊判断矩阵的特征矩阵和求解群集结矩阵的最优化模型,通过矩阵之间距离度量判断信息自身逻辑一致性程度和群体相容性程度,给出一种基于专家判断信息的可信度计算其后验权重的方法,最后用算例予以说明.     

信息不完全确定的区域产品模糊区间聚类方法

区域产品分类与选择是区域经济发展中最重要和最基础的工作.在产品选择与分类时,需要确定指标权系数和分类阈值等参数,这在实际应用中是比较困难的.针对这种情况,提出了一种信息不完全确定的区域产品模糊区间聚类方法.该方法构建了指标权系数信息不完全确定的最优模糊区间聚类模型,利用遗传算法和改进的FCM算法联合求解所得优化模型,得到指标权系数、最优聚类中心和最优划分,进而确定各产品所属类别.最后将该方法应用于某区域的产品分类和主导产品的确定中,实例计算说明该方法的可行性和有效性.     

法律规范的逻辑结构新论

将法律后果界定为法律规范的逻辑构成要素,不仅与法律规则和法律部门的划分理论相矛盾,而且与立法、执法和司法实践相冲突。法律后果中应包含奖励,有肯定性法律后果和否定性后果。规范适用的条件应是法律规范的逻辑构成要素。法律后果要素本身就是一个完整的法律规范,法律规范的逻辑结构只由规范适用的条件(或称为假定)和行为模式(或称为处理)构成。     

水库移民分享水电工程效益的制度逻辑、 实践困境及破解之道

水库移民分享水电工程效益旨在促成显性工程效益和隐性发展机遇实现跨地域、跨组织、跨主体的公平配置。 作为水库移民的应然权利,利益分享既符合公正补偿的制度逻辑,更彰显共商共建共赢的发展理念,但目前补偿救济色彩较重、市场导向偏弱,并存在后靠移民发展权利及机遇隐性被动减损、外迁移民脱嵌于迁出地及受益地发展红利、非农移民缺乏系统保障等实践困境,其原因在于水电工程综合效益量化难度大、参与主体关系地位不对等、执行管理机构人员配置短缺。 因此应健全水电工程效益分享协同管理机制,鼓励水电企业履行社会责任,优先助力贫困水库移民脱贫,灵活渐进地实现水库移民分享工程效益实践机制的稳步定型和有序推广。     

基于发展新理念的粮食类家庭农场成长绩效测评研究

基于发展新理念对粮食类家庭农场成长绩效的评价指标进行理论遴选后,借助专家评审和鉴别力分析进行指标筛选,构建了具有较高信度和效度的评价指标体系。以华北平原五省的453户粮食类家庭农场为样本,采用AHP-模糊综合评价模型,对指标体系做了应用研究。结果表明：粮食类家庭农场成长绩效虽在总体上处于中等偏上水平,但个体间存在一定的成长绩效差异;经济绩效整体表现良好,创新绩效却较低。因此,应引导粮食类家庭农场平衡性成长、制定精准扶持方略和建立成长绩效监测体系。     

多重制度逻辑与产业扶贫项目的异化 ——组织场域的视角

作为扶贫开发的重要途径,产业扶贫在实践过程中常常出现瞄不准或瞄准了但效果不突出的情形,组织场域为揭示其中的奥秘提供了有益视角。Y村的案例表明,在产业扶贫的组织场域内,地方政府与烟草公司在各自领域制度环境的制约下对自身参与产业扶贫的行为作出适应性的调整,改变了产业扶贫场域内的资讯交换渠道与资源传递方式,进而形成了组织行为主体参与产业扶贫的隐形运行逻辑。循此逻辑,非正式权力与利益的勾连固化了组织行为主体的权力关系与场域位置,扶贫资源经由村委会与合作社的承接更多流向村干部及种植大户等村庄精英群体,贫困农户则处于边缘位置。组织场域内中心--边缘关系结构的形成最终导致产业扶贫实践中制度表达与项目实践的背离。     

习近平新时代开放发展理念的致思逻辑

党的十八大以来,面对全球经济深度融合的开放时代,以习近平同志为核心的党中央准确把握国际国内发展大势,提出了新时代开放发展理念,指明了我国开放发展的新方向,奏响了我国开放发展的新乐章。习近平新时代开放发展理念具有深厚的理论渊源,并以基本要求、布局安排、实施路径构成了其逻辑体系,彰显了继承性与发展性相统一、包容性与竞争性相统一、民族性与世界性相统一等鲜明特点。