Prolog语言-搜索策略的归结反演推理机

Prolog语言采用一种特殊的合取范式形式来描述人工智能中所要求解的问题,这样一种知识表示方法所要求的知识推理技术必须具有机械化的可行性。要使归结过程的机械化步骤在计算机上具有可行性,还要告诉计算机一种搜索策略,即指导计算机进行归结的方法。这种方法显然是一种归纳逻辑方法。计算机中的逻辑推导既不是单纯的演绎过程,也不是单纯的归纳过程。计算机语言既是演绎的又是归纳的,是二者的融合。     

基于谓词逻辑的Prolog程序设计

一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性.本文从Horn逻辑和Prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论了如何在计算机中实现数学函数、定理证明等自动推理的一些应用.     

简析社会学理论检验中的演绎方法

通过介绍和分析社会学中的演绎逻辑,提出演绎逻辑在社会学理论检验过程中具有假设推演的重要作用,这同它在自然科学中扩充知识的功能不同。社会学中的演绎逻辑具有逻辑演绎和经验演绎两种类型,它们具有各自的优点及不足,因此在社会学理论检验过程中应将两者有机结合,扬长避短。     

演绎归纳的二分与结合--略论西方逻辑与印度因明之差异

逻辑与因明有着诸多差异.在逻辑中演绎与归纳是二分的,而演绎体系所要求的普遍必然性的第一原理,归纳并不能提供,这终令西学走入穷途.因明中演绎与归纳完美地于每一论式之中,而佛教认为并不存在普遍必然的因果规律,故因明并不存在西学的尴尬局面.此外逻辑与因明在各自认识方法中的地位及为自为他上亦不同.     

逻辑二题

逻辑二题张小燕对造成演绎与归纳误解的一种分析一种流行的观点认为：从推理的方向看，演绎是从一般到个别，归纳是从个别到一般．这几乎成了教条。事实上是否如此？形成这种普遍看法的原因何在？结合现代逻辑知识，本文对这个问题做一逻辑与历史的分析。（一）请看下例：...     

类比方法在教学中的一个应用

<正> 类比方法是人们认识客观世界的一种基本思维方法,它是一种异于演绎与归纳的非逻辑的独特的推论方法,也是一种颇为秦效的教学方法.     

英语复习教学的"归纳+演绎"模式

再现和回顾学过的知识是课程教学的一个重要环节.它不仅仅是温故的过程,也是知新的前提和基础.如何上好复习课一直是教师关心的问题.运用图式和归纳演绎理论,提出一种英语复习教学的有效模式--归纳话题,演绎主题,并阐述其具体运用及其有效性.     

归纳问题与知识的增长

归纳问题的提出促使人们对于通过归纳既获得知识的增长、又保证新增知识可靠性的方法进行思考,不同的逻辑学家提出了不同的解决方案。本文在对这些方案进行分析、批判的基础上,提出了自己对归纳问题的看法:知识的增长源于复杂的归纳和演绎的综合,归纳与演绎统一于人们的实践之中,归纳问题的实质以及以往解决方案的失败在于割裂了归纳与演绎的关系,在于他们只是用纯形式、纯逻辑的方法来研究归纳问题,因而找不到论证归纳可靠性的客观依据。     

康德论美的双重特性

与认识和道德不同,康德认为美具有一种双重的逻辑特性:"好像主观性"和"好像客观性"。一方面美以个人的情感而非概念为基础,不能通过经验归纳或理性演绎而得到证明,因而好像是主观的;另一方面,美同经验判断一样要求人们的普遍同意,好像又是客观的。美的本质体现在主客体之间的这种关系,既不是纯然主观的,也不是客观的,任何将美还原为单纯主观性或客观性的观点都是对康德美学的误读。康德美学的独特性就在于这两种看似矛盾的特性在审美判断中可以共存。     

归纳合理性的哲学辩护及其思考

古典归纳论者的归纳式辩护、现代归纳论者的演绎式策略以及逻辑经验主义者的实用辩护方式都未能从根本上解决归纳问题,其原因在于深层思想根源上的共同缺陷.必须打破对演绎逻辑原则的极度崇拜,克服在解决问题过程中对方法论基础的片面理解及其与实践必然性的割裂局面,问题的解决才有出路.