N系统:一个自然时序演绎系统

近年来,时序逻辑已成为程序和动态信息系统的描述与验证的一个强有力的工具。本文提出了一个可以很容易扩展到其它时序情形的命题时序逻辑的自然演绎系统——N系统。在N系统内,推理规则分成两组:水平推理规则和垂直推理规则。     

换种方式推理

人的推理不仅与动物有差别，而且很多时候人与人之间的巨大差别也仅仅是想法、观念和推理的不同。然而想法不同或推理不同，人们行为的结果可能就完全不同，因为是思维在支配着人们的决策、语言和行为以及语言的方式和行为的方式。     

用于地质填图的专家系统—AMARA

本文系统地介绍了一个用于地质填图的专家系统—AMARA。该系统的目的是在地质岩性填图方面为航空物探解释人员提供咨询。系统能够识别异常和区分引起异常的地质体的岩性。系统采用了正反向混合双阈值不精确推理策略,而且把知识处理与数值处理有机地结合起来。这些新技术不仅保证了推理效果,而且提高了推理效率。     

智能计算机的研究现状

能推理的动物已经(也许是不可避免地)制成了能推理的机器,尽管这样一种大胆的(有人说是鲁莽的)投资有着种种明显的风险,但无论如何我们已经开始干了。     

朴素地理学

本文介绍朴素地理学的思想和概念。朴素地理学研究常识地理世界的形式模型，是关于日常地理世界的理论体系。可以预见，朴素地理学的理论和方法能够使人们更简便直观地使用地理信息系统，是设计未来地理信息系统的理论基础。引言朴素地理学的核心是空间和时间推理。空间推理和时间推理是重要的研究领域，在物理学、医学、生物学和地理学等领域有着广泛的应用。朴素物理学和朴素地理学有很多共同关心的问题。我们着重介绍一下这一领域，并介绍地理时空知识的推理方法和表示类型。朴素地理学中的这种推理称为地理推理。集中研究这些关键问题可…     

中介命题逻辑MP和中介谓词逻辑MF的可靠性

本文证明了中介命题逻辑MP和中介谓词逻辑MF的可靠性定理,得到MP和MF的推理与演绎推理是相一致的结果。定义1(形式证明) 对于MP和MF,证明是一个有穷的形式推理关系序列,其中任一形     

科学逻辑和逻辑科学:朝向建立一门推理科学

我们知道,形式逻辑、推理的心理学以及新修辞学都不是建立推理科学的完全稳妥的途径,尽管它们各自都已作出有价值的贡献。形式逻辑是严格的和一贯的,不过是形式的,即它不是经验科学;推理心理学就其是经验的而言,是合理的,但它的经验方法有着固有的局限性,需加以补充,也许让位于一种观察的、历史的和内省的方法;新修辞学的可贵之     

Kung推理过程的可靠性和完备性

1985年,Kung提出了一个可以高度并行的推理过程。这个推理过程用一个矩阵表示待驳斥的子向集,然后从该矩阵形成两个布尔矩阵(0-1矩阵)M~+和M~-,利用另一个布尔矩阵M(=M~+×(M~-)~T)中布尔     

数学的旋律——直觉与逻辑交融

正是数学的直觉思维与逻辑思维交融的魅力把数学变成为一种“无声的音乐和无色的图画”。这里我们把直觉思维和逻辑思维,及其与之相对应的推理方式即合情推理与演绎推理,这两者在数学的发现、发明、创新与发展过程中的交互作用稍作展现。其作用是有利于文理贯通、启迪思维、培养通才、造就英才。     

ML核心语言的意外机制的同式多型类型检验

一、前言 ML语言的意外机制颇具特色。它是这样的一种方法,用以得到“动态捕获意外情形”的方便,而又不冒破坏类型规程的危险,并且,仍然容许同式多型惹起意外(exception-raising)表达式。 本文讨论ML语言意外机制的同式多型类型检验:将各有关的类型推理法则表达成自然推理系统中法则的形式。     

允许修改推理规则的开放逻辑

最近,李未为了刻划知识的增长、更新以及假说的进化建立了一个开放的逻辑理论,特别是得到了认知进程的收敛性定理这样一个深刻的结果。其后,他在文献[2]中又将其作为逻辑框架应用于知识基的维护。在知识库中,除了一些事实(相当于句子)作为知识之外,还有其特有的一些推理规则,而且这些推理规则有时也会遇到反驳,需要加以修改和维护。本文试图在开放逻辑中引入推理规则的反驳与修改。值得注意的是,其它一些关于知识基维护的理论,如Alchourrón,Grdenfors与Makinson都没有触及这个问题。     

解一个古老的悖论

所谓悖论,是指导致矛盾而原因不明的推理.一般说来,在推理中导致矛盾不一定奇怪.数学中的反证法就是这样.区别在于,反证法有一个明确的假设,因而导致矛盾不奇怪,恰恰证明该假设不成立.但在一个悖论里,却看不出有什么特别的假设.明明导致了矛盾,却找不到个中的原因,如鲠在喉,令人不安.     

知识处理与传统数据处理:差别

推理的机器计算机科学家至少已经造出了能推理的机器,但它和我们经常使用的计算机是相似的,那么还有什么值得高兴的呢? 问题不在于知识库系统象什么,而在于它做什么,将来能做什么。在硬件上没有多大的区别。确实,一些老的知识库系统仍运行在与已算了好几年工资相同的计算机上。较新的系统也是在传统的个人计算机上开     

近似匹配下的模糊推理

设F是非空集,L是完备格,R是F上的L-模糊相似关系,θ是L上的二元函数、按第一变元保持任意并、按第二变元保序且满足θ(a,1)=a(a∈L)。 定义1 设X是F上的L-模糊子集,r=是F上的n元L-推理规则,(?)是一集F上的L-推理规则。     

鼓励学生大胆猜想

猜想就是猜测,在探索性的思考中,几乎少不了猜想的成份.鼓励学生大胆猜想,可以打开思路、活跃思维,锻炼学生的想象力;思考、探索推理、判断能力.     

“不用归纳的归纳证明”与相对完备性

一、引言 一等式公理集确定了一个簇,即满足该公理集的全体模型。由一阶等式逻辑的完备性,等式e在一簇上为真,当且仅当应用等式推理规则,e从相应的公理集可证。在计算机科学的许多分支中,如抽象数据类型的代数描述及代数语义等,我们关心的不是满足一等式集的全体模型,而只是某一类特定的模型,如所谓初始模型。相对于这样的语义,等式推理规则不再完     

论真空联合堆载预压用于软基处理

文章结合双高公路软土地基加固工程实例,从施工工期、工程造价,并采用三点预测法和推理曲线法对真空联合堆载预压法用于软土地基处理的效果进行评价.     

论真空联合堆载预压用于软基处理

文章结合双高公路软土地基加固工程实例,从施工工期、工程造价,并采用三点预测法和推理曲线法对真空联合堆载预压法用于软土地基处理的效果进行评价。     

模糊控制技术与新产品开发

基于模糊逻辑和近似推理发展起来的模糊控制技术,近几年在家用电器新产品开发中发挥了关键性的作用。可以预测这一高新技术将成为21世纪的核心技术之一。