更新时间:-- | 阅读量: 92
DUCK语言 一种基于逻辑表达的知识工程语言。由美国Smart公司开发,其主要特征是综合了以......达法,其中规则的条件和动作是逻辑谓词。通过利用一个真值维护系统和数据缓冲存储器组合的相关导向回溯来实现非单调推理,支持前向和后向链接控 ...
搜索到与“ 非单调技术”相关的文献共 0条
《四川文物》
《航天控制》
《非洲研究》
《西亚非洲》
《轻工机械》
《压电与声光》
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
京ICP备2021021570号-13
京公网安备 11011102000866号