人类推理的“推理题与推理知识双重结构模型”

本文将"知识和试题双重结构模型"重构成"推理题与推理知识双重结构模型",其主要观点包括:(1)"双重结构"是指在人类的推理加工过程中存在着两种结构,即"推理题的内在结构"和"推理者的推理知识结构";(2)推理者对完成推理任务所需要的"推理知识"的理解水平决定其推理性质是属于"理性加工"还是"非理性加工";(3)判定推理结论的过程中存在"形式"和"内容"两种判定标准,并由此决定其推理性质是属于"逻辑加工"还是"非逻辑加工"。

Agent系统的推理模型与知识库组织结构的研究

1.概述 Agent思想出现于70年代,80年代后期才逐渐发展起来,现已融入到计算机的各个应用领域。Agent的思想最初来源于社会学、经济学与生态学等学科。美国Stanford大学的Y.Shoham教授提出的AOP理论模型中,将Agent定义为包含了诸如信念、承诺、能力和决定等精神状态的实体。

条件推理的概率理论和双重结构模型

为了检验概率理论和双重结构模型的＂形式＂与＂内容＂两种判断标准之间的关系,本文通过运用不同的条件命题作为实验材料进行探讨。结果发现概率理论与＂形式＂和＂内容＂两种判断标准的观点存在一定的重合。概率理论和两种判断标准都可以对条件推理的结果进行很好的解释,但各自也都还存在着不足,而两种解释则刚好可以互补一方的不足对条件推理结果进行更好的解释。

集成投入产出模型和知识推理企业潜力挖掘分析的探讨

本文基于递阶生产系统投入产出模型,在针对具有"产品链"特点的具体应用背景给以"个性化"处理的基础上,给出了利用知识推理进行企业"最佳"销售结构分析的方法,并采用该方法对某锦纶厂企业潜力的挖掘分析,进行了成功的实践.

中外两种主要推理模型的实验再比较研究

本研究采用2X2两因素(自变量分别为"心理模型数量"和不同"内容性质")重复测量拉丁方实验方法,在范畴三段论推理题的内在结构为"形式正确",且"推理者已经掌握相应的形式逻辑推理规则"的前提条件下,对西方学者提出的"心理模型"与中国学者提出的"推理题和推理者的推理知识双重结构模型"这两种理论模型再次进行了实验比较研究。结果表明,对于"正确形式—正确内容"和"正确形式—错误内容"两种不同结构的推理题,若按照形式逻辑规则来判定推理者"对各推理题的结论能否从两个前提中推论出来的推论结果"是否正确,则有:(1)当推理题含有错误内容的情况下,即使该推理题只是由"一个心理模型"所构成,也会使推理者降低对其结论判定为"正确"的可能性;(2)当推理题是由正确内容所构成时,即使该推理题是由三个心理模型所构成,对其结论判定为"正确"的可能性也要比"单模型——错误内容"构成的推理题的可能性更高。由此得到的比较结论是:在本实验条件下,"推理题和推理者的推理知识双重结构模型"对实验结果所做的解释要比"心理模型"理论所做的解释更为贴切。

不同概率表征的贝叶斯推理试题形式结构的同质性研究

研究从先验概率、概率表征、推理任务等方面探讨了经典贝叶斯推理研究中存在的不足,试图在"知识和试题双重模型"框架下,探索现实和标准贝叶斯试题的形式结构的同质性,结果表明:1)自然频次表征比百分比表征的贝叶斯推算题正确率高,这是因为试题的形式结构不同,与概率表征无关;2)贝叶斯判断题与贝叶斯推算题的试题形式结构存在显著差异;3)贝叶斯推算题中,概率词表征与其它两种表征的试题形式结构存在显著差异,其实质是贝叶斯判断。

一种规约于可满足性问题(SAT)的知识推理算法

传统的知识推理算法主要依赖于通用的定理证明器,因此会有明显的组合爆炸问题和半自动化问题,只能处理小规模的问题。在文[1]中,给出了一个实用而紧致的知识的语义模型——知识结构(knowledge struc- ture),并给出相应的利用BDD(Binary Decision Diagram)的符号化计算方法,实验表明这种基于BDD的算法比传统方法有很大的优势,但这种基于BDD的方法在计算规模大的例子时仍存在明显的组合爆炸。文章在知识结构(knowledge structure)的语义基础上,通过挖掘知识结构语义中各元素的关系,把知识的计算规约于可满足性问题(SAT),因为SAT Solver在符号化计算方面以及在计算规模和效率上都要明显优于BDD。实验结果证实了这种方法的有效性。

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

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

推理结论正确性判定标准再探

本文试图探求人们在进行三段论推理加工时是否存在形式和内容双重标准。由既掌握形式逻辑推理规则又知道构成推理题的两个前提是否正确的被试所进行的推理结果支持下述观点:人们在进行三段论推理过程中,在判定推理结论的正误时,存在着与试题结构相应的两种内在的判定标准,即“形式标准”和“内容标准”。

飞机结构件三维模型工艺性优化技术研究

针对MBD技术在航空制造企业产品研发当中的应用,研究了基于知识库的产品三维模型工艺性优化技术。通过对飞机结构件的可制造性分析,总结其工艺性优化内容。提出了"模型信息提取与简析—知识库建立—知识推理—优化结果可视化"模式的零件三维模型工艺性优化流程。综合运用多种知识与推理机制,建立模型特征与制造资源、工艺知识的关联,并对知识库结构以及推理过程进行了描述。解决了并行工程中的工艺性问题。开发的工艺性优化系统验证了该方法的可行性。

基于模糊推理的质量诊断专家系统的设计

