佐丹奴，L。;A.马泰利。;萨皮诺，M.L。 条件逻辑程序设计的一种溯源证明过程。 （英语） Zbl 1419.68118号 Gabbay，Dov M.（编辑）等人，《实践推理》。正式和应用实用推理国际会议，FAPR’96，德国波恩，1996年6月3日至7日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1085, 231-245 (1996). 摘要：我们在论证框架内开发了假设语言（CondLP^+）的溯源扩展。该语言支持假设更新和完整性约束，并在更新违反某些完整性约束时使用修订机制来恢复一致性。我们引入了一种基于可接受解概念的语言语义，并定义了一个溯因证明过程来计算它们。该语言可用于执行多种类型的不可行推理。我们讨论了如何修改语言的修改策略，以执行不同类型的推理，例如关于动作的推理。关于整个系列，请参见[兹比尔0937.00049]. 理学硕士： 68T27型 人工智能中的逻辑 68N17号 逻辑编程 关键词：逻辑程序;逻辑程序设计;操作语义学;完整性约束;容许解 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人，Lect。注释计算。科学。1085、231--245（1996年；Zbl 1419.68118） 全文： 内政部 参考文献： [1] C.Baral、S.Kraus、J.Minker、V.S.Subrahmanian。结合由一阶理论组成的知识库。《自动推理》，第8卷，第1期，第45-71页，1992年。 [2] M.Baldoni、L.Giordano和A.Martelli。在逻辑编程中定义模块的多模态逻辑。程序中。1993年国际逻辑程序设计研讨会，第473-487页，温哥华，1993年。 [3] L.霍尔维。在多源环境中证明定理。程序中。IJCAI-93，第66-71页，尚伯里，1993年。 [4] P.M.邓。否定作为假设：逻辑编程的诱因基础。程序中。ICLP-91会议，第3-17页，1991年。 [5] P.M.邓。论据的可接受性及其在非单调推理和逻辑编程中的基本作用。程序中。IJCAI93，第852-857页，1993年。 [6] K.Eshghi和R.Kowalski。诱拐与失败否定之比较。程序中。第六届ICLP，第234-254页，里斯本，1989年。 [7] L.Fariñas del Cerro和A.Herzig。用于基本更改的自动模式逻辑。在P.Smets等人的《自动推理的非标准逻辑》编辑中。学术出版社，1988年。 [8] D.M.Gabbay和N.Reyle。NProlog：Prolog的延伸，具有假设意义。逻辑程序设计杂志，（4）：319-3551984·Zbl 0576.68001号 ·doi:10.1016/0743-1066（84）90029-3 [9] D.Gabbay、L.Giordano、A.Martelli和N.Olivetti。条件逻辑编程。程序中。第11届ICLP，圣玛格丽塔·利古尔，第272-289页，1994年。 [10] Dov Gabbay、Laura Giordano、Alberto Martelli和Nicola Olivetti。逻辑编程语言中的假设更新、优先级和不一致性。程序中。LPNMR-95，LNAI 928，第203-216页，1995年·Zbl 0853.68074号 [11] M.Gelfond和V.Lifschitz。经典否定逻辑程序。程序中。ICLP-90，第579-597页，耶路撒冷，1990年。 [12] A.C.Kakas、P.Mancarella、P.M.Dung。逻辑程序的可接受语义。程序中。第11届ICLP，圣玛格丽塔·利古尔，第504-519页，1994年。 [13] N.Leone和P.Rullo。带集合的有序逻辑编程。《逻辑与计算杂志》，3（6）：621-6421993年·Zbl 0802.68025号 [14] S.Naqvi和F.Rossi。不一致数据库中的推理。程序中。1990年北美逻辑编程会议，第255-272页，1990年。 [15] L.M.Pereira，J.J.Alferes，J.N.《建立良好的语义学中的Aparicio矛盾消除》。程序。LPNMR-91，（1991）105-119。 [16] L.M.Pereira、C.V.Damasio、J.J.Alferes诊断和调试作为矛盾消除。程序。LPNMR-93，（1993）316-330。 [17] F.Toni和A.Kakas。计算可接受语义。程序中。LPNMR-95，第401-415页，1995年·Zbl 1496.68325号 [18] 温斯利特先生。更新逻辑数据库。剑桥大学出版社，1990年·Zbl 0728.68053号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。