本文分析了描述逻辑对不确定或不精确知识进行表示和推理的研究现状和存在的问题。针对目前粗描述逻辑不能处理数量约束构造算子的不足,基于分级粗集理论提出了一种能处理数量约束构造算子的粗描述逻辑RALCQ。给出了RALCQ的语法、语义和性质。并在此理论框架中对粗描述逻辑RALCQ中构造算子间的蕴含关系进行分析研究。本文的主要成果如下:一.我们在RALCQ的框架上,构建了公理体系的蕴涵句子组成的上层结构。这在当前,是一个前沿的,热门的趋势。在一般的描述逻辑系统中,到目前为止,推理机制只涉及到概念之间的包含关系和个体的属性关系;如证明句子A ? B ; c∈A是否成立的问题。而这些问题都是通过一些算法来解决的。目前作为逻辑推理,还缺乏完善的体系,其中应该含有公理集合和完善的推理规则。引入蕴涵句子集合的体制,是往此方向有意义的一步。参见定理5.1.– 5.6。其中给出的蕴涵式的诸多性质,就将是推理规则的雏形。二.给出了RALCQ中涉及到数量约束构造算子的推理的基本性质。这些结果,在其它的文献中还是没有的。是我们独立的研究成果。见定理5.7.—5.12。