跳到主要内容
SpringerLink公司
登录

彭ASP公司系统：体系结构、语言和创作工具

  • 原始纸张
  • 出版：
语言资源与评价 目标和范围 提交手稿

摘要

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

这是订阅内容的预览，通过机构登录 以检查访问。

访问此文章

通过机构登录

订阅并保存

施普林格+基础
32.70欧元/月
  • 每月购买10件
  • 下载文章/章节或电子书
  • 1单位=1条或1章
  • 随时取消
立即订阅

立即购买

价格包括增值税（中国）

即时访问全文PDF。

机构认购

图1
图2
图3
图4
图5

其他人正在查看的类似内容

探索相关主题

发现相关学科顶尖研究人员的最新文章、新闻和故事。

笔记

  1. http://en.wikipedia.org/wiki/Ajax_（编程）.

  2. http://json.org/.

  3. http://www.ecmascript.org/.

  4. 网址：http://jquery.com/.

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

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

工具书类

  • Baral，C.和Dzifcak J.（2012年）。通过自动翻译解决英语中描述的谜题，以回答集合编程，并学习如何进行翻译。在KR 2012年会议记录（第573-577页）。

  • Baral，C.、Dzifcak，J.和Son，T.C.（2008）。使用答案集编程和lambda演算来描述带有规范和例外的自然语言句子。在第二十三届人工智能会议记录（AAAI 2008）（第818–823页）。

  • Brewka，G.、Eiter，T.和Truszczynski，M.（2011年）。回答Set Programming一目了然。ACM通信,54(12), 92–103.

    第条 谷歌学者 

  • Clark，P.、Harrison，P.，Jenkins，T.、Thompson，J.和Wojcik，R.（2005）。使用有限的英语子集获取和使用世界知识。在第18届国际FLAIRS会议（FLAIRS'05）（第506-511页）。

  • Clark，P.和Porter，B.（2011年）。KM-知识机器2.0：用户手册.

  • Doherty，P.和Kvarnström，J.（2008）。时间动作逻辑。在B.Porter、V.Lifschitz和F.van Harmelen（编辑）中，知识表示手册，第18章（第709–757页）。爱思唯尔。

  • Erdem，E.，Erdogan，H.，&Øztok，U.（2011年）。BIOQUERY-ASP：使用答案集编程查询生物医学本体。在第五届国际会议记录规则ML2011@BRF挑战，与第五届国际规则研讨会合办11月3日至5日，美国佛罗里达州劳德代尔堡。

  • Erdem，E.和Yeniterzi，R.（2009年）。将受控自然语言生物医学查询转换为应答集程序。在BioNLP研讨会会议记录（第117-124页），科罗拉多州博尔德。

  • Etzioni，O.、Golden，K.和Weld，D.（1998）。合理有效的封闭世界规划推理。人工智能,89(1–2), 113–148.

    谷歌学者 

  • Franconi，E.、Guagliardo，P.、Trevisan，M.和Tessaris S.（2011年）。Quelo：本体论驱动的查询接口。在第24届描述逻辑国际研讨会论文集（DL 2011）.

  • Freeman，E.、Robson，E.、Bates，B.和Sierra，K.（2004年）。头部优先设计图案（第526–577页）。奥莱利。

  • Fuchs，N.E.、Kaljurand，K.和Kuhn，T.（2008）。尝试控制英语知识表达。在C.Baroglio、P.A.Bonatti、J.Maluszynski、M.Marchiori、A.Polleres和S.Schaffert（编辑）中，推理网，2008年第四届国际暑期学校，LNCS 5224（第104–124页）。

  • Gebser，M.、Kaminski，R.、Kaufmann，B.、Ostrowski，M.，Schaub，T.和Schneider，M.（2011）。Potassco：波茨坦答案集解答集合。人工智能通信,24(2), 105–124.

    谷歌学者 

  • Gebser，M.、Kaminski，R.、Kaufmann，B.和Schaub，T.（2012）。实践中的答案集求解。人工智能与机器学习综合讲座,6(3), 1–238.

    第条 谷歌学者 

  • Gelfond，M.和Kahl，Y.（2014年）。知识表示、推理和智能代理的设计，答案集编程方法剑桥：剑桥大学出版社。

    书 谷歌学者 

  • Gelfond，M.和Lifschitz，V.（1988年）。逻辑编程的稳定模型语义。在第五届逻辑程序设计国际会议记录（第1070–1080页）。

  • Grasso，G.、Leone，N.和Ricca，F.（2013年）。答案集编程：语言、应用程序和开发工具。W.Faber和D.Lembo（编辑），Web推理和规则系统（RR 2013），LNCS 7994（第19-34页）。

  • Gunning，D.，Chaudhri，V.K.，Clark，P.，Barker，K.等人（2010年）。光环计划更新——迈向数字亚里士多德的进程。人工智能杂志,31(3), 33–58.

    谷歌学者 

  • Guy，S.和Schwitter，R.（2014）。用于受控自然语言处理的基于Web的预测编辑器的体系结构。在B.Davis等人（编辑）中，CNL 2014年，LNAI 8625（第167–178页）。

  • Kamp，H.和Reyle，U.（1993年）。从话语到逻辑多德雷赫特：克鲁沃。

    谷歌学者 

  • Kim，T.-W.，Lee，J.和Palla，R.（2009年）。作为答案集编程的外切事件演算。在第21届国际人工智能联合会议记录（IJCAI 2009）（第823-829页）。

  • Krötzsch，M.、Vrandečić，C.、Völkel，M.、Haller，H.和Studer，R.（2007年）。语义维基百科。Web语义杂志,5(4), 251–261.

    第条 谷歌学者 

  • Kuhn，T.（2008）。AceWiki：一个自然且富有表现力的语义Wiki。在CEUR研讨会论文集CHI 2008语义Web用户交互：探索HCI挑战.

  • Kuhn，T.（2010）。用于知识表示的受控英语苏黎世大学经济、工商管理和信息技术学院博士论文。

  • Kuhn，T.（2014）。受控自然语言的调查和分类。计算语言学,40(1), 121–170.

    第条 谷歌学者 

  • Lee，J.和Palla，R.（2012）。在答案集编程中重新设置时间动作逻辑。在AAAI人工智能会议记录（第786-792页）。

  • Lierler，Y.和Lifschitz，V.（2013）。逻辑程序与文本推理中的一阶公式。在第十届计算语义学国际会议记录（IWCS 2013）（第340–346页），德国波茨坦。

  • Lifschitz，V.（2008）。什么是答案集编程？在AAAI 2008会议记录（第1594-1597页）。

  • Mueller，E.T.（2014）。常识推理：基于事件演算的方法（第二版）。洛斯·阿尔托斯：摩根·考夫曼。

    谷歌学者 

  • Power，R.（2012）。OWL简体英语：一种用于本体编辑的有限状态语言。在T.Kuhn和N.E.Fuchs（编辑）中，2012年CNL会议记录（第44-60页）。海德堡：施普林格。

    谷歌学者 

  • Reiter，R.（1980年）。默认推理的逻辑。人工智能,13, 81–132.

    第条 谷歌学者 

  • Schüller，P.（2013）。使用CYK算法和答案集编程进行灵活的组合分类语法解析。在P.Cabalar和T.C.Son（编辑）中，逻辑编程与非单调推理（LPNMR），LNCS 8148（第499–511页）。

  • Schwitter，R.（2010）。用于知识表示的受控自然语言。在COLING 2010会议记录（第1113-1121页），中国北京。

  • Schwitter，R.（2011）。在受控自然语言中指定事件及其影响。在N.A.Aziz、K.Hasida、A.W.A.Rahman和H.Saito（编辑）中，计算语言学及相关领域、社会和行为科学（第27卷，第12-21页）。爱思唯尔。

  • Schwitter，R.、Ljungberg，A.和Hood，D.（2003）。ECOLE：受控语言的look-ahead编辑器。在EAMT-CLAW03会议记录（第141-150页），都柏林。

  • Shanahan，M.（1997年）。解决框架问题：常识惯性定律的数学研究马萨诸塞州剑桥：麻省理工学院出版社。

    谷歌学者 

  • Sommerville，I.（2011）。软件工程，国际版（第9版，第155-164页）。纽约：皮尔逊。

  • Sowa，J.F.（2002）。智能系统的体系结构。IBM系统杂志人工智能专刊,41(3), 331–349.

    谷歌学者 

  • Tennant，H.R.、Ross，K.M.、Saenz，R.M.、Thompson，C.W.和Miller，J.R.（1983）基于菜单的自然语言理解。《ACL会议记录》（第151-158页）。

  • Todorova，Y.和Gelfond，M.（2012年）。面向旅游领域的问答。在E.Erdem等人（编辑）中，正确的推理，LNCS 7265（第311-326页）。

  • van Eijck，J.和Kamp，H.（2011）。语境中的话语表征。在J.van Benthem和A.ter Meulen（编辑）中，逻辑和语言手册（第二版，第181-252页）。阿姆斯特丹：爱思唯尔。

    第章 谷歌学者 

下载参考资料

作者信息

作者和附属机构

  1. 澳大利亚新南威尔士州悉尼麦格理大学计算系，邮编：2109

    斯蒂芬·盖伊和罗尔夫·施维特

作者
  1. 斯蒂芬·盖伊
    查看作者出版物

    您还可以在中搜索此作者公共医学 谷歌学者

  2. 罗尔夫·施维特
    查看作者出版物

    您还可以在中搜索此作者公共医学 谷歌学者

通讯作者

与的通信罗尔夫·施维特.

权利和权限

转载和许可

关于这篇文章

检查更新。通过CrossMark验证货币和真实性

引用这篇文章

盖伊，S.C.，施维特，R.The PENGASP公司系统：架构、语言和创作工具。Lang资源与评估 51, 67–92 (2017). https://doi.org/10.1007/s10579-016-9338-7

下载引文

  • 出版:

  • 发布日期:

  • 内政部:https://doi.org/10.1007/s10579-016-9338-7

关键词

搜索

导航