×
罗尔夫·施维特

用受控自然语言指定和描述答案集程序。 （英语） Zbl 1451.68295号

理论实践。日志。程序。 18，编号3-4，691-705（2018）.
摘要：我们展示了如何使用双向语法在受控自然语言中指定和描述答案集程序。我们从受控自然语言的程序规范开始，并将该规范自动转换为可执行的答案集程序。生成的答案集程序可以根据特定的命名约定进行修改，然后可以使用作为规范语言的同一自然语言子集来描述程序的修订版本。双向语法被参数化以进行处理和生成，处理引用表达式，并在需要复制语法规则时利用语法规则数据结构中的对称性。我们证明，为了聚合相似的结构，以提高生成规范的可读性，描述需要句子规划。如果不进行修改，生成的规范在语义上始终与原始规范等效；我们的双向语法是第一个允许在受控自然语言处理上下文中进行语义循环的语法。

MSC公司：

68T50型 自然语言处理
第68页第17页 逻辑编程
68立方英尺 知识表示

关键词：

双向文法;受控自然语言;答案集编程;句子规划;可执行规范

软件：

PENGASP公司
PDF格式BibTeX公司 XML格式引用
\textit{R.Schwitter}，理论与实践。日志。程序。18、编号3--4、691--705（2018；Zbl 1451.68295）
全文： DOI程序 arXiv公司

参考文献：

[1] Bailey博士。；哈里森，A。；Lierler，Y。；Lifschitz，V。；Michael，J.（2015）
[2] Baral，C.，《知识表示、推理和陈述式问题解决》，（2003），剑桥大学出版社·Zbl 1056.68139号
[3] Baral，C。；Dzifcak，J。；Gonzalez，医学硕士。；周杰（2011）
[4] 克拉克·P。；哈里森，P。；詹金斯，T。；汤普森，J。；Wojcik，R.（2005）
[5] Demirel，E。；Gur，K.D。；Erdem，E.（2016）
[6] Erdem，E。；Yeniterzi，R.（2009）
[7] Erdem，E。；Ùztok，U.，生物医学查询的生成解释，逻辑编程理论与实践，15，1，35-78，（2015）·Zbl 1379.68059号 ·doi:10.1017/S1471068413000598
[8] 富克斯，东北部。；卡尔朱兰，K。；库恩，T.（2008）
[9] Gebser，M。；卡明斯基，R。；考夫曼，B。；Schaub，T.，《实践中的答案集解决》，（2012），摩根&克莱普尔出版社
[10] Gebser，M。；卡明斯基，R。；考夫曼，B。；林道尔，M。；奥斯特罗斯基，M。；罗梅罗，J。；Schaub，T。；Thiele，S.（2017）
[11] Gelfond，M。；Lifschitz，V.（1988）
[12] Geurts，B。；海狸，D.I。；Maier，E.（2015）
[13] 盖伊，S。；Schwitter，R.，《PENGASP系统：架构、语言和创作工具》，《语言资源与评估杂志》，特刊：受控自然语言，51，1，67-92，（2017）·doi:10.1007/s10579-016-9338-7
[14] Horacek，H.，《自然语言生成中的新概念：规划、实现和系统》，（2015），布卢姆斯伯里
[15] Kamp，H。；Reyle，U.，《从话语到逻辑》，（1993），Kluwer：Kluwer，Dordrecht
[16] 库恩，T.（2007）
[17] Lierler，Y。；Schüller，P.，《正确推理，通过答案集编程中的规划解析组合范畴语法》，436-453，（2012），施普林格·Zbl 1357.68256号
[18] Lifschitz，V.（2008）
[19] Nguyen，H.V。；Mitra，A。；Baral，C.（2015）
[20] 佩雷拉，F.C.N。；沃伦·D·H·D·D（1980）
[21] 佩雷拉，F.C.N。；Shieber，S.M.，《序言与自然语言分析》（1987），剑桥大学出版社·Zbl 0684.68010号
[22] Reiter，E。；Dale，R.，《构建自然语言生成系统》，（2000），剑桥大学出版社
[23] Schüller，P.（2013）
[24] Schüller，P.（2014）
[25] 施维特尔（2008）
[26] Sowa，J.F.（2004）
[27] 斯特林，L.S。；夏皮罗，E.Y.，《序言的艺术》，《高级编程技术》（1994），麻省理工学院出版社·Zbl 0850.68137号
[28] 塔里，L。；Baral，C.（2005）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。