{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,8,10]]，“日期-时间”：“2024-08-10T04:35:26Z”，“时间戳”：1723264526817}，“参考-计数”：22，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“5-6”，“许可证”：[{“开始”：“日期-零件”：[[2016,10,14]]，“时间“：”2016-10-14T00:00:00Z“，“timestamp”：1476403200000}，“content-version”：“unspecified”，“delay-in-days”：43，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，《short-container-title》：[“逻辑编程理论与实践”]，“published-print”：{“date-parts”：[2016,9]}，”abstract“：”摘要<\/jats:title>在过去十年里，字谜及其在逻辑语言中的表示问题受到了相当大的关注（波努鲁等<\/jats:italic>。2004; 夏皮罗2011；Baral和Dzifcak，2012年；Schwitter 2013）。特别感兴趣的是直接从自然语言（NL）或受控自然语言（CNL）生成这种表示的问题。就我们所知，这个问题的一个有趣的变化是，输入信息不一致时，在这种情况下几乎没有研究过这种变化。在这种情况下，现有的字谜编码会产生不一致的表示和分解。在本文中，我们引入了著名的亚一致逻辑类型，称为注释谓词演算（APC）（Kifer和Lozinskii 1992），以解决这个问题。我们为APC引入了一种新的非单调语义，称为一致性偏爱稳定模型<\/jats:italic>，并认为它使APC成为处理字谜和更普遍的NL句子中不一致性的合适平台。我们还设计了一些一般原则来帮助用户在NL句子的不同表示形式中进行选择，这些表示形式看起来可能是等效的，但实际上，当考虑到不一致的信息时，表现会有所不同。这些原则可以纳入现有的CNL翻译人员中，例如尝试控制英语（ACE）（Fuchs等<\/jats:italic>。2008）和PENG Light（White and Schwitter 2009）。最后，我们表明，具有一致性首选的稳定模型语义的APC可以等效地嵌入到ASP中，并且相对于稳定模型具有偏好，我们使用这种嵌入在Clingo（Gebser）中实现了该版本的APC等<\/jats:italic>。2011年）及其Asprin插件（Brewka等<\/jats:italic>。2015).<\/jats:p>“，”DOI“：”10.1017\/s1471068416000326“，”type“：”期刊文章“，”created“：｛”日期部分“：[[2016,10,15]，”日期时间“：”2016-10-15T21:28:20Z“，”时间戳“：1476566900000｝，”page“：”703-720“，”source“：”Crossref“，”由count引用“：2，”title“：[”Paraconsistency and word谜题“]，”prefix“：”10.1017“，”volume“：”16“，”author“：[｛”given“：”天”，“家族“：”GAO“，”sequence“：”first“，”affiliation“：[]}，{”given“：”PAUL“，”family“：”FODOR“，”序列“：”additional“，”filiation”：[]{“给定”：”MICHAEL“，”家族“：“KIFER”，“sequence”：“additional”，“affiliance”：[]}]，“member”：“56”，“published-on-line”：{“date-parts”：[[2016,10,14]}，“reference”：[{“key”：“S1471068416000326_ref11“，”卷标签“：”Paraconsistence手册（逻辑研究）”，“作者”：“Beziau”，“年份”：“2007”}，{“key”：“S1471068416000326_ref20”，“doi-asserted-by”：“crossref”，《首页》：“434”，“doi”：“10.1007\/3-540-45402-0_38”，“volume-title”：“逻辑编程和非单调推理，第六届国际会议，LPNMR 2001，维也纳，2001年9月17日至19日，奥地利，维也纳，Proceedings，“author”：“Syrj\u00e4nen”，“year”：“2001”}，{“key”：“S1471068416000326_ref21”，“first page”：《80》，“volume-title”：“ALTA Proceeding of ALTA”，“audor”：《White》，“year:”2009“}”，{《key》：“S144106841000326_ref2”，“doi-asserted-by“：”publisher“，”doi“：”10.1007 \/978-94-010-1161-7_2“}，{“key”：“S1471068416000326_ref6”，“doi-assert-by”：“publisher”，“doi”：“10.1305 \/ndjfl \/1093891487”}，“key“：”S147106861000326_ref14“，”首页“：”437“，”卷时间“：”《国际人工智能大会论文集》，IC-AI'042004，2004年6月21日至24日，美国内华达州拉斯维加斯，第1卷“，”作者“：”Ponnuru“，”年份“：”2004“}，｛”键“：”S1471068416000326_ref8“，”doi断言“：”crossref“，”首页“：”104“，”doi“：”10.1007\/978-3-540-85658-0_3“，”卷标题“：”推理网，2008年第四届国际暑期学校，意大利威尼斯，2008年9月7日至11日，辅导讲座“，”作者“：”福斯“，”年份“：”2008“}，{“key”：“S1471068416000326_ref15”，“volume-title”：“斯坦福哲学百科全书”，“author”：“牧师”，“year”：“2015”}，“key“：”S147106816000326_rf22“，”卷时间“：”自动推理：简介和应用”，“作者”：“Wos”，“年份”：“1984”}，{“key”：“S1471068416000326_ref3”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（89）90126-6”}知识表示与推理原理：第十三届国际会议论文集，2012年6月10日至14日，意大利罗马，KR 2012，“作者”：“Baral”，“年份”：“2012”}，{“关键”：“S1471068416000326_ref5”，“卷时间”：“程序设计lin\u00e9aire-65 probl\u00e8mes d’optimation mod\u00e 9lis\u00e9 s et r\u00e9-solus avec Visual Xpress”，“author“：”C.Gu\u00e9ret“，”year“：”2000“}，”key“：”S1471068416000326_ref12“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/BF00245460”}，“key”：“S147106816000326_ref7”，“doi-assert-by”：“publisher”，”doi“：”10.1002\/spe.623“}”常识推理的逻辑形式化，2011年AAAI春季研讨会论文，美国加利福尼亚州，2011年3月21日至23日”，“作者”：“夏皮罗”，“年份”：“2011”}，{“关键”：“S1471068416000326_ref10”，“doi-asserted-by”：“crossref”，“首页”：“107”，“doi”：“10.3233\/AIC-2011-0491”，“文章标题”：“波茨坦答案集求解集合”，“volume“：”24“，”author“：”Gebser“，”year“：”2011“，”journal-title“：”AI Communications“}，{“key”：“S1471068416000326_ref13”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0743-1066（92）90007-P”}，“key“：“：”S1471068416000326_ref9“，”非结构化“：”Gao T.、Fodor P.和Kifer M.，2016年。超一致性和字谜。ArXiv电子印刷品http://\/ArXiv.org\/abs\/1608.01338，1\u201330S1471068416000326_ref17“，“首页”：“510”，“卷-时间”：“概念结构：逻辑、语言和计算问题，第八届概念结构国际会议，ICCS 2000，德国达姆施塔特，2000年8月14日至18日，会议记录”，“作者”：“夏皮罗”，“年份”：“2000”}，{“键”：“S1471069416000326_时间”，“首页数”：“1467”，“volume-title“：“第二十届AAAI人工智能会议论文集，2015年1月25日至30日，美国德克萨斯州奥斯汀”，“author”：“Brewka”，“year”：“2015”}]，“container-title”：[“逻辑编程的理论与实践”]，“original-tittle”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068416000326“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2020,9,26]]，”date-time“：“2020-09-26T17:49:13Z”，“timestamp”：1601142553000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068416000326\/type\/journal_article“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2016,9]]}，”references-count“：22，”journal-issue“：{”issue“：”5-6“，”published-print“：{”date-parts“：[2016,9]}”，“alternative-id”：[“S1471068416000226”“]，”URL“：”http:\/\/dx.doi.org\/10.1017\/s1471068416000326“，”关系“：{}，”ISSN“：[”1471-0684“，”1475-3081“]，”ISSN-type“：[{”value“：”1471-0.684“，“type”：“print”}，{”value“：“1475-3083”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[2016,9]]}}}}