阿尔姆

模块化动作语言ALM。本文介绍了一种新的模块化动作语言ALM,并阐述了它的使用方法。它基于Gelfond和Lifschitz(1993;1998)的方法,其中使用高级动作语言作为逻辑编程系统描述的前端。产生的逻辑程序设计表示用于执行各种计算任务。基于现有动作语言的方法对于小型甚至中型系统都很有效,但并不意味着要处理需要知识结构的大型系统。ALM旨在解决这个问题。ALM中的知识结构由模块(作为一个单元包装的特定知识的形式化描述)、模块层次结构和库的概念以及将ALM的系统描述分为理论和结构两部分来支持。一个理论由一个或多个具有共同主题的模块组成,可能根据依赖关系组织成模块层次结构。它包含了域的种类、属性和属性的声明以及描述它们的公理。结构用于描述域的对象。这些特性以及将某个领域的类定义为先前定义的类的特殊情况的方法,有助于知识库的逐步开发、测试和可读性,以及知识表示库的创建。出现在逻辑程序设计的理论和实践中。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换