条件句逻辑完全性问题探微初步

直接定义模型,不定义框架是条件句逻辑研究中的一个惯常现象。作者以唐纳德.纽特在Topics in Conditional Logic一书中给出的条件句逻辑系统W为出发点,引入了Wo=W RCEA,并证明了Wo的框架完全性,进而讨论RCEA的取舍对条件句逻辑完全性的影响,指出没有RCEA的条件句逻辑直接定义模型,不定义框架是有原因的,而有RCEA的系统则可以进一步讨论框架完全性问题。     

多主体自认知逻辑系统

认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题,多主体的自认知逻辑系统,是在单主体唯一知道逻辑系统的基础上进行的扩充.现将单主体的K45系统扩充为多主体的K45n系统,并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论,同时也对该系统的可靠性和完全性进行了证明.     

心理时间架构系统在英语语篇中的映射研究

无论是英语母语使用者还是二语学习者,都具有一个基于自身身体经验的心理时间架构系统,用于建立准确的时间参照体系,表达和理解真实或假想的时间关系.这种参照体系映射在语言中,即表现为能够使用时态、词汇或修辞手段等构建语篇中的时间关系.通过比较英语母语使用者和中国高级英语学习者的学术论文英文摘要,我们发现,二者在语篇时态的选择和分布上存在较大差异,而造成差异的主要原因是他们在概念层面与语言层面的心理时间架构方式的不同.     

企业横向竞争对供应链整体绩效影响

以多级供应链系统为对象,研究供应链内部成员企业之间的横向竞争对供应链整体运营绩效的影响。鉴于所研究问题的复杂特性,通过建立研究对象的多智能体模型,采用计算机仿真方法获取供应链的运营绩效指标值。研究结果表明供应链内部成员企业之间的横向竞争能够提高供应链系统的整体运营绩效。但是,对于竞争中处于弱势的企业而言,竞争会降低其收益。因此,可以通过收益共享等机制来实现供应链协调。     

探索汉语隐喻计算化研究之路

隐喻现象是思维及语言的中心问题,而隐喻的机器理解若不能得到有效解决,将会成为制约自然语言理解和机器翻译技术发展的瓶颈,因此,隐喻的计算化研究成为自然语言处理的一个重要问题.相对于英语隐喻计算研究,汉语隐喻计算研究才刚刚起步.根据本体、喻体和相似性关系三者的认知结构,可以把汉语隐喻分为九种类别;在此基础上,隐喻网络模型的建构为汉语隐喻句的机器识别和分类算法提供了形式化方法;此外,从解决逻辑全知问题和隐喻的语义真值角度提出的汉语隐喻逻辑系统,则为汉语隐喻句的释义提供了很好的支持.在今后的研究工作中,还需加强隐喻分类识别研究,建立隐喻属性知识库,构建汉语隐喻的认知类比描述与转绎系统,改造汉英机器翻译系统并对面向隐喻的搜索引擎进行升级.     

逻辑刻画:研究"理解"的新视角

对理解的哲学研究大多是纯粹的哲学思辨,很难体现理解所具有的客观性,不过也有哲学家把"理解"直觉上等同于"知道A的意义",或把理解归于"知道怎样",试图用知道的客观性来描述理解的客观性.理解可以用知道这样来表述:主体理解一个命题当且仅当主体知道这个命题真或知道这个命题假.把此命题形式化后作为特征公理纳入描述知识的S5系统,建立描述理解的认知系统U,用关系语义和典范模型方法证明此系统具有完全性与可靠性,能够逻辑地刻画理解的客观性.     

新型政商关系形成的动力机制研究 ——基于我国A股上市公司省级面板数据

分析新型政商关系形成的内在逻辑和主要促进因素,并以2008—2017年A股上市公司按省份分类数据为样本,采用固定效应模型实证考察制度变迁、政府间竞争与市场化程度等因素对政商关系变化的作用机理和影响程度.研究发现:制度变迁、政府间竞争与市场化程度对政商关系的改善均具有显著且不同程度的正向影响;进一步研究发现,制度因素与政府间竞争呈现出明显的区域异质性,影响效果呈现由东到西逐渐减弱的趋势.基于以上结论,就如何使各因素更好地驱动我国政商关系良好发展提出建议.     

模态合成谬误视域下的社会矛盾——埃尔斯特“社会矛盾”理论辨析

乔恩·埃尔斯特利用模态逻辑来研究合成谬误,将传统合成谬误界定为谓词的不可全称量化性,进而将模态合成谬误与博弈理论相结合,提出了新型社会矛盾理论.埃尔斯特将社会矛盾界定在意向主体的社会选择层面上,从方法论个体主义出发,刻画认知主体的心智行动和实践行动,提出反终极和次优态两个模型,为逻辑方法应用于社会科学研究做出了开拓性工作.遵循埃尔斯特开辟的分析性进路,可为行动之中的类悖论困境建模,从而揭示社会竞争与矛盾的内在机制,为避免恶性竞争和消解社会矛盾探究可能的路径.     

计算语言学及其视角下的翻译平台建设

计算语言学是一门包含计算机科学、语言学、数学以及认知科学等学科的新兴交叉学科,它随着计算机在语言处理领域的应用而出现并不断发展,最终自成体系。探讨语言学对计算语言学发展的作用及在计算语言学视角下的翻译平台建设,能够促进对两门学科研究的深入认识与积极探索以及对翻译活动的有效实践。语言学的分析方法与计算语言学的处理方法之间存在着某种似乎合理的分工,这两种分析处理方法的最佳结合取决于合理的混合模型系统的设计。从计算语言学视角下翻译平台建设等方面的应用探讨混合模型系统的研究方法,希望为促进翻译及外语教学等其他领域提供一些新的视角,引起更多研究者对计算语言学的关注,共同推动人类语言技术的进步。     

个性化推荐系统描述文件攻击检测方法

个性化推荐系统能产生针对性的、个性化的信息来满足不同用户需求,但也很容易受到用户描述文件注入恶意攻击,影响正常的推荐结果。针对该问题,分析和研究了描述文件的形式化模型、描述文件的属性及分类方法,应用粗糙集理论,设计了数据预处理离散化、决策表约简和个性化推荐处理相应算法,提出了一种用户描述文件分类学习和攻击检测的方法;为降低攻击对推荐结果的影响,完善了推荐系统的安全,设计出一种动态交互的个性化推荐模型框架。实例证明,用户描述文件的属性分类及检测方法是有效的,准确率高,能够有效地改善个性化推荐系统模型的安全。