uncertainty handling; formal logic; uncertainty reasoning; lattice-valued first-order logic L/sub vfl/; artificial intelligence; knowledge-based systems; data mining; L-type lattice-valued formula sets; strict semantic interpretation; strict syntactical deduction;
机译:基于格值一阶逻辑LF(X)的多进制alpha语义分辨率自动推理
机译:基于格值一阶逻辑OF(X)的规则一致性
机译:基于格子值一阶逻辑L / SUB VFL /的不确定性推理
机译:基于模糊逻辑的不确定性推理大规模专家系统设计及其在基于视觉的移动机器人导航中的应用。
机译:基于模糊逻辑推理的无人机群多目标跟踪联合传感器选择和功率分配算法
机译:基于晶格暗示代数的晶格价一阶逻辑的α分辨率的确定
机译:包含一阶量词的实用马尔可夫逻辑及其在身份不确定性中的应用