在自然语言中,词语随着语境的变化而表达不同的含义。情态动词尤其如此。由于情态动词表达人的情感、态度和判断等,因此,其语义较其它词类的语义更为复杂。情态动词分为主情态动词和准情态动词。尽管它们在语义上有些共同之处,但也存在差别。传统上,关于主情态动词和准情态动词的语义对比研究主要为单纯的语言学分析,未能从形式语义和计算语言学角度进行研究。随着自然语言处理和机器学习领域的飞速发展,采用形式化和量化手段分析主情态动词和准情态动词语义差别成为可能。而且,从形式语义特征的角度发现它们之间的异同具有重要的意义,将为英语情态动词的自然语言处理研究提供重要的理论和实践依据。本文以主情态动词CAN和准情态动词BE ABLE TO为例,基于100万字自建语料库和粗糙集理论,研究了CAN和BE ABLE TO的形式语义差别。首先,研究根据CAN和BE ABLE TO在语料库中的分布情况,分别抽取了300个和130个例句,并选择了语义特征、句法特征和语境特征等属性特征,建立了决策表。然后,利用粗糙集理论,对决策表进行了属性约简和决策规则提取。最后,在生成的决策规则基础上,分别建立了对于CAN和BE ABLE TO的语义排歧模型,并基于此模型对比分析CAN和BE ABLE TO的形式语义差别。用于CAN和BE ABLE TO语义排歧的决策规则的正确率分别达到82.67%和81.54%。对比分析发现,CAN和BE ABLE TO的形式语义差别包含三方面,即:1)CAN和BE ABLE TO在语义排歧决策规则方面的差别;2)两者在决定各自语义的重要属性方面的差别;3)两者在决定各自语义的重要属性组合方面的差别。本文的研究结果将为主情态动词和准情态动词语义对比研究及语义排歧和自然语言处理中的特征选择提供参考依据。