This paper presents a weighted epistemic logic tailored for skill assessment, incorporating fuzzy skill sets to represent agent capabilities. By employing implicit weights for belief operators and explicit proficiency formulas, the logic enables reasoning about the interplay between belief and capability. An extension with quantified updates supports analysis of skill set ranges under specified conditions, addressing attribute selection in rough set contexts. The logic establishes direct correspondences with classical Pawlak rough sets and close alignments with fuzzy rough sets. The computational complexity of model checking is analyzed, with the basic logic in P and the extended logic co-NP-complete.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Weighted Epistemic Logic

  • Xiaolong Liang,
  • Yì N. Wáng

摘要

This paper presents a weighted epistemic logic tailored for skill assessment, incorporating fuzzy skill sets to represent agent capabilities. By employing implicit weights for belief operators and explicit proficiency formulas, the logic enables reasoning about the interplay between belief and capability. An extension with quantified updates supports analysis of skill set ranges under specified conditions, addressing attribute selection in rough set contexts. The logic establishes direct correspondences with classical Pawlak rough sets and close alignments with fuzzy rough sets. The computational complexity of model checking is analyzed, with the basic logic in P and the extended logic co-NP-complete.