Nepomnyashchij，V.A。;苏利莫夫，A.A。 面向问题的知识库及其在程序验证系统SPEKTR中的应用。（英语 俄语 原文） Zbl 0897.68066 J、 计算机。系统。科学。内景。 36，第2号，321-327（1997年）；翻译自Izv。阿卡德。恶心，泰尔。西斯特。普遍定期审议。1997年，第2号，169-175（1997年）。 摘要：知识库的概念是在面向问题的程序验证方法框架内讨论的。知识库由广义条件项重写规则表示的公理、应用策略和决策过程组成。公理的标准形式由前提条件和内置的基于实例的推理中的条件扩展。综述了程序分类与编译的知识库。描述了验证系统SPEKTR，该系统使用知识库自动显示正确性证据。 引用于1文件 理学硕士： 68Q60型 规范和验证（程序逻辑、模型检查等） 68T30型 知识表示 关键词：知识库;验证系统SPEKTR 软件：斯佩克特 PDF格式 BibTeX公司 XML 引用 \texttit{V.A.Nepomnyashchij}和\textti{A.A.Sulimov}，J.Comput。系统。科学。内景36，第2号，321--327（1997年；Zbl 0897.68066）；翻译自Izv。阿卡德。恶心，泰尔。西斯特。普遍定期审议。1997年，第2期，169--175（1997年）