基于本体的整体与部分关系的形式化表示及其错误检查研究

整体/部分WP(whole/part)关系在计算机领域建模中无处不在。在一个WP关系中,由于整体对象具有管理和控制部分对象的功能,因此WP关系存在着许多其它关系没有的特征。但本体的研究中,存在着形式化程度不够的问题,人们常用自然语言解释这些特征,然而这样的解释通常是不准确的。另一方面,由于知识处于不断的增加与更新之中,难免造成知识库中知识的错误,导致知识库维护困难。因此本文首先基于本体对WP关系的特征进行形式化描述,在此基础上,根据WP关系的特征提出了一系列相关知识的形式判定规则。

论三段论推理过程中结论正确性的两种判断标准

人们进行三段论推理加工时是根据什么标准来判定推理结论的正确性的？实验结果支持下述观点：人们在进行三段论推理过程中，在判定推理结论的正误时，存在两种判定标准：一种是“形式标准”，另一种是“内容标准”；两种判定标准对于人们判定结论的正确性都有影响，哪个判定标准的影响力更大依赖于人们已掌握的知识结构。

肝胃不和相关证诊断标准及其应用现状的文献分析

目的:从诊断内容和判定形式分析肝胃不和相关证的诊断标准及其应用现状。方法:系统检索中国知网(CNKI)、万方数据知识服务平台、维普数据库(VIP)近5年的相关文献,建立Excel工作表对文章类型、辨证分型、论治疾病、肝胃不和相关证诊断标准(发布时间、制定者)、诊断内容(主症、次症)、判定形式等信息进行提取,并进行频次、频率分析。结果:共检索到3549篇文献,纳入203篇。肝胃不和相关证涉及6个证型,包括肝胃不和证、肝气犯胃证、肝胃气滞证、肝火犯胃证、肝胃郁热证及肝胃热盛证。文献中共涉及56项诊断标准,其中使用频次在2次以上的诊断标准共22项;使用频次前5位的诊断标准分别是《中药新药临床研究指导原则》《慢性胃炎的中西医结合诊治方案》(2003)、《中医病证诊断疗效标准》(1994)、《中医消化病诊疗指南》(2006)、《胃食管反流病中西医结合诊疗共识意见》(2010)。肝胃不和相关证诊断内容中,出现频次前10位的症状依次为嗳气、脉弦、胃脘胀痛、胁肋胀闷疼痛、吐酸(反酸、泛酸或吞酸)、苔薄白、嘈杂、食欲不振(食少、纳少、纳差)、舌质淡红、因情绪因素诱发或加重症状。肝胃不和相关证的判定形式以“主症+次症”居多。肝胃不和相关证诊断标准多应用于中药临床疗效评价、针灸临床疗效评价、临床证候调查、证候生物学基础等研究。结论:肝胃不和相关证的诊断标准众多,但有待进一步细化和规范;不同疾病肝胃不和证诊断标准的主要症状、次要症状、判定形式有所不同;应用时多从“病证结合”角度选用。

中外两种推理理论的实验比较研究

通过两个实验对中国学者提出的"推理题与推理者的推理知识双重结构模型"和Evans提出的"双重加工理论"进行了实验比较研究。实验一通过两种评定方法对相应性质命题进行评定后所得实验结果表明Evans等(1983)有关"信念效应"研究中的"结论可信性"变量可以视为与胡竹菁等(1996)实验中的"内容正确性"变量是同一性质的变量;实验二根据"形式正确性"和"内容正确性"两个自变量设计的推理实验结果与Evans等(1983)的研究结果基本一致;但增加"内容熟悉性"这一自变量设计的推理实验结果表明"推理题与推理者的推理知识双重结构模型"比Evans提出的"双重加工理论"能更好地解释推理者对性质三段论的推理结果。

门式刚架轻型房屋钢结构设计中需注意的几个问题

门式刚架为一种常用的轻钢结构体系,广泛应用于工业、商业及文化娱乐公共设施等建筑中。结合多年的设计实践,针对结构形式判定,荷载选用,支撑设置,隅撑布置,梁柱截面与节点设计,挠度控制等设计要点,提出建议,供设计及施工,监理等业界同仁参考。

论数据电文意思表示形式问题的体系化解决

数据电文意思表示的形式认定将在体系中引发连锁反应,对意思表示的形式认定标准、形式体系、规则统属编列以及整个法律体系中的形式强制均将产生直接影响。数据电文意思表示在形式判定要素以及适用规则上迥异于传统书面意思表示,以书面形式涵盖数据电文意思表示,体系性连锁反应剧烈而又无从消弭,具有难以弥补的体系弊端。采取创设新形式方式,将数据电文形式独立为意思表示的新形式,可以消除体系中的矛盾与冲突,使得概念逻辑清晰,规则统属分明,体系顺畅有序。通过合理拟定数据电文形式规则,将数据电文形式桥接于书面形式,从而使传统体系所受冲击在很大程度上被消除,体系性连锁反应得以妥善处理。

哥德尔谈自己研究成果的哲学意义——哥德尔书信述评

前言奥地利的逻辑-数学家K.哥德尔(1906-1978)在25岁时发表了题为《〈数学原理〉及有关系统中的形式不可判定命题》的论文,这篇文章的思想和结果在现代逻辑和数学的发展中起了重要的作用。哥德尔证明了,内容相当丰富的知识领域之完全形式化的原则不可能性,更不用说整个科学知识的完全形式化了。除了上述论文,哥德尔的若干其他著作包括构造性逻辑、模型论等领域的重要结果。新实证主义者曾企图利用哥德尔的某些命题以利于他们的观点并作出了自己的哲学结论。越过新实证主义浪潮的障碍,哥德尔以批判分析的态度超出了对逻辑科学最新成果的主观主义解释。哥德尔的结论具有原则性的方法论意义。