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