试论制约人工智能发展的逻辑问题

基于目前阻碍人工智能发展的各种因素 ,提出了人工智能发展中的逻辑问题 :非确定性推理、形象思维和常识问题。指出这些逻辑问题是制约人工智能发展的瓶颈。从理论上对这些问题进行了分析和探讨     

语用逻辑及其在计算机语言和人工智能中的应用

文章扼要阐明了语用逻辑的研究对象、内容和主要特点,并介绍了这一领域的国内外研究现状。在此基础上．文章侧重描述了计算机语言作为浯用语言的逻辑特征,包括对计算机语言的语法分析和语义分析。最后,本文通过研究如何在prolog语言中使用IL分析方法表明丁语用逻辑在人工智能中的应用.     

非经典逻辑观与法律论证的评价——兼论苏珊·哈克逻辑哲学思想

苏姗.哈克使逻辑哲学发展成为独立的学科。逻辑哲学的中心问题是对于逻辑系统与现实原型“恰当相符性”的不断探索。逻辑理论具有可修正性,经典逻辑的公理和规则本身需要不断修正,多种非经典逻辑的出现是必要的和可能的。这样,才能更好地适应现实原型的要求。逻辑的中心问题则是有效论证与非有效论证的区别问题。关于论证有效性的评价,哈克提出,存在着形式的(语形的)、实质的(语义的)和修辞的(语用的)标准这样三种由强到弱的有效性标准。法律论证的核心问题也是论证的有效性,可以把苏珊.哈克的逻辑哲学思想灵活运用于有关法律的逻辑与法律论证的评价标准的分析,并且将哈克的这三种有效性标准有机地结合起来。     

非经典逻辑观与法律论证的评价——兼论苏珊·哈克逻辑哲学思想

苏姗·哈克使逻辑哲学发展成为独立的学科。逻辑哲学的中心问题是对于逻辑系统与现实原型“恰当相符性”的不断探索。逻辑理论具有可修正性，经典逻辑的公理和规则本身需要不断修正，多种非经典逻辑的出现是必要的和可能的。这样，才能更好地适应现实原型的要求。逻辑的中心问题则是有效论证与非有效论证的区别问题。关于论证有效性的评价，哈克提出，存在着形式的（语形的）、实质的（语义的）和修辞的（语用的）标准这样三种由强到弱的有效性标准。法律论证的核心问题也是论证的有效性，可以把苏珊·哈克的逻辑哲学思想灵活运用于有关法律的逻辑与法律论证的评价标准的分析，并且将哈克的这三种有效性标准有机地结合起来。     

逻辑理论变革的必然趋势

逻辑学是一门古老的科学 ,从它产生至今已有两千多年的历史。逻辑理论的历史大致经历了传统逻辑和现代逻辑两个阶段 ;而现代逻辑的发展又经历了由经典逻辑到非经典逻辑的变革。恩格斯曾经说过 :“每一时代的理论思维 ,从而我们时代的理论思维 ,都是一种历史的产物 ,在不同时代具有非常不同的形式 ,并因而具有非常不同的内容。因此 ,关于思维的科学 ,和其他任何科学一样 ,是一种历史的科学 ,关于人的思维的历史发展的科学。[1 ]”逻辑学从传统逻辑到现代逻辑、从经典逻辑到非经典逻辑的历史 ,正好说明了这一点。     

论直觉主义逻辑对经典逻辑的挑战

直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的基础。直觉主义逻辑拒斥排中律和间接证明法,认为逻辑主义和形式主义都是错误的。直觉主义逻辑与经典逻辑到底是怎样的关系,不同的解释将导致不同的回答。另外,直觉主义逻辑理论自身面临诸多困境,尽管达米特为此作出了哲学辩护,但依然受到多方面的指责。     

自然语言逻辑的产生与人工智能中的知识表示

自然语言逻辑研究的是自然语言,如果从实际生活来看,自然语言逻辑研究不应该像形式逻辑那样抽象化,然而,现有的自然语言逻辑却显示了高度形式化、抽象化的特点。之所以形式化,除了使用现代逻辑的研究方法外,另一个更深层次的原因是人工智能的发展要求自然语言逻辑形式化。在形式化过程中,虽然自然语言的内涵性、模糊性和交互性等特点给形式化工作带来重重困难,但同时又丰富和发展了自然语言逻辑的理论研究。     

非形式逻辑或论证逻辑：有效性

有效性是论证或推理理论的核心概念。然而，研究文献业已表明，有效性概念已有不同含义。通过对经典有效性标准的限制或修改，形成了归纳有效性、实质有效性、非形式有效性、语用有效性、相干有效性、修辞有效性和惯常有效性等另类的有效性概念。不同有效性概念的阐明，为的是给一般论证提供更适切的评估规范。     

