圭多州长;迈克尔·马赫（Michael J.Maher）。 带注释的不可行逻辑。 （英语） Zbl 1422.68219号 理论与实践。日志。程序。 17，编号5-6，819-836（2017）. 摘要：可废止逻辑提供了几种语言特征来支持可废止知识的表达。这种逻辑也有很多种，表达了关于不可行推理的不同直觉。然而，这些逻辑只能以琐碎的方式组合。这限制了它们在不同直觉在问题的不同方面发挥作用的情况下的有用性。特别是，在某些法律环境中，不同的行为人有不同的举证责任，这可以用不同的可废止逻辑来表示。本文引入注释可解逻辑作为一种允许多种形式可解性的灵活形式主义，并建立了形式主义的一些性质。 引用于三文件 理学硕士： 68T27型 人工智能中的逻辑 关键词：可废止逻辑;非单调推理;注释逻辑;法律推理 软件：德洛雷斯 PDF格式BibTeX公司 XML格式引用 \textit{G.总督}和\textit{M.J.马赫}，理论与实践。日志。程序。17、编号5--6、819--836（2017；Zbl 1422.68219） 全文： 内政部 arXiv公司 参考文献： [1] 安东尼乌。，比林顿D。，政府。和MaherM.J.2000。可解除逻辑的灵活框架。程序中。AAAI人工智能全国会议。AAAI出版社/麻省理工学院出版社，405-410。 [2] 安东尼奥。，MaherM.J.和BillingtonD.2000。失效逻辑与无否定的逻辑编程之比较。程序设计中的逻辑和代数方法杂志42，1，47-57·Zbl 0959.68117号 [3] 阿拉文丹。和DungP。M.1995年。普通逻辑程序和扩展逻辑程序展开/折叠转换的正确性。编程中的逻辑和代数方法杂志24，3201-217·Zbl 0866.68018号 [4] 比林顿D。，安东尼奥。，政府。和MaherM.J.2010。可解逻辑的包含定理。ACM计算逻辑事务12，1，6·Zbl 1351.68261号 [5] 卡米纳达。，萨斯。，阿尔坎塔拉。和德沃夏克W.2015。逻辑编程语义与论证语义的等价性。国际近似推理杂志58，87-111.10.1016/j.ijar.2014.12004·Zbl 1328.68211号 ·doi:10.1016/j.ijar.2014.12.004 [6] 爱尔兰。，利昂内。和SaccáD.1997。析取演绎数据库的部分语义。数学与人工智能年鉴19，1-2，59-96.10.1023/A:1018947420290·兹伯利0880.68029 ·doi:10.1023/A:1018947420290 [7] 装配M.1985。逻辑程序的Kripke-Kleene语义。程序设计中的逻辑和代数方法杂志2，4，295-312·Zbl 0589.68011号 [8] 盖尔德拉。V.、RossK。A.和SchlipfJ。S.1991年。通用逻辑程序的基础良好的语义。临床微生物学学会杂志38，3，620-650·Zbl 0799.68045号 [9] GelfondM公司。和LifschitzV.1988。逻辑编程的稳定模型语义。程序中。JICSLP，1070-1080。 [10] 戈登。F.和Walton D.2009。证明责任和标准。在《人工智能辩论》中，I.Rahwan和G.Simari，Eds.Springer，柏林，239-260。 [11] 2011年州长。论卡尼德与可废止逻辑的关系。程序中。第13届国际人工智能与法律会议，K.D.Ashley和T.M.van Engers，Eds.ACM，31-40。 [12] 政府。，MaherM.J.、AntoniouG。和Billington D.2004。可废止逻辑的论证语义。逻辑与计算杂志14，5，675-702.10.1093/log.com/14.5.675·Zbl 1067.03038号 ·doi:10.1093/logcom/14.5.675 [13] 政府。，OlivieriF.、ScannapiecoS.、。，罗托洛亚。和CristaniM.2016。目标概念背后的理性。逻辑程序设计理论与实践，16，3，296-324.10.1017/S147106841600053·Zbl 1379.68295号 ·doi:10.1017/S147106841600053 [14] 政府。和SartorG.2010。独白论证中的举证责任。程序中。第23届法律知识和信息系统年会，R.Winkels编辑，《人工智能与应用前沿》，第223卷。阿姆斯特丹IOS出版社，57-66。 [15] 格罗索夫B。N.1997年。逻辑程序的优先冲突处理。程序中。ILPS，197-211。 [16] KiferM.和SubrahmanianV。S.1992年。广义注释逻辑程序设计理论及其应用。逻辑与计算杂志，12，3&4，335-367。 [17] 库南K.1987。逻辑编程中的否定。逻辑与计算杂志，4，4，289-308·兹比尔0655.68018 [18] MaherM.J.2000年。可解逻辑的指称语义。程序中。2000年7月24日至28日在英国伦敦举行的第一届国际计算逻辑会议CL 2000，209-222·Zbl 0983.68185号 [19] MaherM.J.2001年。命题可解逻辑具有线性复杂性。逻辑程序设计的理论与实践1，6，691-711.10.1017/S147106840101168S147106890101168·Zbl 1066.68530号 ·文件编号：10.1017/S147106840101168 [20] MaherM.J.2002年。可定义逻辑的模型理论语义。程序中。ICLP 2002次次协调计算逻辑研讨会，67-80。 [21] MaherM.J.2012年。可废止逻辑的相对表达性。逻辑程序设计理论与实践，12，4-5，793-810.10.1017/S1471068412000294S1471068.412000294·Zbl 1260.68065号 ·网址：10.1017/S1471068412000294 [22] MaherM.J.2013年。可废止逻辑的相对表现性2。逻辑程序设计理论与实践，13，4-5，579-592.10.1017/S1471068413000367·Zbl 1286.68052号 ·doi:10.1017/S1471068413000367 [23] MaherM.J.2017年。将具体的可废止推理形式与抽象论证联系起来。信息学基础，153，1，1-28.10.3233/FI-2017-1529·Zbl 1382.68147号 ·doi:10.3233/FI-2017-1529 [24] MaherM.J.和GovernatoriG.1999年。可废止逻辑的语义分解。程序中。AAAI人工智能全国会议，AAAI出版社，299-305。 [25] MaherM.J.，州长。和LamH。2011年第页。推理研究所资金充足的可废止逻辑。技术报告。 [26] MaierF.2013年。可定义逻辑和逻辑编程在良好语义基础下的可互定义性。逻辑程序设计理论与实践，13，1，107-142.10.1017/S14710641100041XS147106841100041X·Zbl 1272.68079号 ·doi:10.1017/S147106841100041X文件 [27] 梅耶夫。和NuteD.2010。为可废止逻辑提供了完善的语义。合成，176,2,243-274.1007/s11229-009-9492-1·Zbl 1214.03020号 ·doi:10.1007/s11229-009-9492-1 [28] PrakkenH.2010年。用结构化论据进行论证的抽象框架。论证与计算，193-124.10.1080/19462160903564592·doi:10.1080/19462160903564592 [29] 普拉肯。和SartorG.2007。将关于说服负担的论点形式化。程序中。第11届国际人工智能与法律会议，A.Gardner和R.Winkels，ACM编辑，97-106。 [30] PrzymusinskiT公司。C.1990年。基础良好的语义与三值稳定语义一致。《信息基础》，第13、4、445-463页·Zbl 0706.68029号 [31] 萨卡·D。和ZanioloC.1990。具有否定的逻辑程序中的稳定模型和非决定论。程序中。PODS，205-217。 [32] VerheijB.2003年。DefLog：关于表面证据确凿的假设的逻辑解释。计算机与系统科学杂志，13，3，319-346·Zbl 1032.03507号 [33] 万赫。，格罗索夫B。N.、KiferM.、FodorP。和LiangS.2009。默认逻辑编程和论证理论。程序中。ICLP，第432-448页·Zbl 1251.68230号 [34] 万赫。，KiferM.和GrosofB。2015年4月。具有默认值和论证规则的答案集程序的可击败性。语义网，6，1，81-98。 [35] 尤杰。和元L.1994。演绎数据库和逻辑程序的三值语义。计算机与系统科学杂志，49，2，334-3610.1016/S0022-0000（05）80053-4·Zbl 0821.68080号 ·doi:10.1016/S0022-0000（05）80053-4 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。