MAGMA-部署 swMATH ID: 28716 软件作者: C.蒙坦格罗;G.帕西尼;F.图里尼 描述: MAGMA-Lisp:人工智能的“机器语言”。本文描述了MAGMA-Lisp,这是一个扩展的Lisp系统,被提议作为利用非确定性技术的A.I.语言的实现工具。通知MAGMA-Lisp的主要思想是,概念上独立的计算环境的树结构(上下文树)是任何非确定性系统的支持结构。MAGMA-Lisp以一种非常原始的形式提出了这种结构,因此用户可以陈述自己的技术来修剪、选择和探索可用的替代方案。从这个意义上讲,MAGMA-Lisp将被视为“机器语言”。MAGMA-Lisp的思想与对其设计影响最大的系统进行了对比。描述了上下文实现中使用的技术,展示了如何在不造成无法忍受的效率损失的情况下实现非常灵活的上下文机制。特别是,尽管系统很复杂,但垃圾收集不会比标准Lisp系统花费更多的时间。 主页: https://dl.acm.org/citation.cfm?id=1624626.1624713 依赖项: Lisp语言 相关软件: 低成本融资;Magma2公司;毫升 引用于: 4文件 5位作者引用 2 路易吉亚·卡卢奇·埃利罗(Luigia Carlucci Aiello) 2 詹弗兰科·普里尼 1 马里奥·艾略 1 朱塞佩·阿塔迪 1 佛朗哥·都灵 4篇连载文章中引用 1 克莱蒙费兰德大学年鉴2。数学竞赛 1 卡尔科洛 1 计算机与系统科学杂志 1 程序设计语言与系统学报 在2个字段中引用 三 计算机科学(68至XX) 2 数理逻辑与基础(03-XX) 按年份列出的引文