很久以前看到黄易有两部小说提到:"自生软体系统"的观念,也就是让电脑程式 自己改写自己来演化。 多年前用这个关键字找到中国电脑杂志的两页图档，对照原创教授的名字, 找到相关的论文和BASIC程式。用现代的观点来看，那个程式只是用交谈式的问题， 产生符合使用者特定需求的新BASIC程式而已，能够申请数百万美元的研究经费 真是厉害。 很久之前人工智慧是用LISP电脑语言来开发，日本投入大量资源来研究， 结果失败了。我个人比较喜欢用FORTH电脑程式语言来做研究。 原文(2014年找到及上传的): https://sites.google.com/site/imehouse/Home/ching 3BFC27061090156069.pdf 简介: 永不过时的电脑软件—自生软件系统 作者：郑佑 来源期刊：《电脑应用时代》1991年 第4期 格式：PDF 页数：2页 自生软件是一个软件自动化概念,它的目的在於把目前所有的软件都加以改写, 转化成一种永久的、不会被计算机科技发展淘汰的形式。它可以永远不需要重写, 因为计算机会自动将其修正或改进。自生软件模仿有机体细胞的衍生原理,控制信息 均来自细胞内部,不受外界影响。自生软件系统预先设置了许多子程序, 根据硬件的变更、用户的新需求自行修正,一切控制来自软件内部,使软件脱离硬件 而独立,简化了计算机的应用。自生软件一旦推广,将一改现今计算机语言、操作系统 和其它软件的面貌。 原作者自夸的文章: 後科学之父郑佑 - Postscience http://www.postscience.com/pschina.pdf （1）机器人触摸的问题(触摸碰撞而无反弹)是牛顿和所有的科学家在过去300年 错过了一个问题。日本第六代计算机科学的失败主要是因为机器人不能触摸。 只有吴大猷和郑佑能思考并解决这个25变量的问题。 （2）第二个问题是是经济学,美国联储局没有预测到的两次金融危机,而後科学 创始人郑佑的估值系统公开预测储蓄和贷款危机和次贷祸。如何在包含五十种经济 因素的供应和需求中取得经济均衡? 只能在严格的数学基础上和不可能违反的自然 法则的无限电子估值系统中计算求得。 （3）第三个问题是软件的复杂性危机,只能用全面性,完全自动化的永久自生软件 系统来解决。 包含原本的 BASIC 程式的部分介面内容。 原作者的 slides: http://www.slideshare.net/hughching 过期的专利在这: Completely automated and self-generating software system https://patents.google.com/patent/US5485601 Compeletely Automated And Self-generating Software System http://www.jumpulse.com/ http://www.jumpulse.com/chineser.pdf http://www.jumpulse.com/new.bas 之前实际执行的结果： 01/21/2014 17:42 50,090 new.bas 01/21/2014 17:42 50,090 old.bas 01/21/2014 18:37 127 TEST.BAS C:\temp>more TEST.BAS 1 PRINT "hello hello" 2 LOCATE 25,1: PRINT "Type the <Enter> key to go to the main program..."; :LINE INPUT A$:CHAIN "NEW" 从目前还存在的 new.bas 可以看出原作者的做法: 运用问答的方式产生新的 TEST.BAS 再串接原有的 old.bas 复制成的 new.bas 62080 MISNUM=62080!:G$="LOCATE 25,1: PRINT "+CHR$(34)+ "Type the <Enter> key to go to the main program..."+CHR$(34)+"; :LINE INPUT A$:CHAIN "+CHR$(34)+"NEW"+CHR$(34):GOTO 61009 62090 MISNUM=62090!:ON VAL(ANSWER$(ANSNUM)) GOSUB 62091,62092,62093 :GOTO 61009 要做到相同的功能，用古老的 LISP 和现代的 Python 都能达成。 但是最容易实作这种系统的语言是 FORTH。 https://skilldrick.github.io/easyforth/ FORTH 的程式码由 ':' 开始定义 ';' 结束定义。 一个指令一个动作。 字串由 s" 开始 " 结束。 资料基本上是使用堆叠来运作。 FORTH 有特别的指令 evaluate 可以直接执行字串中的程式码。 https://repl.it/languages/forth : main ." hello hello" cr ; main : test s" 1 2 3" evaluate ; test words : test pad 1+ 127 accept pad c! pad count type ; test https://www.tutorialspoint.com/execute_forth_online.php : test s" 1 2 3" evaluate .s ; test require random.fs utime drop seed ! : main 10 0 do i cr . 10 random . loop ; main FORTH 有关键字，没有保留字，可以预先重定义数字: : 1 9 ; : test 1 2 3 + + . cr ; test 将 1 定义成 9，1+2+3 的结果是 14 昨天找到一篇论文，跟我想像中的解决问题方法雷同: 也比这篇文章的原始实作方法更接近实务。 Genetic algorithms in Forth https://arxiv.org/pdf/1807.06230.pdf Abstract A method for automatically finding a program (bytecode) realizing the given algorithm is developed. The algorithm is specified as a set of tests (input data) → (output data). Genetic methods made it possible to find the implementation of relatively complex algorithms: sorting, decimal digits, GCD, LCM, factorial, prime divisors, binomial coefficients, and others. The algorithms are implemented on a highly simplified version of Forth language. Keywords: Genetic algorithm, Linear genetic programming, Evolutionary programming, Forth. --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 180.217.104.13 (台湾) ※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Soft_Job/M.1584893125.A.213.html