<cite id="yyiou"><tbody id="yyiou"></tbody></cite>
<cite id="yyiou"><samp id="yyiou"></samp></cite>
  • <s id="yyiou"></s><bdo id="yyiou"><optgroup id="yyiou"></optgroup></bdo>
  • <cite id="yyiou"><tbody id="yyiou"></tbody></cite>

    首頁 > 期刊 > 人文社會科學 > 哲學與人文科學 > 世界文學 > 貴州工程應用技術學院學報 > 基于描述樹方法描述邏輯VL的包含推理 【正文】

    基于描述樹方法描述邏輯VL的包含推理

    王勇紅; 聶登國 江西師范高等專科學校數學學院; 江西鷹潭335000; 貴州工程應用技術學院理學院; 貴州畢節551700
    • 描述邏輯
    • 包含推理
    • 描述樹
    • 同態

    摘要:描述邏輯是一族知識表示的語言,以形式化、結構化的方式表示相應的應用領域。描述邏輯VL非循環術語集的包含推理,通過將描述邏輯VL非循環術語集包含推理問題轉化為描述樹之間的同態問題,證明VL非循環術語集的包含推理問題是多項式時間復雜的。

    注:因版權方要求,不能公開全文,如需全文,請咨詢雜志社

    投稿咨詢 文秘咨詢

    貴州工程應用技術學院學報

    • 預計1個月內 預計審稿周期
    • 0.23 影響因子
    • 教育 快捷分類
    • 雙月刊 出版周期

    主管單位:貴州工程應用技術學院;主辦單位:貴州工程應用技術學院

    我們提供的服務

    服務流程: 確定期刊 支付定金 完成服務 支付尾款 在線咨詢
    主站蜘蛛池模板: 拜城县| 娱乐| 开原市| 全南县| 石城县| 余庆县| 连平县| 介休市| 夏津县| 德阳市| 西盟| 磴口县| 安仁县| 诏安县| 合作市| 长乐市| 灵石县| 平果县| 遂平县| 收藏| 祁阳县| 夏津县| 朝阳市| 德令哈市| 东宁县| 多伦县| 舞钢市| 宽甸| 马鞍山市| 泉州市| 章丘市| 西乡县| 和龙市| 香河县| 崇左市| 遂平县| 讷河市| 略阳县| 峨眉山市| 鄢陵县| 临沧市|