分类:自动推理

来自术语
跳转至: 导航搜索
自动推理(08.0066) 推理(08.0067)
语义完备性(08.0068) 文法完备性(08.0069)
推理机(08.0070) 推理方法(08.0071)
自动定理证明(08.0072) 基于实例的定理证明(08.0073)
归结(法)(08.0075) 超归结(08.0076)
DPLL算法(08.0077) 二元锁归结式(08.0078)
Horn子句(08.0079) 二元归结式(08.0080)
归结规则(08.0081) 支架集归结(08.0082)
语义归结(08.0083) 单元归结(08.0084)
线性归结演绎(08.0085) 输入归结(08.0086)
最一般合一子(08.0087) 超表(08.0088)
调解法(08.0089) Knuth-Bendix完备化(08.0090)
重言式规则(08.0091) 反驳树(08.0092)
语义树(08.0093) 吴方法(08.0094)
形式推理(08.0095) 逻辑推理(08.0096)
元推理(08.0097) 单调推理(08.0098)
溯因推理(08.0099) 类比推理(08.0100)
近似推理(08.0101) 常识推理(08.0102)
演绎推理(08.0103) 定性推理(08.0104)
启发式推理(08.0105) 因果推理(08.0106)
归纳推理(08.0107) 简单枚举归纳推理(08.0108)
概率推理(08.0109) 不确定性推理(08.0110)
可能性理论(08.0111) 贝叶斯推理(08.0112)
确定性因子方法(08.0113) 证据推理(08.0114)
证据理论(08.0115) 双向推理(08.0116)
正向链推理(08.0117) 反向链推理(08.0118)
断言(08.0119) 直言命题(08.0120)
蕴涵(08.0121) 关系复合(08.0122)
关系复合表(08.0123) 有序二元决策图(08.0124)
模型进化演算(08.0125) 时空推理(08.0126)
Allen的区间代数(08.0127) 定性空间推理(08.0128)
n-交集模型(08.0129) 叠加演算(08.0130)
区域连接演算(08.0131) 推理网络(08.0132)
推理结点(08.0133) 情景自动机(08.0134)
约束(08.0135) 约束问题求解(08.0136)
约束满足问题(08.0137) 约束语言(08.0138)
约束程序设计(08.0139) 约束推理(08.0140)
约束传播(08.0141) 相容性技术(08.0142)
软计算(08.0143) 模糊推理(08.0144)
粒度计算(08.0145) 基于案例的推理(08.0146)


返回:首页