实在论视野下的逻辑哲学——普特南逻辑哲学思想探赜

普特南是在世的几个最为著名的哲学家之一，被称之为“坚定的实在论者”。他的逻辑哲学思想是其整体哲学体系的有机组成部分，与其整体哲学思想是一脉相承的，因而也贯穿了实在论思想。普特南的逻辑哲学思想体现了逻辑学由经典逻辑向非经典逻辑、由绝对主义逻辑观向相对主义逻辑观以及当代美国实用主义和逻辑研究相结合的整体趋势。研究普特南的实在论逻辑哲学思想具有极为重要的意义。     

论数学中的非逻辑成分在逻辑思维中的作用

数学研究中的非逻辑成分包括想象与联想、直觉与灵感及审美感等内容,它们在数学逻辑思维中产生的作用是不容忽视的.想象与联想有着类似于桥梁的作用,直觉与灵感往往带来重要的发现,而审美感则具备选择和引导的功能.     

东方逻辑发展对推进人工智能逻辑发展的启示

基于东方文明独特语言和文化背景的东方逻辑有自己的特质。东方逻辑和人工智能逻辑都是一种应用逻辑,是基于经验的逻辑,是形式真与实质适当相结合的逻辑,是经典演绎逻辑、非经典演绎逻辑和非演绎逻辑并存的广义逻辑。人工智能逻辑作为发现的逻辑比东方逻辑更具优势,东方逻辑则在器与道的结合方面比人工智能逻辑更有优势。东方逻辑发展对人工智能逻辑发展的启示在于：这种跨文化的研究方法论要求从本民族文化背景出发,就这一思想体系原来的形态来把握它,也就是采用“把握原来样态”而不是通常采用的“据西释东”方法论原则。年轻的人工智能逻辑应该从古老的东方逻辑智慧中汲取思想营养,对东方逻辑的当代探索可能为推动人工智能逻辑发展助力。     

东方逻辑发展对推进人工智能逻辑发展的启示

基于东方文明独特语言和文化背景的东方逻辑有自己的特质。东方逻辑和人工智能逻辑都是一种应用逻辑,是基于经验的逻辑,是形式真与实质适当相结合的逻辑,是经典演绎逻辑、非经典演绎逻辑和非演绎逻辑并存的广义逻辑。人工智能逻辑作为发现的逻辑比东方逻辑更具优势,东方逻辑则在器与道的结合方面比人工智能逻辑更有优势。东方逻辑发展对人工智能逻辑发展的启示在于：这种跨文化的研究方法论要求从本民族文化背景出发,就这一思想体系原来的形态来把握它,也就是采用“把握原来样态”而不是通常采用的“据西释东”方法论原则。年轻的人工智能逻辑应该从古老的东方逻辑智慧中汲取思想营养,对东方逻辑的当代探索可能为推动人工智能逻辑发展助力。     

人工智能、哲学与逻辑

人工智能的发展引起我国逻辑学界的密切关注。该文概述了人工智能发展的历史和现状,介绍了人工智能中的一些哲学问题和逻辑问题。     

浅析《墨子》论辩中的非逻辑方法

墨家学说作为民族文化的源头之一,是中国古代优秀文化遗产的一个重要组成部分。墨学中所包含的逻辑方法,经过后世学者的发掘整理,在中国逻辑史上具有了里程碑式的意义。以致现在有些论者一提到《墨子》中的论辩,就必称逻辑。其实《墨子》论辩中除了包含演绎、归纳、类比等逻辑方法之外,还包含着比喻、想象、直觉等非逻辑方法。二者既有联系,又有区别。     

AI系列人工智能调节器在工业过程控制中的应用

介绍了AI系列人工智能调节器的性能特点及使用方法,给出了工业应用实例.     

试论次协调逻辑的哲学意义及应用

亚里士多德的矛盾律和经典的否定概念 ,历来被认为是逻辑学中不可动摇的支柱。可是 ,次协调逻辑在逻辑上首次以严谨的态度动摇了矛盾律的绝对地位 ,相应地从根本上改变了否定词的原有概念 ,从而形成了新的非经典逻辑体系。这种非经典逻辑体系以新的视角、新的途径、新的方式和方法 ,为人们处理各种矛盾提供了经典逻辑远不及的、具有辩证意味的“亦此亦彼”的逻辑模式和洞察力。因此 ,次协调逻辑的产生和发展具有深远的哲学意义和实用价值     

人工智能中一阶逻辑的现代表达方法

人工智能研究中使用的主要语言是一阶逻辑语言,而非程序语言,其特点在于计算不再是其主要特征,更注重推理过程和知识库构建,结合诊断规则和因果规则,使智能体获得理性判断能力。