道格拉斯·莱纳特自动数学家源代码
Douglas Lenat's Automated Mathematician Source Code

原始链接: https://github.com/white-flame/am

此档案包含来自 SAIL-DARTS 项目的软件,具体来说是 1975 年 1 月在 PDP-10 机器(SUMEX、KI-10)上使用 Interlisp 语言开发的程序代码。代码源自 Bruce Baumgart 的收藏,并在相关的博士论文(ADA155378.pdf)中有详细说明。 核心文件 – LT、TA、TB 和 CON6 – 旨在按顺序加载,其中 CON6 是较新的补充。该系统利用 256k 核心内存,Interlisp 本身占用 140k,但提供额外的“阴影空间”用于编译后的代码。 由于其 ARPA 资助,并且论文明确鼓励使用、修改和分发,因此认为该软件属于公共领域。更多文档和相关文件可以在 SAILDART 档案中找到([https://www.saildart.org/[AM,DBL]/](https://www.saildart.org/[AM,DBL]/)),有关 DBL 区域的信息可在 EURISKO 项目 wiki 上找到。Discord 服务器([https://discord.gg/vhsmVCwgvK](https://discord.gg/vhsmVCwgvK))可用于讨论。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 道格拉斯·莱纳特的自动化数学家源代码 (github.com/white-flame) 7点 由 hydrolox 2小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:
相关文章

原文

These files are extracted from the SAILDART archive maintained by Bruce Baumgart, in Douglas Lenat's AM section here: https://www.saildart.org/[AM,DBL]/

The accompanying PhD thesis can be found here: https://apps.dtic.mil/sti/pdfs/ADA155378.pdf

Quoted from the thesis, page 124:

Machine: SUMEX, PDP-10, KI-10 uniprocessor, 256k core memory.

Language: Interlisp, January '75 release, which occupies 140k of the total 256k, but which
provides a surplus "shadow space" of 256k additional words available for holding compiled
code.

LT is the initial loader file, which will load the others. While the thesis notes that the file TOP6 will be loaded, at some point this was split into loading TA and TB.

The CON6 file is much newer than the others. While I grabbed the newest version, older versions still exist on the archive above and might be required instead.

Any other applicable files found in the SAILDART archive such as documentation or demonstration logs should be committed here as well. A general description of the DBL areas can be found in the EURISKO project wiki.

This should be in the public domain, or international equivalent, as it was funded by the USA government through ARPA. The thesis additionally encourages others to copy, modify, and use the software.

Discord: https://discord.gg/vhsmVCwgvK

联系我们 contact @ memedata.com