Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

语义网及其应用

面对万维网信息化规模急剧膨胀、信息载体也趋于多元化等原因所带来的诸多困难,语义网的提出为此提供了解决方案及技术支持,它利用对网络上的信息资源添加语义,达到不仅为人们所理解,也可以使机器理解和处理的目的.本文首先介绍了语义网的背景、基本概念、技术框架,然后阐述了语义网的结构框架以及各层次之间的协作关系与作用.结合一个实例...     

随机和认知混合不确定系统的全局灵敏度分析方法

为计算具有随机不确定性和认知不确定性的混合不确定系统灵敏度,提出一种基于证据理论和条件概率理论的全局灵敏度分析方法.用证据理论对认知不确定性变量进行表征,并提出两种基于证据理论的随机采样方法,包括一次随机抽样法和二次随机抽样法.运用条件概率理论,提出存在认知不确定性条件下混合不确定系统的Sobol'全局灵敏度指标,经过理论推导给出一阶灵敏度及总灵敏度的计算公式,并设置单循环的拟蒙特卡罗方法实现灵敏度的近似数值计算.开发了灵敏度分析程序,并给出了典型应用实例.实例表明,新方法的分析结果正确,计算工作量可控.     

中西逻辑不平衡发展的原因探析

先秦时代的中国和古希腊同为世界逻辑的发源地,但是中西逻辑却走着不同的发展道路。从与逻辑密切相关的社会环境、文化传统、社会观念、思维习惯诸方面探析中西逻辑发展中产生差异的历史必然。     

基于SHIQ DL关系词语分类研究

语言学中现有的两分系统和三分系统都不能满足OWL DL描写关系词语间逻辑语义关系的需要,因为它们的逻辑基础和OWL DL的逻辑基础SHIQ DL大相径庭.文中从SHIQ DL构造算子的描写能力出发,以SHIQDL逻辑层次为基础对关系词语进行分类.     

What can we learn from the fifties?

Economists have increasingly elicited probabilistic expectations from survey respondents. Subjective probabilistic expectations show great promise to improve the estimation of structural models of decision making under uncertainty. However, a robust finding in these surveys is an inappropriate heap of responses at “50%,” suggesting that some of these responses are uninformative. The way these 50s are treated in the subsequent analysis is of major importance. Taking the 50s at face value will bias any aggregate statistics. Conversely, deleting them is not appropriate if some of these answers do convey some information. Furthermore, the attention of researchers is so focused on this heap of 50s that they do not consider the possibility that other answers may be uninformative as well. This paper proposes to take a fresh look at these questions using a new method based on weak assumptions to identify the informativeness of an answer. Applying the method to probabilistic expectations of equity returns in three waves of the Survey of Economic Expectations in 1999–2001, I find that: (i) at least 65% of the 50s convey no information at all; (ii) it is the answer most often provided among the answers identified as uninformative; (iii) but even if the 50s are a major contributor to noise, they represent at best 70% of the identified uninformative answers. These findings have various implications for survey design.     

模态逻辑的信息框架

针对一些学者对情景语义学的质疑，该理论创始人之一巴威斯采用信息流模型理论的技术手段提出从信息视角解释模态概念的信息框架。信息框架，作为模态逻辑的语义框架，与克里普克框架有相同的解释力和适用范围。信息框架能够为形式描述容错性信息流推理的模态信息流逻辑研究提供可能语义基础，为信息流逻辑的进一步深入研究提供理论支持。     

Concept Approximation between Fuzzy Ontologies

0 IntroductionOnktnoolwolgeyd[g1]ei so tnh eth bea ssiec moaf nstihcari Wnge ba[n2]d. re Tuhsienregare concepts ,relations ,instances and axioms in theontologies .Classic ontologies are based on descrip-tionlogics[3],whichinterpret conceptsinthe ontol-ogy as sets of instances . However , we often needrepresent uncertainty information in practice,e.g.text and multi media information. The classic ontol-ogies are insufficient to represent such uncertaintyinformation, because it may be uncertain …     

可信Web服务的度量模型

针对Web服务的可信性缺乏有效度量方法的问题,引用本体的基本思想和主要理论对Web服务进行统一的语义描述和建模,提出了可信Web服务的度量模型(MM-TWS),建立了面向本体的可信Web服务,并解析了MM-TWS中建立本体的基本步骤和主要流程。采用模糊描述逻辑来设计MM-TWS的模型算法FDL-MM-TWS,并推算Web服务的可信度。最后,利用MM-TWS对一个基于突发事件处理的智能建筑系统集成进行度量,初步验证了该方法的可行性和有效性。