6、利用LISP实现序列归纳推理自动化

利用LISP实现序列归纳推理自动化

在当今科技发展的浪潮中，计算机在处理复杂数据和进行智能推理方面正发挥着越来越重要的作用。本文将深入探讨如何利用LISP语言实现序列归纳推理的自动化，以及相关程序的原理和应用。

1. 研究背景与目标

本研究聚焦于编程让计算机在对特定类型数据进行归纳推理时，表现优于多数人类。所处理的数据类型涵盖整数、字母、单词以及由无意义字母组合而成的符号（即无意义音节）。计算机对这些数据进行分析后，会产生两种结果：一是利用计算机发现的数据模式对数据进行表示（即编码），例如“(1,1,1,1,1)”可编码为“五个1”；二是对给定序列的下一个符号进行预测。

为比较计算机和人类的能力，部分用于归纳推理的问题取自人类智力测试。但需明确的是，这里开发的计算机程序并非能处理人类思维所能进行的所有或大部分归纳推理类型，不过能处理一些用于一般智力测试的特定问题。

2. 程序分类

开发的程序可根据对所处理符号常规意义的依赖程度进一步分类。较简单的程序在寻找模式时，会利用整数间的常规顺序关系（如“大于”“小于”）以及字母的字母表顺序；而更高级的程序则不做此类假设，能处理更广泛类型的数据。它们从一组可视为以往经验积累的序列开始，在处理新序列时，会充分利用这些“以往经验”，无论是预测下一个成员，还是生成比序列本身更经济（在长度或存储空间方面）的编码。

3. 基本程序

本项目的程序使用LISP 1.5编程语言编写，并在IBM 7094计算机上运行，涉及四个基本程序：OUTFCN（Outfunction）、NEXT、PERTEST和TEST。
- OUTFCN