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.     

Evaluating employee assistance programs. A review of methods, outcomes, and future directions

Renewed interest in assisting troubled employees has led to an upsurge in the development of employee assistance programs, coupled with demands for demonstrable effectiveness. This review examines the nature and scope of these programs, their administrative and methodological context, and the types and outcomes of evaluation studies conducted thus far. Proposals for improving future investigations through a number of different approaches and strategies are then made.     

基于本体系统的知识管理人工智能研究

分析了知识管理中的信息组织难题和群体过程非结构化特性的本质意义. 介绍了用于解 决人工智能中非结构化问题的本体系统方法. 并通过支持群体交互知识管理的电子公共大脑 本体系统设计的案例,对本体系统方法的概念、构成和应用方法作了具有典型意义的示例性 介绍.     

生存理性如何影响农户的差别化生产

在食品安全威胁下,农户重新定义了“为自家生产”和“为市场生产”的差别化生产行为。基于经济理性行为假设认为农户存在以确保自家食品安全为动机的生存理性。根据在5省区收集的827份农村入户调研数据,对农户差别化生产行为进行具体分析,描述了差别化生产行为总体特征,并测量农户食品安全自我保护意识、威胁感知程度和信息渠道等因素。运用Probit模型验证了命题：以食品安全自我保护意识为特征的生存理性,支配了农户为确保自家消费安全而进行的差别化生产。     

马克思恩格斯生态思想及创新性发展

人化自然作为人的无机身体是人类社会存在的前提,人与自然和谐统一是生态文明的核心;资本主义生产方式造成人与自然、人与人之间新陈代谢关系断裂是资本主义生态危机的主要原因;消灭私有制、建立自由人联合体的共产主义是解决生态危机的最终出路.马克思恩格斯生态思想是当代中国生态文明建设的理论基础和价值准则.以习近平总书记为核心的党中央继承和发展了马克思恩格斯生态思想,提出"生态兴则文明兴,生态衰则文明衰"的生态文明观;"绿水青山就是金山银山"的生态发展观以及"构建人类命运共同体"的生态价值观,是对马克思恩格斯生态思想的创新与发展.     

资本下乡：进入模式选择及其影响因素

进入模式是经济组织配置资源的重要手段。以工商资本对农户经营活动的控制权程度为依据,将工商资本投资农业的进入模式划分为“松散型”、“半紧密型”、“紧密型”三种类型。利用对广东、湖北、江苏以及云南四省151个投资主体的调查数据,采用有序逻辑回归模型分析生产因素、市场因素、制度因素以及生产技术传递能力对工商资本投资农业的进入模式选择的影响。结果表明：耕地资源优势越弱,工商资本投资农业选择紧密型进入模式的可能性越高;市场潜力越大,越倾向于选择紧密型进入模式;非正式制度越不利,选择紧密型进入模式的可能性越低;生产技术的传递能力越弱,越倾向于选择紧密型进入模式。     

金融危机、货币政策与企业贷款行为——基于企业风险承担的微观视角研究

货币政策调控会先影响企业的风险偏好或风险容忍度,进而对企业的贷款行为产生影响。并且,金融危机冲击和货币政策调控会引起不同特征企业贷款行为的异质性反应。经验研究发现：宽松的货币政策会显著引起我国企业风险承担的上升,而企业风险承担上升也显著引起其银行贷款规模的增加,中小企业、股权分散型企业和民营企业其银行贷款规模对企业风险承担变化的反应更加敏感。在2008-2009年金融危机期间,企业风险承担水平对货币政策变动的反应更加灵敏,而企业贷款规模对企业风险承担的敏感度有所下降,大型企业、股权集中型企业和国有企业其基于企业风险承担传导的银行贷款行为受金融危机冲击影响更大。     

动词隐含因果性和语篇话题性对回指选择的影响

动词隐含因果性和语篇话题性是制约回指选择的重要因素,但两者对回指选择的影响机制及交互作用仍不明确。语篇生成续写实验表明,动词隐含因果性确实会影响到后续指称对象的选择,并在原因类联结关系中得到加强;当动词语义倾向回指的对象为新引入的实体,而非语篇话题时,其回指倾向最显著。这说明基于给定语境生成语篇的过程遵循省力原则,但与语篇话题性相比,动词隐含因果性对回指倾向的制约更具刚性。     

二元学习与创新绩效的作用机制——组织内部协作网络的调节作用

组织学习是驱动企业创新、实现技术追赶与超越追赶的关键因素,如何合理组织企业的利用式和探索式学习是企业构建研发体系的关键问题。学界对二元学习是否有利于企业的创新绩效存在截然不同的观点。同时,组织内部的情境因素是影响组织二元学习和创新绩效关系的最根本因素,组织内部研发协作网络是二元学习的重要载体。基于美国半导体行业企业十年间的专利数据,实证研究发现,不同维度的二元学习对企业创新绩效具有不同的影响,联合二元学习能够积极影响企业的创新绩效,平衡二元学习则会降低企业的创新绩效;内部研发协作网络密度在二元学习和创新绩效的关系中具有显著的调节作用,企业的内部协作网络密度越高,联合二元学习对企业创新绩效的积极影响越弱,平衡二元学习对创新绩效的负影响则加剧。     

明代宫廷书画收藏考略

明代宫廷的书画收藏十分丰富,嘉靖以后虽多有散出,但仍具有一定规模,直至明清鼎革之际宫廷所藏书画才散佚殆尽。明代宫廷所藏书画主要包括接收前代遗存、查抄籍没书画以及帝后臣工新创作书画几个部分。宫廷所藏书画主要由宦官机构司礼监负责保管,存放于质慎库中;另有部分历代帝王、君臣画像由印绶监保管,存放于古今通集库中。明代中叶以后,宫廷收藏书画通过充抵官员俸禄、偷窃等方式大量流散出宫,但同时也存在一定的补充和回流。明清易代之际,宫中所藏书画散佚殆尽,这为明末清初私人收藏家群体的崛起提供了机遇。