我们介绍了ARTIGENCE,这是一种将描述逻辑和Horn规则与不确定性结合在一起的表示语言。 ARTIGENCE功能超越了目前可用的类似混合系统,它包含三个组件:高度表达的描述逻辑ACLNR,一组概率性Horn规则和一组基础事实。 所描述的新功能是现实应用程序领域中经常需要的,可以概括为三个要点。 首先,我们在ARTIGENCE知识库中获得了一个合理,完整且可判定的推理算法,可判定性是该语言的计算复杂性对于实际应用而言可能是必不可少的重要指标。 第二。 设计ARTIGENCE的目的不仅在于结合