资产负债管理 swMATH ID: 29436 软件作者: Daniela Inclezan、Michael Gelfond 描述: 模块动作语言ALM。本文介绍了一种新的模块动作语言,ALM,并说明了其使用方法。它基于Gelfond和Lifschitz(1993;1998)的方法,其中使用高级动作语言作为逻辑编程系统描述的前端。生成的逻辑编程表示用于执行各种计算任务。基于现有动作语言的方法适用于小型甚至中型系统,但不适用于需要构建知识结构的大型系统。ALM旨在解决这个问题。ALM中的知识结构由模块(封装为单元的特定知识的形式化描述)、模块层次结构和库的概念支持,并由ALM的系统描述分为两部分:理论和结构。理论由一个或多个具有共同主题的模块组成,可能根据依赖关系组织成模块层次结构。它包含域的排序、属性和属性的声明以及描述它们的公理。结构用于描述域的对象。这些功能,以及将领域类定义为先前定义类的特殊情况的方法,有助于知识库的逐步开发、测试和可读性,以及创建知识表示库。出现在逻辑程序设计理论与实践(TPLP)。 主页: https://arxiv.org/abs/1505.05022 关键词: arXiv_cs。润滑油;人工智能;arXiv_cs。人工智能;模块化动作语言;资产负债管理 相关软件: 人民;VerbNet(动词网络);CCalc公司;BWI罐;StanfordCoreNLP公司;PDDL公司;REBA公司;博客;克林戈;WordNet(文字网);斯莫德尔斯;o克林戈;高尔夫 引用于: 8文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 模块化动作语言\(\mathcal{ALM}\)。 Zbl 1379.68297号达尼埃拉·因利赞;迈克尔·盖尔芬德 2016 全部的 前5名13位作者引用 三 达尼埃拉·因利赞 2 迈克尔·盖尔芬德 2 杨芳凯 1 陈小平 1 史蒂文·古斯塔夫森(Steven M.Gustafson)。 1 金国强 1 米哈伊尔·瓦勒埃维奇·库丘加诺夫 1 尤利亚·利勒 1 刘波 1 吕道明 1 克雷格·奥尔森 1 莫汉·斯里德哈兰 1 张世奇 3篇连载文章中引用 2 逻辑程序设计理论与实践 1 国际计算机与系统科学杂志 1 人工智能研究杂志 在1个字段中引用 8 计算机科学(68至XX) 按年份列出的引文