基于信任半格的次协调逻辑领域本体公理表示方法的研究

非规范知识处理的最典型应用领域是因特网上知识的处理,因特网上知识以各种媒体形式存在,以自然语言为载体,它充满了各种矛盾的事实、数据和观点,体现了非规范知识的不确定性、不精确性和不协调性等特征.本文利用次协调逻辑的理论和方法,具体采用了注解谓词逻辑的信任半格来表示领域本体公理,为非规范知识的表示与逻辑推理问题的研究提供理论依据.