处理思想相关硕士博士期刊学术论文

根据，能否和某一规则的规则头相匹配．将not(X）分为两类并分剐进行处理：—类是X不能和任意一条规则的规则头相匹配，X为真，则将not(X）做为一......