PENGASP公司 swMATH ID: 27488 软件作者: 盖伊,S。;R.施维特。 描述: PENGASP系统:体系结构、语言和创作工具。在本文中,我们描述了PENGASP系统的体系结构、语言和创作工具。该系统支持在基于web的预测文本编辑器的帮助下,用受控自然语言编写非单调规范。该预测编辑器与受控自然语言处理器进行异步通信,该处理器通过话语表示结构将规范文本转换为可执行的答案集程序(ASP)。受控自然语言处理器还为规范文本的作者生成前瞻性类别和回指表达式,并提供规范的转述,阐明机器对文本的解释。预测编辑器是PENGASP系统的核心组件;它指导写作过程,并针对不同的可能完成句子和回指表达式同时显示多组先行类别,并支持在词典中添加新的内容词。 主页: https://link.springer.com/article/10.1007/s10579-016-9338-7 相关软件: AceRules公司;乌胡拉;海狮;哈维;Potassco公司;天基信息平台;DLV公司 引用于: 3文件 全部的 前5名6位作者引用 1 马丁·迪勒 1 托比亚斯·凯恩 1 罗尔夫·施维特 1 汉内斯·斯特拉斯 1 汉斯·托姆皮茨 1 亚当·扎卡里·怀纳 2篇连载文章中引用 1 国际近似推理杂志 1 逻辑程序设计理论与实践 在1个字段中引用 三 计算机科学(68至XX) 按年份列出的引文