SATCHMORE: SATCHMO with RElevancy

We introduce a relevancy detection algorithm to be used in conjunction with the SATCHMO prover. The version of SATCHMO considered here is essentially a bidirectional prover, utilizing Prolog (back chaining) on Horn clauses and forward chaining on non-Horn clauses. Our extension, SATCHMORE (SATCHMO with RElevancy), addresses the major weakness of SATCHMO: the uncontrolled use of forward chaining. By marking potentially relevant clause head literals, and then requiring that all the head literals be marked relevant (be totally relevant) before a clause is used for forward chaining, SATCHMORE is able to guide the use of these rules. Furthermore, the relevancy testing is performed without extending the proof search beyond what is done in SATCHMO. A simple implementation of the extended SATCHMO can be written in Prolog. We describe our relevancy testing approach, present the implementation, prove soundness and completeness, and provide examples that demonstrate the power of relevancy testing.This research was partially supported by NSF Grants IRI-8805696 and CCR-9116203. This paper is a major revision of Wilson and Loveland (1989).     

灰色理论在古陶瓷断代中的应用

利用模式识别方法可以推测古陶瓷出产年代。将古陶瓷中各化学成分的含量组成一个向量,并与该向量的灰色模型GM(1, 1)参数构成新向量,用于描述古陶瓷样品。以灰色关联度为距离定义,使用近邻法对古陶瓷样品年代进行预测,其留一法预测精度达79.55%。实验结果验证了灰色理论可以用于古陶瓷断代。     

基于Wikipedia的语义相关度计算

在意见挖掘中,为实现特殊领域知识的语义相关度计算,提出基于Wikipedia的语义相关度计算方法。在构建Wikipedia类别树的基础上,通过Wikipedia类别向量表示Wikipedia中的词汇,形成一部包含各种领域知识的Wikipedia词典,利用该词典计算语义相关度。实验结果表明,该方法的斯皮尔曼等级相关系数可达到0.77。     

企业文化评价的定量研究

企业文化评价是企业文化建设的重要环节，但目前国内对企业文化评价定量研究较少．在确定了企业文化两级评价指标的基础上，主要采用模糊数学中的综合评判方法构建了企业文化评价模型，并且应用灰色系统理论中的关联度来评价企业文化等级，消除了已往研究中只采用模糊综合评判，对评判结果使用最大隶属度原则可能无法得出准确结论的弊端；最后进行了实证演示说明模型的运用，表明本方法的企业文化的综合评价提供了一种更加科学准确的定量方法．     

Positions of Truthfully Answered Controls on Control Question Tests With the Polygraph.

Students (N = 120) guilty of a mock crime, innocent and informed, or innocent and uninformed of crime details were examined by polygraph with an altered form of Control Question Test (CQT). Ambiguous, lie-engendering control questions were altered to form clear direct questions answered truthfully. When these control questions were positioned before crime-relevant questions, most guilty and innocent participants were correctly classified. Most participants were classed as guilty when crime-relevant questions were positioned before control questions. Lying to crime-relevant questions in the second position resulted in skin resistance, F(2,108) = 8.2, and blood volume, F(2, 108) = 6.1, responses larger than Orienting Responses to initial control questions. Accurate detection depends on the position of control questions. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Fusing navigation and vision information with the Transferable Belief Model: Application to an intelligent speed limit assistant

The present paper focuses on the fusion, based on imprecise and uncertain information, between a Geographic Information System (GIS) and a Speed Limit Sign Recognition System (SLSRS), performed on camera images. This study is dedicated to the development of a Speed Limit Assistant (SLA) in the context of vehicle driving aid. The proposed SLA is developed within the Evidence Theory framework. The information from the sources is interpreted as belief functions using a non-antagonistic basic belief assignment (bba) in the Transferable Belief Model (TBM) semantics. This bba ensures that the conflict which could appear after the global fusion is exclusively due to source discordances. The present paper proposes a way to manage these discordances by formalizing a conflict-related constraint decision rule. As far as the application is concerned, a two-level (decentralized) fusion architecture is developed. The sensor relevancy is estimated in a first step, followed by the GIS intra-sensor fusion with a maximum of Credibility decision which determines the context-compliant speed candidate considering the road information given by the digital map. This allows the detection of possible errors of the GIS. The multi-sensor fusion then combines the GIS and SLSRS information considering that the sensors are independent and specialized in one speed, each. For the decision, two strategies are adopted. The first one considers the conflict as a threshold for the final speed selection, and so allows the SLA to stay undecided in case of highly conflicting situations. The second strategy employs the 5th version of the Proportional Conflict Redistribution operator. The SLA has been tested in simulation and in real-time experiments by qualitative and quantitative performance evaluations.     

中国产业结构变动的能源消费影响--基于灰色关联理论和面板数据计量分析

本文在利用经济增长的产业分解模型分析对经济增长贡献的基础上，以中国近20年来的数据为样本，采用灰色关联分析法分析产业结构和能源消费的关联效应，并利用面板数据计量模型进一步分析1995年以来产业内部各行业的能源消费特征，总结出：第二产业对能源消费总量的影响最大，灰关联度高速0．905，产业结构地位不断提升，对GDP增长的贡献稳步上升，中国经济的增长主要依靠能源高消耗的第二产业来拉动；一、三产业和能源消费的关联性也较高，但一产的经济贡献呈下降趋势，三产稳步不前，对经济增长的贡献有限；在产业内部，工业是能源消费能力最强的行业，行业影响因子最高。     

层次分析法在城市防洪工程方案选择中的应用

应用层次分析法的基本决策理论,建立了城市防洪工程方案选择的层次分析模型。结合某实际工程的具体条件,应用层次分析法原理和灰色关联分析的方法,对城市防洪工程方案进行了综合评价。     

基于属性坐标系框架下的Freebase语义库研究

属性坐标系是由n个不相关的属性组成的一个n—1维坐标系。第n＋1个属性,可以由这n个属性做合取运算得到;这样在这个n-1维坐标系中,就形成一个唯一点来表示这第n＋1个属性。2007年Freebase数据库的建立,使得该属性坐标系理论得以验证,并为属性坐标系的建立提供可能,而且将在语义相关度计算中发挥重要作用。