【摘 要】
：
为了实现网构软件的自动推理问题,在基于可能世界的网构软件模型上,给出了一种基于概念分析的自动推理系统。通过对三段论的分析得到了自动推理的一般原则,并运用这些原则解
论文部分内容阅读
为了实现网构软件的自动推理问题,在基于可能世界的网构软件模型上,给出了一种基于概念分析的自动推理系统。通过对三段论的分析得到了自动推理的一般原则,并运用这些原则解释了三段论中正确的24式。通过对形式概念的讨论得到了概念编码的方法,并给出了编码的三值运算规则。最后,通过一个具体例子的应用分析,给出了使用该编码进行自动推理的一般步骤,运算结果表明,自动推理方法在机械化与效率方面优于传统的归结原理。
其他文献
艾滋病是一种由人类免疫缺陷病毒（HIV）引起的高危害性传染病，又称获得性免疫缺陷综合征。目前已认为是一种世界性疾病，艾滋病在我国蔓延已相当严重。据专家估计艾滋病病毒感染者
资料与方法 2008年1月～2009年3月收治在我科室住院治疗的50例女性慢性精神病人。均符合CCMD－3中相应的诊断标准。随机数字表法分为观察组和对照组。
文章首先分析了小学语文教学中德育渗透存在的问题,然后提出了小学语文教学中德育渗透的策略,包括利用语文教师的言传身教渗透德育;立足语文教材渗透德育;开展语文实践活动渗
体温的恒定是维持机体各项生理功能的基本保证，如有较大的偏差将引起代谢功能的紊乱甚至死亡发生［1］；临床统计学报道围手术期5%～6%患者发生寒战，寒战不仅可引起患者的不适，干扰临床各项生理指标的监测，也可以使患者的耗氧量和CO2生成增加，并降低呼吸中枢对低氧和高二氧化碳的通气反应；使患者心排血量增加、加重心肌缺血、严重低温可导致室颤或心脏骤停［2］；升高眼内压和颅内压，疼痛加剧，对于患者的苏醒、预后
摘 要 目的：探讨在家庭中开展临终关怀服务的可行性及方法。方法：回顾性讨论12例老年临终患者的照顾情况并进行分析。结果：患者安详死去者占92%，患者家属满意率为92%。结论：对于老年患者在家庭中开展临终关怀服务是一种较好的护理服务，患者家属参与医护共同协商治疗护理方案，本着以人为本的原则，实施全方位的整体照护不失为一种较好的方法。 关键词 临终关怀 家庭病床 老年患者 资料与方法 1
我那天夜班接班后照例先开始查房，推开病室门，刚巧看到1床仅4月大的婴儿正在呕吐，一口乳汁喷出老远。天，这不是典型的喷射状呕吐吗？赶紧系统查体，体温正常，脉搏140次/分，呼吸44次/分，
摘 要 目的：评价卡维地洛治疗慢性心力衰竭的疗效及安全性。方法：将200例慢性心力衰竭患者随机分为对照组及治疗组。对照组常规应用洋地黄、利尿剂和血管紧张素转化酶抑制剂；治疗组在常规治疗基础上，加用卡维地洛。观察患者临床心功能分级和超声心动图等心功能指标变化。结果：治疗组总有效率92%，对照组80%，治疗组有效率明显高于对照组(P<0.01)。治疗组中未见明显不良反应和肝肾功能损害。结论：卡维地洛是
针对基于传统免疫理论的异常检测系统的不足,研究了一个新的基于危险理论的三级异常处理系统模型。新的模型对异常数据流进行三级处理,第一级异常处理模块对危险进行检测并分
针对网络环境，基于JSSE提出了一种可扩展的安全通信解决方案。该方案实现了应用程序使用者和实现者的彻底分离，能够保证网络通信的安全和保密。最后，在Java平台上实现了一个能够