×

兹马思-数学第一资源

用受控自然语言指定和描述答案集程序。(英语) Zbl公司 1451.68295
摘要:我们展示了如何使用双向语法来指定和描述受控自然语言中的答案集程序。我们从受控自然语言的程序规范开始,并将该规范自动转换为可执行的答案集程序。所得到的答案集程序可以按照某些命名约定进行修改,然后程序的修订版本可以用作为规范语言的自然语言子集来描述。双向语法被参数化以进行处理和生成,处理引用表达式,并在需要复制语法规则时利用语法规则数据结构中的对称性。我们证明,言语化需要句子规划,以便聚合相似的结构,从而提高生成规范的可读性。没有修改,生成的规范在语义上总是与原始规范等价;我们的双向语法是第一个允许在受控自然语言处理上下文中进行语义往返的语法。
理学硕士:
68T50型 自然语言处理
68N17 逻辑程序设计
68T30型 知识表示
软件:
彭加斯
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 贝利,D。;哈里森,A。;利勒,Y。;利夫希茨,V。;迈克尔,J.,(2015)
[2] 《知识表示、推理与陈述性问题解决》(2003),剑桥大学出版社·Zbl公司 1056.68139
[3] 巴拉尔,C。;吉夫卡,J。;冈萨雷斯,M。A、 。;周杰(2011)
[4] 克拉克,P。;哈里森,P。;詹金斯,T。;汤普森,J。;Wojcik,R.,(2005年)
[5] 德米雷尔。;古尔,K。D、 。;Erdem,E.,(2016年)
[6] 埃尔登,E。;Yeniterzi,R.,(2009年)
[7] 埃尔登,E。;Öztok,U.,生物医学查询的生成解释,逻辑编程理论与实践,15,1,35-78,(2015)·Zbl公司 1379.68059
[8] 福斯,N。E、 。;卡朱兰,K。;库恩,T.,(2008年)
[9] 格布瑟,M。;卡明斯基,R。;考夫曼,B。;Schaub,T.,《实践中的答案集解决》(2012年),Morgan&Claypool
[10] 格布瑟,M。;卡明斯基,R。;考夫曼,B。;林道尔,M。;奥斯特罗夫斯基,M。;罗梅罗,J。;肖布,T。;Thiele,S.,(2017年)
[11] 盖尔方德,M。;Lifschitz,V.,(1988年)
[12] 盖特,B。;比弗,D。一、 。;Maier,E.,(2015年)
[13] 盖伊,S。;Schwitter,R.,《PENGASP系统:架构、语言和创作工具》,《语言资源与评价杂志》,专刊:受控自然语言,51,1,67-92,(2017)
[14] Horacek,H.,《自然语言生成的新概念:规划、实现和系统》(2015),布鲁姆斯伯里
[15] 坎普,H。;雷尔,U.,《从话语到逻辑》(1993年),克鲁尔:克鲁维,多德雷赫特
[16] 库恩,T.,(2007年)
[17] 利勒,Y。;附表üLer,P.,正确推理,在答案集编程中通过规划分析组合范畴语法,436-453,(2012),Springer·Zbl公司 1357.68256
[18] Lifschitz,V.,(2008年)
[19] 阮,阮。五、 。;米特拉,A。;Baral,C.,(2015年)
[20] 佩雷拉,F。C。N、 。;沃伦,D。H。D、 ,(1980年)
[21] 佩雷拉,F。C。N、 。;希伯,S。M、 《序言与自然语言分析》(1987),剑桥大学出版社·Zbl公司 684.68010
[22] 赖特,E。;《构建自然语言生成系统》(2000),剑桥大学出版社
[23] 附表ü勒尔,P.,(2013年)
[24] 附表ü勒尔,P.,(2014年)
[25] Schwitter,R.,(2008年)
[26] 索瓦,J。F、 ,(2004年)
[27] 斯特林,L。S、 。;夏皮罗,E。Y、 《序言的艺术》,《高级编程技术》(1994),麻省理工学院出版社
[28] 塔里,L。;Baral,C.,(2005年)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。