以模糊推理为理论基础 ,根据专家系统的思想 ,通过对生产过程质量诊断基本要素的分析 ,建立了质量诊断专家系统算法的基本模型 ,对系统参数的确定方法进行了重点论述 ,并对实际应用中的一些问题提出了意见。

我在推理心理学领域中的研究历程

本文将笔者30年来在"人类推理心理学领域"的持续研究成果总结为以下三个方面:(1)探求什么因素会影响人类推理的实验研究;(2)国外推理心理学领域的著名理论与经典实验的介绍和评述研究;(3)"推理题与推理者的推理知识双重结构模型"的提出与发展。

演绎推理的形式和内容启动加工

聚焦推理加工初期,研究通过指导语操控主观加工倾向,考察不同指导语条件下内容可信度和形式有效性对演绎推理结果的影响,检验内容和形式两类加工过程的启动加工动态变化性。结果表明,指导语条件显著影响推理初期加工。在无提示指导语和形式判定指导语条件下,推理结果受到了形式有效性和内容可信度的影响;内容判定指导语下只受到了内容可信度的影响。证明主观加工倾向影响了内容和形式的启动加工关系,支持了动态变化性的假设。

词汇知识、语素意识、词汇推理与二语阅读理解——来自结构方程模型的证据

本文采用结构方程模型(SEM)方法,考察了泰国汉语学习者词汇知识、语素意识、词汇知识推理与汉语阅读理解的关系。结果发现:(1)词汇知识、词汇推理对阅读理解有直接贡献,且词汇知识的贡献大于词汇推理的贡献;语素意识对阅读理解贡献不显著。(2)语素意识对阅读理解存在以词汇知识和词汇推理为中介的间接效应,并且其间接效应大于其直接贡献。(3)词汇推理对阅读理解既存在直接贡献,又存在以词汇知识为中介的间接效应,但其直接贡献大于其间接效应。本文对结果进行了分析和讨论,并对对外汉语阅读教学提出了相应的建议。

系统监测中的因果模型与知识集成

本文介绍了一个用来帮助工程师管理大坝安全度的专家系统。该系统使用定性因果模型、分层式面向对象的结构及其它知识表示方式连到一集成环境中，用来对大坝的监控数据进行评估。

大跨空间结构智能选型系统的研究与开发

将建筑结构的智能选型设计理论应用于大跨空间结构 ,选用MicrosoftAccess 2 0 0 0forWindows作为实例库开发工具、MicrosoftVisualC ++6 0forWindows作为方案生成系统开发工具、专家系统开发工具C-ADVISOR 3 0作为方案评价和决策系统开发工具 ,开发了一个大跨空间结构智能选型设计系统的原型系统 .该系统主要包括大跨空间结构的选型实例库系统、方案生成系统和方案评价与决策系统 .3个子系统建造的基本原理是 :采用面向对象技术建造实例库系统、实例推理和数据挖掘建造方案生成系统。

基于教材中分子结构知识对结构与性质类推理模型的研究

化学离不开推理,中学化学学科教育更加离不开化学推理。在过去的研究中,笔者发现"化学学科教学过程中充满了逻辑推理的运用,归纳推理、演绎推理和类比推理是传统推理在化学教学中三种重要推理方式"。这三种推理方式并不是独立存在的,而是在化学学科背景下,通过推理方式构建过程整体,并称之为推理模型。推理模型是在运用推理方式和常识知识基础上,结合化学学科的特征性思维方式构建一定的思维过程,再与不同难度的知识点进行整合,从而锻炼和提高学生逻辑思维能力。在化学学科中,"结构决定性质,性质反映结构"是最常见的特征性思维方式,在认识事物的性质和结构的过程中。

复杂层次模型中知识表达与推理方法研究

工程教育认证背景下的人才培养体系,是典型的复杂层次系统.采用多色集合及其元素、着色、围道矩阵和体运算等概念,建立复杂系统层次结构模型,从水平和纵向两个方向对该模型进行形式化描述,并给出复杂层次结构模型的形式化推理算法流程.基于多色集合为工程教育认证背景下的人才培养体系构建的层次结构模型,在逻辑层实现了知识自顶向下、自底向上的单向自动推理和同时向下、向上的双向自动推理,在问题的形式化描述、信息的高效率处理和程序的快速实现等方面具有明显优势.构建工程教育人才培养体系层次结构模型并提出知识的表达与推理方法,对开展工程教育专业认证工作、提高人才培养质量都具有重要意义,同时也为复杂系统模型构建及其知识推理分析提供了一种新的有效方法.

基于DRT的2D-RS语义模型研究

以Kamp为代表的话语表征理论(DRT)在模型论语义学的基础上,将话语表征结构(DRS)引入语义模型中来,动态地解释E-类代词回指等长期困扰传统形式语义学家的话语回指问题。然而,我们的研究表明,当前的DRT模型还无法对无显性先行语的深层回指作出有效的解释。究其原因,我们认为,与自然语的层次丰富、内容多样的实际特征相比,DRT仅以单一层次的DRS作为话语解读的语境,这无论在思想上还是技术上都过于简单。因此,本文提出了一种基于DRS和KRS(知识表征结构)的二维话语表征语义模型(2D-RS Model),旨在探索更有效的回指消解途径,以期在DRT理论的框架下解决更多的回指问题,进而使DRT在话语回指消解方面的应用更具普遍性。

结构工艺性冲突解决策略的研究

通过分析各种冲突解决方法的特点,提出了一种冲突的集成解决方案。采用面向对象的ObjectPascal语言编制了一个实例,给出了该方法在零件结构工艺性设计中的具体应用。