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.     

多重网络中的词学研究

近20年来,词学研究有所进展,但仍存在一些问题。词学研究应在多重网络中展开。首先,词学是专门之学,但研究者仍需建构开放的知识网络。词乐研究虽有不少成果,但仍处于相对低潮。这与研究者受限于音乐知识,无法有效介入有关。词谱、词律等专门之学亦是如此。其次,可以尝试词学研究的时空延展,打造通观的“全息网络”,通过长时段的、大量的文本分析发现新话题。同时,注意域外汉籍,因为它们可以提供新文献,启发新视角,丰富文本网络。最后,要注意数字人文的发展趋向,要建设词学检索库,善用新技术,更新研究理念,以便及时因应。但数字人文终究只是辅助研究手段,技术取代不了阅读与思考,只有在传统研究的基础上,技术才能发挥更大的作用。     

Task partitioning in new product development teams: A knowledge and learning perspective

R&D alliances and outsourcing elements of the new product development process are now commonplace practices among many firms. However, little previous work has examined how these organizational choices influence project knowledge and learning. Based on a comparison of three new product development projects in the software industry, this paper examines how task partitioning in the project influences learning and knowledge development within the firm. The paper suggests that internal development projects encourage synthetic learning and development of architectural and tacit knowledge; in contrast, outsourcing and joint ventures encourage analytic learning and development of component and explicit knowledge.     

基于知识的组织结构模型

本文在分析企业组织结构发展历程的基础上,深入研究了知识与组织之间的内在联系,提出了一种基于知识并面向任务的三维立体组织结构,以智能化的模型分析方法为现代制造企业经营业务过程分析与企业重组提供先进的组织管理模式,对提高企业组织系统的核心竞争能力将发挥积极的促进作用。     

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

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

基于可变参数优化的相关证据合成方法研究

总结了相关证据合成的理论方法,分析了已有合成方法的不足,对相关证据的相关焦元 的分布情况进行了分析,提出一种面向问题的基于可变参数的相关证据的合成方法. 方法只对 相关焦元的基本可信数进行修正,克服了对相关证据所有焦元进行修正的弱点,使修正的对象 更加合理,修正系数可用基于学习的寻优方法得到. 在相关证据的相关焦元的基本可信数未知 的情况下也可进行相关证据的合成. 计算结果表明该方法对合成的结果有明显的改进     

Forest Fire Risk Management and Public Participation in Changing Socioenvironmental Conditions: A Case Study in a Mediterranean Region

Under current conditions of accelerated socioenvironmental change in the Mediterranean forested landscapes, fire is one of the most critical and difficult risks to tackle within the region. This article summarizes the lessons learned from a project based on the participatory integration of qualitative local stakeholders' knowledge with expert GIS fire simulations carried out in the County of El Bages, Catalonia, Spain. First, in this article, a theoretical model--the forest fire circle--is presented in order to explain the reasons for the rise in the damage and frequency of forest fires in this Mediterranean area. Second, it describes the methodology developed and the stages followed during the project. Results show that: (1) the advocacy of old forest reactive management paradigm assumptions and practices based on uncontrolled forest succession can put vast wooded areas of the Mediterranean basin at critical risk; and (2) forest fire management approaches that ignore the crucial role of long-term prevention and local capacity building strategies have failed. In the final section, the content and the specific dimensions of the old reactive paradigm that has characterized forest fire risk management in Catalonia are discussed and contrasted with the possibly emerging preventative paradigm.     

Performance measurement with classification information: an enhanced additive DEA model

This paper presents an improved measurement tool for evaluating performance of branches within a major Canadian bank. While there have been numerous previous studies of performance in the banking industry, particularly at the branch level, this study is different in a very significant way: specifically two kinds of data are used to develop the model. The first type of data is that related to standard transactions, available from any bank; such have formed the basis of numerous previous studies. The second type of data, obtained from the site studied, is classification information, based on branch consultant/expert judgment as to good and poor performance of branches. The purpose herein is to present a modified version of an existing benchmarking model, data envelopment analysis (DEA), and to show how this tool is applied in the banking industry. The mechanism used herein to incorporate expert knowledge within the DEA framework is to first apply a discriminant or classification tool, to quantify the functional relation that best captures the expert's mental model for performance. The outcome of this first phase is an orientation of variables to aid in the definition of inputs and outputs. The resulting orientation then defines the DEA model that makes up the second phase of the model.     

产业集群参与者交互偏好与知识网络演化:模型与仿真

知识网络是产业集群网络演化的重要组成部分和先决条件,本文将产业集群中参与者进行交互的偏好分为任务导向型和知识导向型,建立了一个基于多智能主体的产业集群知识网络模型,利用Blanche软件实现了知识网络演化模型的仿真计算,通过仿真研究了任务导向型和知识导向型知识网络的对网络演化的不同影响.最后,本文提出了研究的局限性和下一步研究的方向.     

基础研究学科发展的宏观知识挖掘

本文提出了一种学科发展分析的宏观知识挖掘思路和方法.从整体上、宏观上对蕴含于基础研究项目建议书(Proposal)中的知识进行挖掘,并在挖掘的基础之上对基础研究的学科发展趋势、特点,学科领域的分化、融合以及交叉等进行分析,并从学科整体、学科领域和项目等三个层面对基础研究的科研管理工作提供基于知识的决策支持.