×

兹马思-数学第一资源

面向问题的知识库及其在程序验证系统SPEKTR中的应用。(英语 俄语 原文) Zbl 0897.68066
J、 计算机。系统。科学。内景。 36,第2号,321-327(1997年);翻译自Izv。阿卡德。恶心,泰尔。西斯特。普遍定期审议。1997年,第2号,169-175(1997年)。
摘要:知识库的概念是在面向问题的程序验证方法框架内讨论的。知识库由广义条件项重写规则表示的公理、应用策略和决策过程组成。公理的标准形式由前提条件和内置的基于实例的推理中的条件扩展。综述了程序分类与编译的知识库。描述了验证系统SPEKTR,该系统使用知识库自动显示正确性证据。

理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
68T30型 知识表示
软件:
斯佩克特
PDF格式 BibTeX公司 XML 引用