ASP系统:体系结构、语言和创作工具

摘要

本文介绍了PENG的体系结构、语言和创作工具\(^{ASP}\)系统。该系统支持在基于web的预测文本编辑器的帮助下,用受控自然语言编写非单调规范。该预测编辑器与受控自然语言处理器异步通信,该处理器通过话语表示结构将规范文本翻译成可执行的答案集程序(ASP)。受控自然语言处理器还为规范文本的作者生成先行类别和回指表达式,并提供规范的释义,以澄清机器对文本的解释。预测编辑器是PENG的核心组件\(^{ASP}\)系统;它指导写作过程,同时为不同的句子补全和回指表达式显示多组先行类别,并支持向词典中添加新的内容词.

这是订阅内容的预览,通过您的机构访问.

图1
图2
图3
图4
图5

笔记

  1. 1

    http://en.wikipedia.org/wiki/Ajax_(编程).

  2. 2

    http://json.org/.

  3. 三。

    http://www.ecmascript.org/.

  4. 4

    http://jquery.com/.

  5. 5

    http://www.swi-prolog.org/.

  6. 6

    http://users.tpg.com.au/j_birch/plugins/superfish/.

工具书类

  1. Baral,C.和Dzifcak J(2012年)。通过自动翻译解决英语中描述的谜题答案集编程并学习如何进行翻译。2012年KR会议记录(第573-577页)。

  2. Baral,C.,Dzifcak,J.和Son,T。C(2008年)。利用答案集编程和lambda演算对规范和异常的自然语言句子进行刻画。第二十三届人工智能会议记录(AAAI 2008)(第818-823页)。

  3. Brewka,G.,Eiter,T.和Truszzzyń滑雪,M(2011年)。答案集编程一目了然。ACM的通信,54(12) 第92-103页。

    文章 谷歌学者 

  4. 克拉克,P.,哈里森,P.,詹金斯,T.,汤普森,J.和沃奇克,R(2005年)。用有限的英语子集获取和使用世界知识。第18届国际FLAIRS会议(FLAIRS'05)(第506-511页)。

  5. 克拉克,P.和波特,B(2011年)。知识机器2.0:用户手册.

  6. Doherty,P.和Kvarnström、 J(2008年)。时间逻辑。在B。波特,V。Lifschitz和F。范哈梅伦(编辑),知识表示手册,第18章(第709-757页)。爱思唯尔。

  7. Erdem,E.,Erdogan,H.和Ö美国兹托克(2011年)。ASP:使用答案集编程查询生物医学本体。第五届国际会议记录2011年规则@BRF挑战,与第五届国际规则研讨会合办,劳德代尔堡,佛罗里达州,美国,11月3日至5日。

  8. Erdem,E.和Yeniterzi,R(2009年)。将受控自然语言生物医学查询转换为答案集程序。生物NLP研讨会论文集(第117-124页),科罗拉多州博尔德。

  9. Etzioni,O.,Golden,K.和Weld,D(1998年)。合理有效的封闭世界规划推理。人工智能,89(1-2),113-148。

    谷歌学者 

  10. Franconi,E.,Guagliardo,P.,Trevisan,M.和Tessaris S(2011年)。Quelo:本体驱动的查询接口。第24届描述逻辑国际研讨会论文集(DL 2011).

  11. Freeman,E.,Robson,E.,Bates,B.和Sierra,K(2004年)。头部优先设计模式(第526-577页)。奥莱利。

  12. 福斯,N。E、 ,Kaljurand,K.和Kuhn,T(2008年)。尝试用英语进行知识表达。在C。巴罗格利奥,P。A。博纳蒂,J。马吕斯钦斯基,M。马基奥里,A。Polleres公司。谢弗特(编辑),推理网,2008年第四届国际暑期学校,LNCS 5224(第104-124页)。

  13. Gebser,M.,Kaminski,R.,Kaufmann,B.,Ostrowski,M.,Schaub,T.和Schneider,M(2011年)。Potasco:波茨坦答案集解决方案集。人工智能通信,24(2) 第105-124页。

    谷歌学者 

  14. Gebser,M.,Kaminski,R.,Kaufmann,B.和Schaub,T(2012年)。在实践中解决答案集。人工智能与机器学习综合讲座,6(3) ,第1-238页。

    文章 谷歌学者 

  15. Gelfond,M.和Kahl,Y(2014年)。知识表示、推理、智能代理的设计、答案集编程方法. 剑桥:剑桥大学出版社。

     谷歌学者 

  16. Gelfond,M.和Lifschitz,V(1988年)。逻辑程序设计的稳定模型语义。第五届逻辑程序设计国际会议论文集(第1070-1080页)。

  17. 格拉索,G.,利昂,N.和里卡,F(2013年)。答案集编程:语言,应用和开发工具。在W。辉柏公司。伦博(编辑),网络推理与规则系统(RR 2013),LNCS 7994(第19-34页)。

  18. 冈宁,D.,乔杜里,V。K、 ,克拉克,P.,巴克,K.等人(2010年)。项目光环更新进展数字亚里士多德。人工智能杂志,31(3) 第33-58页。

    谷歌学者 

  19. 盖伊,S.和施维特R(2014年)。控制自然语言处理的基于Web的预测编辑器的体系结构。在B。戴维斯等人(编辑),2014年CNL,LNAI 8625(第167-178页)。

  20. Kamp,H.和Reyle,U(1993年)。从逻辑到话语. 多德雷赫特:克鲁瓦。

    谷歌学者 

  21. Kim,T.-W.,Lee,J.,和Palla,R(2009年)。限定事件演算作为答案集编程。第21届人工智能国际联席会议论文集(IJCAI 2009)(第823-829页)。

  22. 克朗ötzsch,M.,维朗德čć, C、 ,伏ölkel,M.,Haller,H.和Studer,R(2007年)。语义维基百科。网络语义学杂志,5(4) ,251–261年。

    文章 谷歌学者 

  23. 库恩,T(2008年)。AceWiki:一个自然而富有表现力的语义Wiki。CEUR研讨会论文集语义Web用户交互在chi2008:探索HCI挑战.

  24. 库恩,T(2010年)。知识表征的受控英语. 苏黎世大学经济、工商管理和信息技术学院博士论文。

  25. 库恩,T(2014年)。受控自然语言的调查和分类。计算语言学,40(1) ,121-170年。

    文章 谷歌学者 

  26. Lee,J.和Palla,R(2012年)。在应答集程序设计中重构时序动作逻辑。人工智能会议论文集(第786-792页)。

  27. Lierer,Y.和Lifschitz,V(2013年)。逻辑程序与文本推理中的一阶公式。第十届计算语义学国际会议论文集(IWCS 2013)(第340-346页),德国波茨坦。

  28. 利夫希茨,V(2008年)。什么是答案集编程?AAAI 2008年会议记录(第1594-1597页)。

  29. 穆勒,E。T(2014年)。常识推理:一种基于事件演算的方法(第二版)。洛杉矶:摩根考夫曼。

    谷歌学者 

  30. 功率,R(2012年)。OWL简化英语:本体编辑的有限状态语言。在T。库恩&恩。E。福斯(编辑),2012年CNL会议记录(第44-60页)。海德堡:斯普林格。

    谷歌学者 

  31. 赖特,R(1980年)。默认推理的逻辑。人工智能,1381-132年。

    文章 谷歌学者 

  32. 附表ü勒尔,P(2013年)。基于CYK算法和答案集编程的灵活组合分类语法分析。在P。卡巴拉。C。儿子(编辑),逻辑程序设计与非单调推理,LNCS 8148(第499-511页)。

  33. R.施维特(2010年)。知识表示的受控自然语言。科林2010年会议记录(第1113-1121页),中国北京。

  34. R.施维特(2011年)。用受控自然语言指定事件及其效果。以N表示。A。阿齐兹,K。哈西达,A。W。A。拉赫曼和H。斋藤(编辑),计算语言学及相关领域,前媒体社会与行为科学(第27卷,第12-21页)。爱思唯尔。

  35. Schwitter,R.,Ljungberg,A.和Hood,D(2003年)。一个控制语言的编辑器。EAMT-CLAV03会议记录(第141-150页),都柏林。

  36. 沙纳汉,M(1997年)。解决框架问题:惯性常识定律的数学考察. 马萨诸塞州剑桥:麻省理工学院出版社。

    谷歌学者 

  37. 萨默维尔,I(2011年)。软件工程,国际版(第9版,第155-164页)。纽约:皮尔逊。

  38. 索瓦,J。F(2002年)。智能系统体系结构。IBM系统杂志人工智能专刊,41(3) 公元331-349年。

    谷歌学者 

  39. 坦南,H。R、 ,罗斯,K。M、 ,萨恩兹,R。M、 ,汤普森,C。W、 和米勒,J。R(1983)基于菜单的自然语言理解。在ACL会议录(第151-158页)。

  40. Todorova,Y.和Gelfond,M(2012年)。旅游领域的问题回答。在E。Erdem等人(编辑),正确的推理,LNCS 7265(第311-326页)。

  41. van Eijck,J.和Kamp,H(2011年)。语境中的话语表征。在J。范本瑟姆A。ter Meulen(编辑),逻辑与语言手册(第二版,第181-252页)。阿姆斯特丹:爱思唯尔。

     谷歌学者 

下载参考资料

作者信息

隶属关系

作者

通讯作者

通信对象罗尔夫·施维特.

权利和权限

转载和许可

关于这篇文章

通过十字标记验证货币和真实性

引用这篇文章

盖伊,南卡罗来纳州施维特。ASP系统:架构,语言和创作工具。语言资源与评估 51岁,67–92(2017年)。https://doi.org/10.1007/s10579-016-9338-7

下载引文

关键词

  • 受控自然语言处理
  • 规格
  • 预测编辑器
  • 基于Web的创作工具
  • 答案集编程