formal logic; inference mechanisms; mathematical operators; rough set theory; Kripke model; closed world environment; equivalence class; equivalence relation; modal logic system S5; modal operator; multimodal logic; open world environment; relational granulation rea;
机译:基于命题模态逻辑的形式化模糊推理系统和推理机制
机译:一种用于空间推理的新模态逻辑:空间命题邻域逻辑
机译:基于传感器的一拍传感器的活动识别的模态 - 方面的关系推理
机译:模态逻辑中关系粒度的推理
机译:一种用于高效知识表示和推理的模态逻辑形式主义。
机译:关系思维和关系推理:利用模式的力量
机译:关于模态逻辑中关系粒度的推理
机译:默认推理的模态逻辑