主要研究Rough逻辑公理系统。只有形成分理化系统才有可能提出Rough逻辑的归结原理和归结策略；归结可以是命题逻辑，也可以是谓词逻辑，若是后者则将涉及对文字合一的研究，故致力于提出文字合一算法。如此的研究内容对于Rough集理论进一步完善及其应用的拓广潜匾模乇鹗峭毓鉘ough逻辑在近似推理中的应用更有深远的理论价值和现实意义。