基于扩展描述逻辑和逻辑程序的事件动作形式化表示与推理

"事件"是比"概念"粒度更大的人类知识表示单元,更接近于人类的认知过程。动作作为事件的一个重要要素,表示事件中对象的状态的变化过程。在状态的变化过程中加入时间信息,将动作表示为对象的状态随时间变化而变化的过程,使得动作描述得更加具体。运用事件中的动作、对象和时间要素构建了一个动作形式化体系,研究了事件知识中确定性动作和不确定性动作的语法表示和语义解释。该形式化体系将扩展的带时间维的描述逻辑T-ALC和逻辑程序设计进行整合,增强了动作的表达能力;在动作的推理中,将确定性动作转化为逻辑程序Datalog规则实现动态推理,将不确定性动作转化为Datalog规则实现不确定推理。最后通过银行服务系统实例对动作的形式化表示和推理进行了验证。

一种基于扩展描述逻辑的事件实例检测方法

针对事件要素之间客观存在的语义关系以及事件与事件类之间的语义关系进行研究,提出了一种基于扩展描述逻辑的事件实例检测方法。该方法利用事件中的时间、动作、环境要素对事件进行语义补充,然后利用扩展描述逻辑中概念的可满足性和概念包含的推理功能对事件实例进行检测,最后通过实验证明该方法可实现文本中的事件实例检测,准确率达到了85.12%。

成都地区再发中风人群发病时间规律的运气学研究

目的:探讨成都地区人群中风发生与其出生日期、发病日期运气信息的相关性。方法:采集200例成都地区再发中风患者出生日期、首次发病日期、再次发病日期的运气学信息,寻找其相关性。结果:①出生时间运气信息包含火(少阴君火/少阳相火,下同)的患者,发生中风病几率升高。②患者首次、再次发病,均与当年运气信息含有火密切相关;即当运气信息出现火,发生中风病几率升高。③当患者出生、发病时间运气信息中出现以水(太阳寒水)为主导时,发生中风病几率升高。④患者出生日期运气含木(厥阴风木)或首次发病时间运气含木,其发病或再次发病与水(太阳寒水)出现有一定相关性。⑤患者出生日期运气含木,其再次发病与金(阳明燥金)亦存在联系。结论:从运气学信息分析,患者中风病的发生与运气中火的出现密切相关,其发病与出生日期运气学信息有一定的相关性。

MSCT联合脑脊液检查对中枢性神经系统感染的诊断鉴别价值

目的探究中枢性神经系统感染诊断鉴别上联用MSCT与脑脊液检查的应用价值。方法回顾性分析2015年12月至2018年12月在我院接受治疗82例中枢性神经系统感染患者以及同期头疼79例患者检查资料,分别作为观察组(n=82)和对照组(n=79),所有患者均接受MSCT以及脑脊液检查。分析观察组患者MSCT检查影像学表现,比较两组患者MSCT检查阳性率、脑脊液检查结果,以及MSCT与脑脊液联合诊断效率。结果观察组患者MSTC检查阳性率(97.80%)显著高于对照组(6.33%)(P<0.05),其中MSCT检查化脓性脑膜炎、结核性脑膜炎、病毒性脑膜炎阳性率分别为80.00%、85.19%和96.67%。化脓性脑膜炎和结核性脑膜炎患者LA、LDH和CK水平均显著高于对照组和病毒性脑炎患者(P<0.05);观察组患者脑脊液中IDN-γ和NSE水平显著高于对照组(P<0.05),而观察组中结核性脑膜炎患者IDN-γ中水平最高,病毒性脑膜炎患者NSE水平最高。MSCT与脑脊液联合用于诊断病毒性脑炎灵敏度较好,诊断化脓性脑膜炎特异度较高,诊断结核性脑膜炎准确度较好。结论MSCT与脑脊液检查从不同方面对中枢性神经系统感染进行有效诊断与鉴别,两者结合可有助于对不同类型中枢性神经系统感染诊断与鉴别。

可想象性与可能性（英文）

本文的讨论围绕着“想象障碍迷思”这一议题,即为什么人们对某些反事实情境存在想象障碍,而展开。本文首先对BrianWeatherson 的“In-Virtue-Of Hypothesis”给出了批评,并提出人们对某些反事实情境存在想象障碍是因为那些反事实情境在概念上是不可能的——概念上不可能的情境,也仅有概念上不可能的情境才是不能被想象的。针对这种对可想象性与可能性关系的理解,本文也讨论了一些可能的反驳并指出这些反驳的不成功之处。

超义务的可能性

根据通常的定义,超义务行为是具备道德价值但同时是非义务性的行为。超义务概念面临两个困难:(1)“价值溢出难题”:超出义务的价值是什么?(2)“道德榜样难题”:为什么高尚者往往认为他们的超义务之举是义务性的?文章旨在回应这两个挑战,从而阐明超义务的可能性。针对价值溢出难题,作者在理清义务、理由、价值等概念的基础上指出,超义务之举溢出于义务的价值源于主体品性的价值。针对道德榜样难题,作者首先区分了道德形而上学和道德决策两个评价维度;进而论证,主体可以合理地(道德决策维度)把非义务性的行为(道德形而上学维度)视作义务。

基于事件本体的Web服务动态组合

提出了一种基于事件本体的Web服务动态组合方法.将服务与事件本体中的事件类进行映射,组合服务即是本体中的复杂事件类,服务请求即是一个事件的实例化.用户输入服务请求以后,可以通过事件本体的推理,找到用户请求对应的事件类;再根据事件本体中的事件间关系进行推理,找到它的组成事件类或者后继事件类,从而得出服务和服务之间的关系和交互;最后根据组合规则执行服务.实例验证该方法是有效的和可行的.

平等主义与特殊主义

平等主义是当代政治哲学中一个极具影响且富有争议的理论。根据平等主义的观点,某些益品的平等分配具有内在价值。著名的“向下拉平反驳”被视为对平等主义最大的挑战:如果平等有内在价值,那么向下拉平的平等状态也将有内在价值,但这似乎是荒谬的。平等主义者的诸多回应都在论证向下拉平的内在价值。本文批判性地考察了两个具有代表性的回应,并指出它们皆难以成立。平等主义者通常预设了关于价值或理由的一般主义框架。在一般主义者看来,如果分配平等具有内在价值,那么它在任何情境中都应该有内在价值。本文另辟蹊径,提出一种关于平等的特殊主义进路。根据这一进路,分配平等的内在价值并不蕴含其价值在一切情境中都可实现;只要平等在某些情境中有内在价值(不论这些情境是否涉及向下拉平),平等主义就足以得到证成。

当代西方平等主义分配理论辨析

优先主义、契约主义和充足主义是当代西方三种主要的具有平等主义倾向的分配理论。尽管证成平等的理据大相径庭,但这三种进路都具备两个重要的理论特征:一个是反对效用主义,另一个是反对内在平等主义。一方面,效用主义仅仅关心总体效用的最大化因而忽视了效用在人际间的分配。另一方面,内在平等主义难以说明平等本身何以能够提供效用分配的理据。优先主义、契约主义和充足主义都试图在证成更为平等的效用分配的同时又避免承诺内在平等主义。本文详细考察了这三种分配理论,并指出它们都存在难以克服的理论问题。在文章的最后部分,笔者尝试表明,效用的平等分配可以在内在平等主义的框架中得到辩护。

雨的生命

我是丝丝晶亮的银线，织女把我从天穹撒向人间，于是清晨的女儿把我偷去，用以镶嵌绿野草地。