ABOX反绎推理问题相关硕士博士期刊学术论文 - 信丰网

ABOX反绎推理问题相关论文

描述逻辑ALC中的ABOX反绎推理算法

鉴于已有的描述逻辑ALC中ABOX反绎推理算法需要转化到FOL上处理，涉及了大量变元和Skolem项的使用。ALC-Tableau可以避免大量变元和......

期刊

反绎推理 ABOX反绎推理问题 TABLEAU 知识库一致性 abductive reasoning ABOX abduction problem Tabl

看过本文同时还关注