连词和量化的表示

时间:2015-08-26 08:54 来源:自动控制网

   可以用语义网络表示谓词逻辑法中的各种连词及量化。
1.合取
    多元关系可以被转换成一组二元关系的合取,从而可以用语义网络的形式表示出来。
2.析取
    在语义网络中,为与合取关系相区别,在析取关系的连接上加注析取界限,并标记DIS。
3.否定
    采用～ISA和～PART OF关系或标注NEG界限来表示否定。
4.蕴涵
    在语义网络中可用标注ANTE和CONSE界限来表示蕴涵关系。
5.量化
    存在量化在语义网络中可直接用ISA链来表示。而全称量化就要用分割方法来表示。