Based on tableau method, we present a feasible algorithm to check the consistency of KB, to extend, subtract, and change KB.
英
美
释义
使用表推演方法,检查知识库协调性,对知识库进行扩展、约减和修正,给出可行方法。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载