×

战略武器限制公约

swMATH ID: 36120
软件作者: 马库斯,桑德拉;约翰·麦克德莫特
描述: Salt:一种用于提议和审查系统的知识获取语言。SALT是一种用于生成专家系统的知识获取工具,该专家系统可以使用建议和修改的问题解决策略。SALT假设方法通过提出设计参数的值,在设计发展过程中识别设计参数的约束,并根据提案中检测到的违反约束的情况修改决策,逐步构建初始设计。这种解决问题的策略为SALT的知识表示提供了基础。SALT使用其预期问题解决策略的知识来识别相关领域知识,检测知识库中的弱点,以指导对领域专家的询问,从而生成能够执行任务并解释其推理路线的专家系统,并分析测试用例覆盖率。对解决问题战略的坚定承诺赋予了战略武器和技术援助力量,也决定了其范围。
主页: https://www.sciencedirect.com/science/article/abs/pii/0004370289900027
关键词: 战略武器限制公约;知识获取语言;知识获取;专家系统;问题解决策略
相关软件: 摩尔;Protege公司;WordNet(文字网);LISP公司;简历;剪辑;4.5条;UCI-毫升
引用于: 6文件

按年份列出的引文