战略武器限制公约 swMATH ID: 36120 软件作者: 马库斯,桑德拉;约翰·麦克德莫特 描述: Salt:一种用于提议和审查系统的知识获取语言。SALT是一种用于生成专家系统的知识获取工具,该专家系统可以使用建议和修改的问题解决策略。SALT假设方法通过提出设计参数的值,在设计发展过程中识别设计参数的约束,并根据提案中检测到的违反约束的情况修改决策,逐步构建初始设计。这种解决问题的策略为SALT的知识表示提供了基础。SALT使用其预期问题解决策略的知识来识别相关领域知识,检测知识库中的弱点,以指导对领域专家的询问,从而生成能够执行任务并解释其推理路线的专家系统,并分析测试用例覆盖率。对解决问题战略的坚定承诺赋予了战略武器和技术援助力量,也决定了其范围。 主页: https://www.sciencedirect.com/science/article/abs/pii/0004370289900027 关键词: 战略武器限制公约;知识获取语言;知识获取;专家系统;问题解决策略 相关软件: 摩尔;Protege公司;WordNet(文字网);LISP公司;简历;剪辑;4.5条;UCI-毫升 引用于: 6文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Salt:一种用于提议和审查系统的知识获取语言。 Zbl 0681.68114号桑德拉·马库斯;约翰·麦克德莫特 1989 全部的 前5名13位作者引用 2 尤兰达·吉尔 2 Kim、Jihie 2 尤瓦尔·沙哈尔 1 埃里克森 1 何正生 1 Lin,Chau-Young伊凡 1 桑德拉·马库斯 1 约翰·P·J·麦克德莫特。 1 马克·穆森。 1 安吉尔·R·普埃尔塔。 1 马克·斯普拉拉根 1 马塞洛·塔利斯 1 Tu,Samson W。 3篇连载文章中引用 3 人工智能 2 吉泰。实验与理论人工智能杂志 1 国际智能系统杂志 在2个字段中引用 6 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文