Controlled Natural Languages for Knowledge Representation and Reasoning

Gao, Tiantian

doi:10.4230/OASIcs.ICLP.2016.19

摘要

受控自然语言（CNL）是知识表示和推理的有效语言。它们是基于特定的自然语言设计的，具有受限的词汇和语法。与基本语言相比，CNL是明确和简单的。它们保留了自然语言的表现力和连贯性。本文主要关注一类CNL，称为面向机器的CNL，它具有定义良好的语义，可以确定性地翻译为形式语言进行逻辑推理。尽管出现了许多面向机器的CNL，并已在许多应用领域中用于解决问题和回答问题，但仍有许多局限性：首先，CNL无法处理知识库中的不一致性。其次，CNL的功能不足以识别句子的不同变体，因此可能无法返回预期的推理结果。第三，CNL没有一个好的可废止推理机制。本文针对这三个问题，提出了解决这些问题的研究方案。它还显示了当前的研究状态：一个准一致性逻辑框架，从中创建了指导用户编码CNL句子的六个原则。实验结果表明，该次一致性逻辑框架和这六个原则可以通过注入不一致性来一致有效地解决字谜问题。

Gabor Angeli、Melvin Jose Johnson Premkumar和Christopher D.Manning。利用语言结构进行开放域信息提取。《计算语言学协会第53届年会和亚洲自然语言处理联合会第七届国际自然语言处理联席会议论文集》，ACL 2015，2015年7月26日至31日，中国北京，第1卷：长篇论文，第344-354页。计算语言学协会，计算机语言学协会，2015年。
马塞洛·巴尔杜奇尼（Marcello Balduccini）。在答案集编程中表示约束满足问题。2009年7月，ICLP09答案集编程和其他计算范式研讨会（ASPOCP09）。
马塞洛·巴尔杜奇尼（Marcello Balduccini）。用非herbrand函数扩展答案集编程的一种“保守”方法。在正确推理中，第24-39页。施普林格，2012年。
马塞洛·巴尔杜奇尼（Marcello Balduccini）。具有非herbrand部分功能的Asp：一种实用的语言和系统。逻辑程序设计理论与实践，13（4-5）：547-5612013。
马塞洛·巴尔杜奇尼（Marcello Balduccini）和迈克尔·盖尔丰德（Michael Gelfond）。具有一致性恢复规则的逻辑程序。在常识推理逻辑形式化国际研讨会上，AAAI 2003年春季研讨会系列，第102卷，2003年。
奇塔·巴拉尔（Chitta Baral）、朱拉杰·齐夫萨克（Juraj Dzifcak）、马科斯·阿尔瓦雷斯·冈萨雷斯（Marcos Alvarez Gonzalez）和亚伦·戈特斯曼（Aaron Gottesman）。类型化答案集编程的lambda演算理论及其逆lambda算法的正确性。TPLP，12（4-5）：775-7912012年。
奇塔·巴拉尔（Chitta Baral）、朱拉杰·齐夫萨克（Juraj Dzifcak）、马科斯·阿尔瓦雷斯·冈萨雷斯（Marcos Alvarez Gonzalez）和周嘉玉（Jiayu Zhou）。使用反向lambda和泛化将英语翻译成正式语言。CoRR，abs/1108.38432011年。
Ken Barker、Bruce W.Porter和Peter Clark。构成知识库的通用概念库。2001年10月21日至23日，加拿大不列颠哥伦比亚省维多利亚市，第一届国际知识获取会议记录（K-CAP 2001），第14-21页。ACM，2001年。
Nuel D Belnap Jr.一个有用的四值逻辑。《多值逻辑的现代应用》，第5-37页。斯普林格，1977年。
Jean-Yves Béziau、Walter Alexandre Carnielli和Dov M Gabbay。副一致性手册。学院出版物，2007年。
霍华德·布莱尔和VS苏布拉曼尼亚。准一致逻辑编程。在软件技术和理论计算机科学基础国际会议上，第340-360页。施普林格，1987年。
格哈德·布鲁卡、詹姆斯·德尔格兰德、哈维尔·罗梅罗和托尔斯滕·绍布。asprin：自定义答案集首选项，不会让人头疼。编辑Blai Bonet和Sven Koenig，《第二十届AAAI人工智能会议论文集》，2015年1月25日至30日，美国德克萨斯州奥斯汀，第1467-1474页。AAAI出版社，2015年。
彼得·克拉克（Peter Clark）、肖伊·查（Shaw Yi Chaw）、肯·巴克（Ken Barker）、维奈·K·乔德里（Vinay K.Chaudhri）、菲利普·哈里森（Philip Harrison）、詹姆斯·范（James Fan）、邦妮·约翰（Bonnie E.John）、布鲁斯·波特（Bruce W.Porter）、亚伦·斯波尔丁（A。捕获并回答向基于知识的系统提出的问题。Derek H.Sleeman和Ken Barker，编辑，《第四届知识获取国际会议论文集》（K-CAP 2007），2007年10月28日至31日，加拿大不列颠哥伦比亚省惠斯勒，第63-70页。ACM，2007年。
Peter Clark、Philip Harrison、Thomas Jenkins、John A.Thompson和Richard H.Wojcik。使用有限的英语子集获取和使用世界知识。Ingrid Russell和Zdravko Markov，编辑，第十八届国际佛罗里达人工智能研究学会会议论文集，美国佛罗里达州克利尔沃特海滩，第506-511页。AAAI出版社，2005年。
彼得·克拉克、布鲁斯·波特和波音幻影工厂。公里？知识机器2.0：用户手册。德克萨斯大学奥斯汀分校计算机科学系，2004年2月5日。
埃斯拉·埃尔登、哈利特·埃尔多安和乌穆特·奥兹托克。BIOQUERY-ASP：使用答案集编程查询生物医学本体。Stefano Bragaglia、Carlos Viegas Damásio、Marco Montali、Alun D.Preece、Charles J.Petrie、Mark Proctor和Umberto Straccia，编辑，《第五届国际会议录》规则ML2011@BRF挑战，与第五届国际规则研讨会合办，2011年11月3日至5日，美国佛罗里达州劳德代尔堡，CEUR研讨会论文集第799卷。CEUR-WS.org，2011年。
诺伯特·E·富克斯（Norbert E.Fuchs）、卡雷尔·卡尔朱兰（Kaarel Kaljurand）和托比亚斯·库恩（Tobias Kuhn）。尝试控制英语知识表达。Cristina Baroglio、Piero A.Bonatti、Jan Maluszynski、Massimo Marchiori、Axel Polleres和Sebastian Schaffert，2008年9月7日至11日，意大利威尼斯2008年第四届国际暑期学校推理网编辑，《辅导讲座》，计算机科学讲义第5224卷，第104-124页。施普林格，2008年。
诺伯特·E·富克斯（Norbert E.Fuchs）、卡雷尔·卡尔朱兰（Kaarel Kaljurand）和托比亚斯·库恩（Tobias Kuhn）。ACE 6.6的话语表达结构。技术报告ifi-2010.0010，瑞士苏黎世苏黎世大学信息学系，2010年。
诺伯特·E·富克斯（Norbert E.Fuchs）和尤塔·施维特尔（Uta Schwertel）。尝试控制英语中的推理。François Bry、Nicola Henze和Jan Maluszynski主编，《语义网络推理的原理和实践》，国际研讨会，PPSWR 2003，印度孟买，2003年12月8日，《计算机科学讲义汇编》第2901卷，第174-188页。斯普林格，2003年。
田田高、保罗·福多和迈克尔·基弗。超一致性和字谜。CoRR，abs/1608.013382016年。
马丁·格布瑟（Martin Gebser）、本杰明·考夫曼（Benjamin Kaufmann）、罗兰·卡明斯基（Roland Kaminski。Potassco：potsdam答案集求解集合。AI社区。，24(2):107-124, 2011.
Michael Gelfond和Yulia Kahl。知识表示、推理和智能代理的设计：答案集编程方法。剑桥大学出版社，2014年。
ASD简化技术英语维护组。ASD-STE 100：简化技术英语：用受控语言编制维修文件的国际规范。欧洲航空航天和国防工业协会，2007年。
菲利普·哈里森和迈克尔·麦克斯韦。gpsg的新实现。过程中。第六届加拿大人工智能大会，第78-83页，1986年。
汉斯·坎普和乌维·雷尔。从话语到逻辑：自然语言的模型论语义、形式逻辑和话语表示理论导论，第42卷。施普林格科学与商业媒体，2013年。
迈克尔·基弗（Michael Kifer）和埃利泽·洛津斯基（Eliezer L.Lozinskii）。不一致推理的逻辑。J.汽车。推理，9（2）：179-215，1992年。
托比亚斯·库恩。受控自然语言的调查和分类。计算语言学，40（1）：121-1702014。
Tom Kwiatkowski、Luke S.Zettlemoyer、Sharon Goldwater和Mark Steedman。通过高阶统一从逻辑形式中导出概率CCG文法。2010年10月9日至11日，美国马萨诸塞州麻省理工学院统计中心，《2010年自然语言处理实证方法会议记录》，ACL特别利益小组SIGDAT会议，第1223-1233页。ACL，2010年。
弗拉基米尔·利夫希茨。封闭世界数据库和界限。工件。智力。，27(2):229-235, 1985.
雷纳·马奈和弗朗索瓦·布里。Satchmo：在prolog中实现的定理证明程序。在国际自动扣除会议上，第415-434页。斯普林格，1988年。
Mausam、Michael Schmitz、Stephen Soderland、Robert Bart和Oren Etzioni。信息提取的开放式语言学习。在Jun’ichi Tsujii、James Henderson和Marius Pasca编辑的《2012年自然语言处理和计算自然语言学习实证方法联合会议记录》中，EMNLP-CoNLL 2012年7月12日至14日，韩国济州岛，第523-534页。ACL，2012年。
威廉·麦库恩。Otter 3.0参考手册和指南，第9700卷。阿贡国家实验室，伊利诺伊州阿贡，1994年。
威廉·麦库恩。Mace4参考手册和指南。arXiv预印本cs/03100552003。
唐纳德·纳特。可击败逻辑，《人工智能和逻辑编程逻辑手册》（第3卷）：非单调推理和不确定性推理，1994年。
美国之音（组织）。美国之音慢速英语单词簿：广播、电视和互联网上的慢速英语节目中使用的单词列表。美国之音，2007年。
查尔斯·凯·奥格登。基础英语：关于规则和语法的一般介绍。《心灵微缩》第29名。，通用系列。K.Paul，Trench，Trubner，1944年。
Graham Priest、Koji Tanaka和Zach Weber。次一致逻辑。慕尼黑，1989年。
Teodor C.Przymusinski。逻辑程序的资金充足且稳定的模型。安。数学。工件。智力。，12(3-4):141-187, 1994.
罗尔夫·施维特。英语作为正式规范语言。2002年9月2日至6日，第13届数据库和专家系统应用国际研讨会（DEXA 2002），法国Aix-en-Provence，第228-232页。IEEE计算机学会，2002年。
罗尔夫·施维特。用于知识表示的受控自然语言。黄楚仁（Chu-Ren Huang）和朱拉夫斯基（Dan Jurafsky），编辑，COLING 2010，第23届国际计算语言学会议，海报卷，2010年8月23日至27日，中国北京，第1113-1121页。中国信息处理学会，2010年。
罗尔夫·施维特。就业难题：通过受控的自然语言处理接受挑战。TPLP，13（4-5）：487-5012013年。
罗尔夫·施维特。使用受控自然语言中的默认值。澳大利亚语言技术协会2013年研讨会，第106页，2013年。
Nguyen H Vo、Arindam Mitra和Chitta Baral。用于构建自然语言翻译系统的nl2kr平台。计算语言学协会（ACL），2015年。
许万、本杰明·格罗夫、迈克尔·基弗、保罗·福多和梁森林。具有默认值和论证理论的逻辑编程。帕特里夏·希尔（Patricia M.Hill）和大卫·斯科特·沃伦（David Scott Warren），逻辑编程编辑，第25届国际会议，ICLP 2009，美国加利福尼亚州帕萨迪纳，2009年7月14-17日。《计算机科学讲义》第5649卷，第432-448页。施普林格，2009年。
L.沃斯。自动推理：介绍和应用。McGraw-Hill，1992年。

用于知识表示和推理的受控自然语言

作者田田高

文件

文件标识符

作者详细信息

引用为获取BibTex

摘要

关键词

度量标准

工具书类

感谢您的反馈！

无法发送消息