丹尼尔·施瓦茨（Daniel G.Schwartz）。 动态推理系统。 （英语） Zbl 1367.68293号 ACM事务处理。计算。日志。 第16号第4条第32条第42页（2015年）. MSC公司： 68T27型 人工智能中的逻辑 关键词：非单调推理;信念修正;动态推理 软件：LUPS公司 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Schwartz}，ACM翻译。计算。日志。16，第4号，第32条，第42页（2015；Zbl 1367.68293） 全文： 内政部 arXiv公司 参考文献： [1] C.E.酒精ó；n、 P.Gä；rdefors和D.Makinson。1985.论理论变革的逻辑：部分满足收缩和修正功能。符号逻辑杂志50，2510-530·Zbl 0578.03011号 ·doi:10.2307/2274239 [2] J.J.Alferes、F.Banti、A.Brogi和J.A.Leite。2005.动态逻辑编程语义的精化扩展原理。Studia Logica逻辑研究79、1、7–32·Zbl 1101.68862号 ·doi:10.1007/s11225-005-0492-y [3] J.J.Alferes、J.A.Leite、L.M.Pereira、H.Przymusinska和T.C.Przimusinski。1998年。动态逻辑编程。《第六届知识表示与推理原则国际会议论文集》（KR’；98）。98–109. ·Zbl 0957.68108号 [4] J.J.Alferes、J.A.Leite、L.M.Pereira、H.Przymusinska和T.C.Przimusinski。2000.非单调知识库的动态更新。《逻辑编程杂志》45，1-3，43–70·Zbl 0957.68108号 ·doi:10.1016/S0743-1066（99）00065-5 [5] J.J.Alferes、L.M.Pereira、H.Przymusinska和T.C.Przimusinski。1999年。LUPS——用于更新逻辑程序的语言。在逻辑程序设计和非单调推理中。施普林格，162-176·Zbl 0952.68022号 ·文件编号：10.1007/3-540-46767-X12 [6] J.J.Alferes、L.M.Pereira、H.Przymusinska和T.C.Przimusinski。LUPS——一种用于更新逻辑程序的语言。人工智能138，1–2，87–116·Zbl 0995.68023号 ·doi:10.1016/S0004-3702（02）00183-2 [7] F.Baader、D.Calvanee、D.L.McGuinness、D.Nardi和P.F.Patel-Schneider（编辑）。2003年，《描述逻辑手册：理论、实现和应用》。剑桥大学出版社，英国剑桥·兹比尔1058.68107 [8] C.巴拉尔。2003.知识表示、推理和声明性问题解决。剑桥大学出版社·Zbl 1056.68139号 ·doi:10.1017/CBO9780511543357 [9] K.Britz、T.Meyer和I.Varzinczak。2011.优先描述逻辑的语义基础。第24届澳大利亚人工智能联合会议记录（LNAI’；11）。491–500. ·doi:10.1007/978-3-642-25832-9_50 [10] P.Cabalar和T.C.Son（编辑）。2013年，逻辑编程与非单调推理：第十二届国际会议，LPNMR 2013。斯普林格·弗拉格·兹比尔1272.68012 ·doi:10.1007/978-3-642-40564-8 [11] A.教堂。1936.关于Entscheidungs问题的注释。符号逻辑杂志1，40–41·doi:10.2307/2269326 [12] J.Doyle。1979年，真相维护系统。人工智能12，231–272·doi:10.1016/0004-3702（79）90008-0 [13] T.Eiter、E.Erdem、M.Fink和J.Senko。2005.更新动作域描述。第19届国际人工智能联合会议记录（IJCAI’；05）。418–423. ·Zbl 1225.68251号 [14] J.J.埃尔戈特·德拉普金。1988.步骤逻辑：及时推理。博士论文。马里兰大学帕克学院。 [15] J.J.Elgot-Drapkin、M.Miller和D.Perlis。1987年，《荒岛上的生活：实时推理的持续工作》。《人工智能框架问题：1987年研讨会论文集》，F.M.Brown（Ed.）。Morgan Kaufmann，加利福尼亚州洛斯阿尔托斯，349–357。 [16] J.J.Elgot-Drapkin、M.Miller和D.Perlis。记忆、理性和时间：分步逻辑方法。《哲学与人工智能：界面上的论文》，R.Cummins和J.Pollock（编辑）。麻省理工学院出版社，马萨诸塞州剑桥，79-103。 [17] J.J.Elgot-Drapkin和D.Perlis。1990年。位于时间的推理I：基本概念。实验与理论人工智能杂志2，1，75-98·doi:10.1080/09528139008953715 [18] E.Fermé；和S.O.Hansson。2011年，AGM 25年：信仰变化研究25年。《哲学逻辑杂志》40，295–331·Zbl 1227.03002号 ·doi:10.1007/s10992-011-9171-9 [19] P.Gä；r信息。1988年，《流动中的知识：认知状态动力学建模》。麻省理工学院出版社/Bradford Books，马萨诸塞州剑桥市。 [20] P.Gä；rdefors（编辑）。1992年，信念修正。剑桥大学出版社。 ·doi:10.1017/CBO9780511526664 [21] M.Gelfond和Y.Kahl。2014.知识表示、推理和智能代理的设计：答案集编程方法。剑桥大学出版社。 ·doi:10.1017/CBO9781139342124 [22] M.Gelfond和V.Lifschitz。1988.逻辑编程的稳定模型语义。第五届国际逻辑程序设计会议进行中。1070–1080. [23] M.Gelfond和V.Lifschitz。逻辑程序和析取数据库中的经典否定。新一代计算9、3–4、365–386·Zbl 0735.68012号 [24] M.L.Ginsberg（编辑）。1987。非单调推理阅读。Morgan Kaufmann，加利福尼亚州洛斯阿尔托斯。 [25] A.G.汉密尔顿。1988年，《数学家逻辑》修订版。剑桥大学出版社·Zbl 0653.03001号 [26] S.O.Hansson。1999年，《信念动力学：理论变革和数据库更新》教材。荷兰多德赫特Kluwer学术出版社·兹伯利0947.03023 ·doi:10.1007/978-94-007-0814-3 [27] P.J.海耶斯。1980年框架的逻辑。《框架内概念和文本理解》，D.Metzing（Ed.）。Walter de Gruyter，德国柏林。 [28] G.W.F.黑格尔。1910.心理现象学。事务处理。J.B.Baillie。牛津克拉伦登出版社。变速器。J.B.Baillie，第二版，1931年。 [29] 一、康德。1935.《纯粹理性批判》。事务处理。N.K.史密斯。麦克米伦，英国伦敦。 [30] S.Kraus、D.Lehmann和M.Magidor。非单调推理、优先模型和累积逻辑。人工智能44、167–207·Zbl 0782.03012号 ·doi:10.1016/0004-3702（90）90101-5 [31] D.莱曼。1995年。默认推理的另一个观点。数学与人工智能年鉴15，1，61-82·兹比尔0857.68096 ·doi:10.1007/BF01535841 [32] D.莱曼和M.马吉多。1992.有条件的知识库需要什么？人工智能55，1-60·Zbl 0762.68057号 ·doi:10.1016/0004-3702（92）90041-U [33] J.A.Leite、J.J.Alferes和L.M.Pereira。2001.多维动态知识表示。在逻辑程序设计和非单调推理中。斯普林格，365-378·Zbl 1007.68590号 ·doi:10.1007/3-540-45402-027 [34] F.Lin和R.Reiter。1994.算了吧&excl；在AAAI秋季相关性研讨会论文集。154–159. [35] F.马丁。2001年，《机器人探索：工程实践入门》，普伦蒂斯·霍尔出版社。 [36] J.麦卡锡。1980.分界—；非单调推理的一种形式。人工智能13、27–39。重印于[Ginsberg 1987，第145-152页]·Zbl 0435.68073号 ·doi:10.1016/0004-3702（80）90011-9 [37] J.McCarthy和P.Hayes。1969.从人工智能的角度来看一些哲学问题。在机器智能4，463–502中。转载于[金斯伯格1987年]，第26-45页，以及：V.Lifschitz，ed.，《形式化常识：论文》，John McCarthy，Ablex，Norwood，NJ，1990年，第21-63页·Zbl 0226.68044号 [38] D.McDermott和J.Doyle。1980.非单调逻辑-I。人工智能13、41–72。再版于[金斯伯格1987年]，第111–126页·Zbl 0435.68074号 [39] E.门德尔森。1987年，《数理逻辑导论》，第三版。查普曼和霍尔·Zbl 0681.03001号 ·doi:10.1007/978-1-4615-7288-6 [40] M.J.米勒。1993年。一个人的观点；信仰理性改变的过去和其他方面。博士论文。马里兰大学计算机科学系，College Park。 [41] M.Minsky（明斯基）。1975年，知识表示框架。《计算机视觉心理学》，P.Winston（Ed.）。纽约麦格劳-希尔，211-277。D.Metzing（Ed.）中出现了精简版本。1980年，《框架概念和文本理解》，沃尔特·德·格鲁伊特，德国柏林，1-25。 [42] D.Perlis、J.J.Elgot-Drapkin和M.Miller。1991.阻止世界&excl—页；我想&排除；《国际情报系统杂志》6，443–456·doi:10.1002/int.4550060406 [43] R.Reiter。1980。默认推理的逻辑。人工智能13，1–2，81–132。再版于[Ginsberg 1987年]，第68–93页·Zbl 0435.68069号 [44] D.G.施瓦茨。1997.使用限定三段论进行动态推理。人工智能93、103–167·Zbl 1017.03516号 ·doi:10.1016/S0004-3702（97）00020-9 [45] D.G.施瓦茨。2010.文件管理助理的正式规范。《计算科学和软件工程创新》，K.Ellethy（Ed.）。施普林格，111-116·Zbl 1206.68293号 ·doi:10.1007/978-90-481-9112-319 [46] J.Š；efrá；内克。2006。重新思考动态逻辑编程的语义。《非单调推理国际研讨会论文集》。 [47] J.R.肖恩菲尔德。1967年，数理逻辑。符号逻辑协会·Zbl 0155.01102号 [48] Y.Shoham。时间无知：时间、非单调性、必然性和因果理论。《美国人工智能协会会刊》（AAAI’；86）。389–393. [49] Y.Shoham。1988.《关于变化的推理：从人工智能的角度看时间和因果关系》。麻省理工学院出版社，马萨诸塞州剑桥。 [50] Y.Shoham。1993年。面向代理的编程。人工智能60，51–92·doi:10.1016/0004-3702（93）90034-9 [51] B.Smith和G.Kelleher（编辑）。1988年。原因维护系统及其应用。Ellis Horwood，英国奇切斯特。 [52] W.斯波恩。序数条件函数：认知状态的动态理论。《决策中的因果关系、信念改变和统计学》，《欧文概率与因果关系会议论文集》，第二卷，W.L.Harper和B.Skyrms（编辑）。Kluwer，第105–134页·doi:10.1007/978-94-009-2865-76 [53] L.A.Stein。1992.解决非单调继承层次结构中的歧义。人工智能55、2-3、259–310·兹伯利0766.68120 ·doi:10.1016/0004-3702（92）90057-5 [54] D.图雷茨基。1984.继承系统中默认值的隐式排序。第五届全国人工智能会议论文集（AAAI’；84）。322–325. 再版于[金斯伯格1987年]，第106–109页，以及G.Shafer和J.Pearl编辑的《不确定推理中的阅读》，Morgan Kaufmann，San Mateo，CA，1990年，第668–671页。 [55] D.S.Touretzky、J.E.Horty和R.H.Thomason。直觉的冲突：非单调多重继承系统的当前状态。《国际人工智能联合会议论文集》（IJCAI’；87）。476–482页。 [56] A.图灵，1936年。关于可计算的数字，以及Entscheidungsproblem的应用程序。伦敦数学学会学报，第2辑42，230–265·Zbl 0016.09701号 [57] S.Ustymenko。2008.关于信念和信任的多智能体动态推理。博士论文。佛罗里达州塔拉哈西佛罗里达州立大学计算机科学系·Zbl 1175.68057号 [58] S.Ustymenko和D.G.Schwartz。2008年a。多智能体系统中信念修正的体系结构。《系统、计算科学和软件工程的创新和高级技术》，K.Ellethy（Ed.）。Springer-Verlag，465-470·doi:10.1007/978-1-4020-8735-687 [59] S.Ustymenko和D.G.Schwartz。2008年b。关于信念和信任的动态面向主体推理。多代理和网格系统4、2、335–346·Zbl 1175.68057号 ·doi:10.3233/MGS-2008-4307 [60] S.Ustymenko和D.G.Schwartz。2010年a。在分布式多代理环境中维护一致知识库的算法。《计算科学和软件工程创新》，K.Ellethy（Ed.）。斯普林格·弗拉格，105-110·Zbl 1205.68442号 ·doi:10.1007/978-90-481-9112-318 [61] S.Ustymenko和D.G.Schwartz。2010年b。代理社区中的动态信任网络。语义网：标准、工具和本体。Nova Science Publishers，Hauppauge NY，169-194年。 [62] I.J.Varzinczak。2010.行动理论变革。《人工智能研究杂志》37，189–246·Zbl 1185.68755号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。