×
G.V.瑞比纳。;斯米尔诺夫，V.V。

集成专家系统中知识库的验证方法和算法。 （英语。俄文原件） Zbl 1176.68209号

J.计算。系统。科学。国际。 46，第4期，590-601（2007）; Izv的翻译。罗斯。阿卡德。特奥·诺克。西斯特。向上。2007年，第4期，91-102（2007）。
小结：本文进行了简要分析，并对专家系统和常规程序的验证方法进行了比较。给出了集成专家系统知识库验证的具体特点，描述了检测知识领域静态和动态异常的方法和算法。

MSC公司：

68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等）
68立方英尺 知识表示

关键词：

知识领域的反常现象

软件：

通用KADS
PDF格式BibTeX公司 XML格式引用
\textit{G.V.Rybina}和\textit{V.V.Smirnov}，J.Compute。系统。科学。国际46号，第4号，590--601（2007；Zbl 1176.68209）；Izv的翻译。罗斯。阿卡德。特奥·诺克。西斯特。向上。2007年，第4期，91-102（2007）
全文： 内政部

参考文献：

[1] G.V.Rybina和V.V.Smirnov，“现代专家系统中知识库验证的方法和工具”，载于《2002年第八届全国人工智能KII会议论文集》（Fizmatlit，莫斯科，2002），第1卷。
[2] R.Enand、G.S.Kahn和R.A.Mills，“验证大型知识库的方法论”，Int.J.Man-Machine Studies 30（1990）。
[3] F.P.Coenen，“用于规则库验证的高级二进制编码矩阵表示”，J.Knowledge-Based Syst。8（4）（1995年）。
[4] R.Nouira和J.M.Fouet，“检查大型知识库的基于知识的工具”，第九届人工智能工业和工程应用国际会议论文集；专家系统，IEA-AIE，96年，日本福冈，1996年。
[5] R.Nouira和J.-M.Fouet，“用于增量构建的基于知识的工具”，载于《大型知识库验证和优化研讨会论文集》，ECAI-96，匈牙利布达佩斯，1996年。
[6] G.V.Rybina，“面向问题的方法论，用于静态问题域的集成专家系统的计算机辅助构建”，Izv。罗斯。阿卡德。特奥·诺克。西斯特。以上。，第5期，134–141（1997）[《公司系统科学》36（5），774–781（1997）]·Zbl 0897.68105号
[7] G.V.Rybina，“设计应用智能系统的新一代工具”，Aviakosmicheskoe Priborostroenie，第10期（2004年）。
[8] G.V.Rybina、R.V.Dushkin和D.V.Demidov，“仪器复合体AT-TECHNOLOGY中处理无效知识的模型和方法”，《人工智能中的集成模型和软计算》（Fizmatlet，莫斯科，2003）[俄语]。
[9] R.V.Dushkin和G.V.Rybina，“用非因素自动提取、表示和处理知识的方法”，Izv。罗斯。阿卡德。特奥·诺克。西斯特。以上。，第5期，138-147（1999）[《公司系统科学》38（5），704-713（1999）]·兹比尔1077.68858
[10] E.V.Popov，I.B.Fominykh，E.B.Kisel等人，《静态和动态专家系统：教科书》（Finansy I Statistika，莫斯科，1996）[俄语]。
[11] A.D.Preece，“基于知识的系统的验证：北美的最新技术”，J.Commun。认知。Artif公司。智力。11(4) (1994).
[12] F.Harmelen和A.Teije，“诊断概念模型的验证和验证”，第四届欧洲基于知识的系统验证和验证研讨会论文集，EUROVAV’97，比利时鲁汶，1997年。
[13] F.Harmelen，“将规则库异常应用于KADS推理结构”，《决策支持系统》21（4）（1998）。
[14] D.Fensel和A.Schonegge，“使用KIV指定和验证基于知识的系统”，处理第四届欧洲基于知识系统的验证和验证研讨会EUROVAV’97，比利时鲁汶，1997年。
[15] S.Kaner、D.Folk和E.K.Nguen，《软件测试》（DiaSoft，莫斯科，2000）[俄语]。
[16] V.K.Zeidenberg、A.N.Zimarev、A.M.Stepanov等人，《计算机英语-俄语词典》（Russkii yazyk，莫斯科，1990）[俄语]。
[17] T.A.Nguen、W.A.Perkins、T.J.Laffey等人，《知识库验证》，AI杂志8（2）（1987）。
[18] S.A.Zykova和A.F.Kolchin，“基于规则的智能系统中验证知识的方法和工具”，《第三届人工智能会议论文集》，俄罗斯特维尔，1992年，第1卷[俄语]·Zbl 0941.68755号
[19] A.Preece、S.Talbot和L.Vignollet，“基于知识的系统验证工具的评估”，《国际人类计算机研究》47（1997）。
[20] B.J.Cragun和H.J.Steudel，“基于决策表的处理器，用于检查基于规则的专家系统的完整性和一致性”，《国际机器研究》（英国）26（5）（1987）。
[21] A.S.Narin'yani，“知识表示和处理系统中的不确定性”，Izv。阿卡德。Tekh Nauk SSSR公司。基伯恩。，第5号（1986年）。
[22] O.I.Larichev，“获取专家知识的问题、方法和系统”，Avtom。Telemekh.公司。，第6号（1991年）。
[23] O.I.Larichev、A.I.Mechitov、E.M.Moshkovich等人，“在分类问题中获取专家知识的系统”，Izv。阿卡德。Tekh Nauk SSSR公司。基本。，第2号（1987年）·Zbl 0657.68095号
[24] O.I.Larichev和A.A.Bolotov，“DIFKLASS系统：微分分类问题中完整一致的专家知识基础的设计”，NTI。序列号。2，“信息系统和流程，第9期（1996年）。
[25] J.De Kleer，“基于假设的TMS”，Artif。智力。第28页（1986年）。
[26] A.Ginsberg，“知识库缩减：检查知识库不一致性的新方法；冗余”，载于《第七届全国人工智能会议论文集》，美国门罗公园，1988年，（AAAI'，1988年），第2卷。
[27] J.Ramirez和A.Anronio，“MECORI:一种基于完整性约束的知识库语义验证方法”，《基于知识系统的验证和验证欧洲研讨会论文集》，KR’98，意大利特伦托，1998年，第38卷。
[28] A.Preece，“检测专家系统规则库中缺失知识的新方法”，《国际机器研究杂志》38（1993）。
[29] A.Preece，“COVERAGE:验证多代理基于知识的系统”，基于知识的系统12（1999）。
[30] M.-C.Rousset，“关于知识库的一致性：COVADIS系统”，《计算》。智力。4 (1988).
[31] J.H.Park和P.H.Seong，《核电厂动态报警处理系统知识获取和最终验证的集成知识库开发工具》，《核能年鉴》（牛津大学佩加蒙出版社，2002年），第29卷。
[32] P.Groot、A.Ten Teije和F.Van Harmelen，“正式验证知识库系统的动态特性”，第11届欧洲知识获取、建模和管理研讨会论文集（EKAW'99），德国达格图城堡，1999年。
[33] J.Breuker和W.Van de Velde，CommonKADS专业建模图书馆（IOS出版社，阿姆斯特丹，1994年）·Zbl 0876.68100号
[34] V.I.Gorodetskii和A.L.Tulup’ev，“知识库与定量不确定性度量的一致性”，《第八届全国人工智能会议论文集》（KII’1998），俄罗斯普什基诺，1998年。[俄语]。
[35] E.Pipard，“检测知识库中的不一致性和不完整性：INDE系统”，《第八届专家系统及其应用国际研讨会论文集》，法国阿维尼翁，1998年，第3卷。
[36] P.Meseguer，“检查规则基础不一致性的新方法：Petri网方法”，载于《第九届欧洲人工智能会议论文集》（ECAI-90）（皮特曼出版社，斯德哥尔摩，1990年）。
[37] R.Agarwal和M.A.Tanniru，“基于Petri网的生产系统完整性验证方法”。基于知识的系统验证、确认和测试”，摘自第九届全国人工智能会议的研讨会纪要（AAAI-91，阿纳海姆，1991）。
[38] A.Y.Levy和M.C.Rousset，“CARIN:一种结合Horn规则和描述逻辑的表示语言”，《欧洲人工智能会议论文集》，匈牙利布达佩斯，1996年·Zbl 0908.68166号
[39] J.Cardevosa和N.Juisto，“VALID项目概述”，载于J.Cardenosa和P.Meseguer编辑的基于知识的系统验证和验证欧洲研讨会论文集（EUROVAV’93），西班牙帕尔马·德马洛卡，1993年，@。
[40] C.L.Chang、J.B.Combs和R.A.Stachowitz，“专家系统验证助理（EVA）报告”，《应用专家系统1（3）》（1990年）。
[41] J.Vantheenen和G.Wets，“模糊决策表：建模和验证；第十二届欧洲人工智能会议论文集，ECAI-96研讨会（W2），KBS的验证、验证和改进，匈牙利布达佩斯，1996年。
[42] J.H.Stephen，J.P.Jeffrey Yang，“Tsai和Chyun-Chyi Chen，”使用高级Petri网验证模糊规则库系统“，IEEE Trans。知识。数据工程15（2）（2003）。
[43] V.E.Kotov，Petri Nets（Nauka，莫斯科，1984）[俄语]。
[44] G.V.Rybina，“集成专家系统知识库的自动化设计”，Izv。罗斯。阿卡德。特奥·诺克。西斯特。以上。，第5期，168-175（1998）[《公司系统科学》37（5），740-749（1998）]·Zbl 1066.68557号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。