谓词逻辑 predicate logic 谓词逻辑的意思 predicate logic的意思谓词逻辑的英文 predicate logic的翻译

谓词逻辑

规范用词谓词逻辑

英文对照predicate logic

名词审定自动化名词审定委员会

见载刊物《自动化名词》科学出版社

公布时间1990年

科学技术名词为您提供谓词逻辑,predicate logic,谓词逻辑的意思,predicate logic的意思,谓词逻辑的英文,predicate logic的翻译,谓词逻辑的翻译,谓词逻辑是什么意思,谓词逻辑什么意思,predicate logic是什么意思,predicate logic什么意思

谓词逻辑相关科技名词

模式识别与智能控制»

推理策略inference strategy
归结原理resolution principle
推理网络reasoning network
正向推理forward reasoning
双向推理bidirection reasoning
反向推理backward reasoning
知识推理knowledge inference
知识获取knowledge acquisition
知识表达knowledge representation
语义网络semantic network
框架framework
元规则meta-rule
元知识meta-knowledge
知识模型knowledge model
知识同化knowledge assimilation
知识顺应knowledge accomodation
启发[式]规则heuristic rule
启发[式]搜索heuristic search
启发[式]推理heuristic inference
模板匹配template matching
启发[式]知识heuristic knowledge
图形库graphic library
事实库fact base
规则库rule base
综合数据库global data base
知识库knowledge base;KB
知识库管理系统knowledge base management system;KBMS
定性物理模型qualitative physical model
符号处理symbol processing
物理符号系统physical symbol system
自然语言理解natural language understanding
自然语言生成natural language generation
定理证明theorem proving
自动程序设计automatic programming
广度优先搜索breadth-first search
深度优先搜索depth-first search
最佳优先搜索best-first search
图搜索graph search
盲目搜索blind search
黑板框架blackboard framework

谓词逻辑 predicate logic 谓词逻辑的意思 predicate logic的意思 谓词逻辑的英文 predicate logic的翻译

谓词逻辑

谓词逻辑 predicate logic 谓词逻辑的意思 predicate logic的意思谓词逻辑的英文 predicate logic的翻译