粗描述逻辑RALCQ的Tableau推理
조묘술라집RALCQ적Tableau추리
A Tableau Decision Procedure for Rough Description Logic RALCQ
  • 万方数据
    电脑与电信 전뇌여전신
    COMPUTER & TELECOM
    2009年 12期 73-75 ,共3页

    许禾%苗长运

    허화%묘장운

    描述逻辑%粗描述逻辑%RALCQ%Tableau算法 描述邏輯%粗描述邏輯%RALCQ%Tableau算法
    묘술라집%조묘술라집%RALCQ%Tableau산법
    基于描述逻辑ALCQ,通过引入分级近似算子而得到粗描述逻辑RALCQ.随后通过转换的方法得到粗描述逻辑RALCQ的Tableau算法推理规则及推理复杂性.
    기우묘술라집ALCQ,통과인입분급근사산자이득도조묘술라집RALCQ.수후통과전환적방법득도조묘술라집RALCQ적Tableau산법추리규칙급추리복잡성.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문