非单调技术

更新时间:-- | 阅读量: 92

DUCK语言 一种基于逻辑表达的知识工程语言。由美国Smart公司开发,其主要特征是综合了以......达法,其中规则的条件和动作是逻辑谓词。通过利用一个真值维护系统和数据缓冲存储器组合的相关导向回溯来实现非单调推理,支持前向和后向链接控 ...

搜索到与“ 非单调技术”相关的文献共 0

查看更多

非单调技术相似词

非单调技术相关词

非单调技术相关期刊

Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved

京ICP备2021021570号-13

京公网安备 11011102000866号