推理结构相关论文
可推翻论证系统是非单调推理研究领域近年来最为活跃的分支之一。与其他分支相比,可推翻论证系统更侧重于推理结构的研究,它的研究基......
探讨在MATLAB中使用FIS编辑器与Simulink相结合的方法构造模糊推理结构,并通过MATLAB Script Node实现LabVIEW与MATLAB的混合编程,......
Godel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说......
该文分析了前人所做的研究,根据实际情况,提出了一种新的推理结构,采用了基于多库关联的数据库推理技术和语气理论推理方法,以提高推理......
亚里士多德创立逻辑学科以来,逻辑与推理就密不可分,亚里士多德说:“一个推理是一个论证,在这个论证中,有些东西被规定下来,由此必然地得......
本次大会讨论传统上所谓法律逻辑(legal logic)的问题,不过,“法律”与“逻辑”这两个词都在陈述主题时被回避了.[1]事实上,当代法......
从系统结构、推理结构、系统主要功能等方面阐述一套地调智能调度指令票系统。该系统实现了操作票专家系统与EMS/DTS系统的一体化,......
利用P-推理(P=Packet),提出倒向P-推理;倒向P-推理简称P-1-推理。P-1推理由内P-1推理(internalP-1-reasoning)与外P-1推理(outer P-1-re......
括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑......
费耶阿本德是西方科学哲学史上重要的哲学家。本文考察费耶阿本德早期和晚期不可通约性理论的差别,提出:一方面,不可通约性只涉及科学......
...
阐述了专家系统在盒形件拉深成形极限分析中的应用,论述了建立专家系统的关键技术,包括系统信息描述、知识表示方法、实例库的建立以......
盒形件拉深更接近于真实生产,对其研究就有很大的实际意义,但盒形件拉深复杂的成形情况决定了专家系统在其研究中的地位。本论文遵从......
对照人教版教材,我们会发现,推理是数学三大基本思想中唯一安排了明确课题的,在二年级下册就有《数学广角———推理》一课,在六年......
一般而言,裁判活动中的法律适用呈现为司法三段论的推理模式,但近些年来法官对“经验性事实”愈发关注,在“努力让人民群众在每一......
【正】 一、引言关于认识,一直是哲学家们最感兴趣的问题。他们从认识状态出发,为认识过程构造种种不同的模式并形成不同的学派。......
语义Web是当前Web的扩展,它赋予Web资源信息机器可理解的语义,从而便于人和计算机之间的交互与协作。为了让机器能够理解Web资源信......
刑事诉讼法律推理,就是裁判者依据一定方法将案件事实构成要件与刑事诉讼行为条款实现"合致"的过程。由于中国刑事诉讼裁判规范的......
费耶阿本德是西方科学哲学史上重要的哲学家。本文考察费耶阿本德早期和晚期不可通约性理论的差别,提出:一方面,不可通约性只涉及......