栾尚民;戴国忠 修正基于命题规则的知识库的代数方法。 （英语） Zbl 1147.68731号 科学。中国，Ser。F、。 51，第3号，240-257（2008）. 摘要：知识库修改的一个重要主题是介绍一种高效的实现算法。代数方法具有良好的特点和实现方法；他们可能是解决问题的选择。提出了一种基于命题规则的知识库修正的代数方法。首先介绍了一种将基于命题规则的知识库转换为Petri网的方法。知识库由Petri网表示，事实由初始标记表示。因此，知识库的一致性检查等价于Petri网的可达性问题。Petri网的可达性可以由状态方程是否有解来决定；因此，一致性检查也可以通过代数方法实现。此外，还引入了算法来修改基于命题规则的知识库以及扩展逻辑编程。与相关工作相比，本文提出的算法是有效的，并且这些算法的时间复杂度是多项式的。 MSC公司： 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 关键词：知识库修订;一致性检查;基于规则的知识库;Petri网 PDF格式BibTeX公司 XML格式引用 \textit{S.Luan}和\textit{G.Dai}，科学。中国，Ser。F 51，编号3，240-257（2008年；Zbl 1147.68731） 全文： 内政部 参考文献： [1] van Ditmarsch H、vander Hoek W、Kooi B.公开声明和信念修正。收录于：Schmidt R A、Pratt-Hartmann I、Reynolds M等编辑的《模态逻辑进展》。伦敦：国王学院出版社，2004年。62–73 [2] Roorda J W，vander Hoek W，Meyer J J。多智能体系统逻辑中的反复信念变化。IGPL杂志，2003，11（2）：223-246·Zbl 1044.03011号 ·doi:10.1093/jigpal/112.223 [3] Reter T，Fink M，Sabbatini G，et al.基于因果拒绝的更新序列特性。理论实践逻辑程序，2002，2:711-767·兹比尔1105.68326 [4] Gelfond M，Lifschitz V.逻辑程序和析取数据库中的经典否定。新一代计算机，1991，9:365–386·Zbl 0735.68012号 ·doi:10.1007/BF03037169 [5] Nemela I，Simons P.基础良好且稳定的模型语义的高效实现。摘自：Maher M J主编，《逻辑程序设计国际联合会议和研讨会议事录》。马萨诸塞州剑桥：麻省理工学院出版社，1996年。289–303 [6] Alchourron C E，Gardenfors P，Markinson D。论理论变革的逻辑：部分满足收缩和修正功能。符号逻辑杂志，1985，50（2）：510-530·Zbl 0578.03011号 ·doi:10.2307/2274239 [7] Fagin R，Ullman J D，Vardi M Y。关于数据库中更新的语义。摘自：De Witt D J，Gardarin G，eds.第二届ACM SIGACT-SIGMOD数据库系统原理研讨会论文集。纽约：ACM出版社，1983年。352–365 [8] Ginsberg M L，Smith D E。行动I的推理：一种可能的世界方法。Art Intel，1988，35:165–195·Zbl 0645.68109号 ·doi:10.1016/0004-3702（88）90011-2 [9] Nebel B.信念修正的知识水平分析。收录：Brachman R J、Levesque H J、Reiter R编辑，《第一届知识表示和推理原则国际会议论文集》，旧金山：Morgan Kaufman出版社，1989年。301–311 [10] 韦伯A.更新命题公式。收录：Kerschberg L，ed.《专家数据库系统第一届会议纪要》，Menlo Park:Benjamin Cummings，1986年。487–500 [11] Forbus K D.将行动引入定性模拟。收录：Sridharan N S编辑，《国际人工智能联合会议议事录》。旧金山：摩根·考夫曼出版社，1989年。1273–1278 ·Zbl 0718.68099号 [12] Delgrade J，Schaub T.一种基于一致性的信念改变方法。Art Intel，2003，151（1&2）：1–41·Zbl 1082.68818号 ·doi:10.1016/S0004-3702（03）00111-5 [13] Delgrade J、Schaub T等。关于信念改变情景的计算解决方案。逻辑计算杂志，2004，14:801–826·兹比尔1066.03028 ·doi:10.1093/logcom/14.6.801 [14] Li W.规范的开发演算。科学与中国Ser F-Inf Sci，2003，46（5）：390-400·Zbl 1161.68573号 ·doi:10.1360/02ye0122 [15] Luan S，Dai G，Li W.维护有限知识库的可编程方法。计算机科学技术杂志，2003，18（1）：102–108·Zbl 1025.68033号 ·doi:10.1007/BF02946657 [16] Darwiche A，Pearl J.论迭代信念修正的逻辑。Art Intel，1997，89（1&2）：1–29·Zbl 1018.03012号 ·doi:10.1016/S0004-3702（96）00038-0 [17] Boutiler C.修订序列和嵌套条件。收录于：Bajcsy R，ed.第13届国际人工智能联合会议会议记录。旧金山：摩根考夫曼出版社，1993年。519–525 [18] Luan S，Dai G，Li W.修改知识库的可编程方法。科学中国期刊F-Inf Sci，2005，48（6）：681-692·Zbl 1161.68788号 ·doi:10.1360/03yf0327 [19] Dixon S E，Wocke W R。一阶逻辑AGM信念修正系统的实现。收录于：Bajcsy R，ed.第13届国际人工智能联合会议会议记录。旧金山：摩根考夫曼出版社，1993年。534–539 [20] Luan S，Dai G.一些特殊命题知识库修正的快速算法。计算机科学技术杂志，2003，18（3）：388–392·Zbl 1046.68104号 ·doi:10.1007/BF02948909 [21] Rodrigues O，Benevides M.伪定集合中的信念修正。摘自：Pequeno T，Carvalho F，eds.第十一届巴西人工智能研讨会论文集。柏林：Springer-Verlag，1994年。157–171 [22] Damásio C V，Nejdl W，Pereira L P.REVISE：用于修改知识库的扩展逻辑编程系统。摘自：Doyle J、Sandewall E、Torasso P编辑的《知识表示与推理国际会议论文集》。旧金山：摩根考夫曼出版社，1994年。607–618 [23] Khomenko V，Koutny M，Vogler W。Petri网展开的规范前缀。信息学报，2003，40（2）：95–118·Zbl 1072.68072号 ·doi:10.1007/s00236-003-0122-y [24] Zhang D，Nguyen D.PREPARE：知识库验证工具。IEEE Trans Knowledge and Data Engineering，1994，6（6）：983–989·数字对象标识代码：10.1109/69.334887 [25] Steinmetz R，Theissen S.将Petri网集成到一个工具中，用基于规则的知识表示对专家系统进行一致性检查。摘自：Rozenberg G，ed.第六届欧洲Petri网应用和理论研讨会，柏林：Springer-Verlag，1985年。35–52 [26] Meseguer P.一种检查规则库不一致性的新方法：Petri网方法。In：Aiello L编辑。第九届欧洲人工智能会议记录。伦敦：皮特曼出版社，1990年。437–442 [27] Murata T.Petri网：特性、分析和应用。IEEE规程，1989，77（4）：541–580·数字对象标识代码：10.1109/5.24143 [28] 吴忠。Petri网简介（中文）。北京：机械工业出版社，2006 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。