首頁(yè) > 期刊 > 人文社會(huì)科學(xué) > 哲學(xué)與人文科學(xué) > 世界文學(xué) > 貴州工程應(yīng)用技術(shù)學(xué)院學(xué)報(bào) > 基于描述樹方法描述邏輯VL的包含推理 【正文】
基于描述樹方法描述邏輯VL的包含推理
王勇紅; 聶登國(guó) 江西師范高等專科學(xué)校數(shù)學(xué)學(xué)院; 江西鷹潭335000; 貴州工程應(yīng)用技術(shù)學(xué)院理學(xué)院; 貴州畢節(jié)551700
- 描述邏輯
- 包含推理
- 描述樹
- 同態(tài)
摘要：描述邏輯是一族知識(shí)表示的語言,以形式化、結(jié)構(gòu)化的方式表示相應(yīng)的應(yīng)用領(lǐng)域。描述邏輯VL非循環(huán)術(shù)語集的包含推理,通過將描述邏輯VL非循環(huán)術(shù)語集包含推理問題轉(zhuǎn)化為描述樹之間的同態(tài)問題,證明VL非循環(huán)術(shù)語集的包含推理問題是多項(xiàng)式時(shí)間復(fù)雜的。
- 描述邏輯
- 包含推理
- 描述樹
- 同態(tài)
摘要：描述邏輯是一族知識(shí)表示的語言,以形式化、結(jié)構(gòu)化的方式表示相應(yīng)的應(yīng)用領(lǐng)域。描述邏輯VL非循環(huán)術(shù)語集的包含推理,通過將描述邏輯VL非循環(huán)術(shù)語集包含推理問題轉(zhuǎn)化為描述樹之間的同態(tài)問題,證明VL非循環(huán)術(shù)語集的包含推理問題是多項(xiàng)式時(shí)間復(fù)雜的。
注：因版權(quán)方要求，不能公開全文，如需全文，請(qǐng)咨詢雜志社
貴州工程應(yīng)用技術(shù)學(xué)院學(xué)報(bào)
- 預(yù)計(jì)1個(gè)月內(nèi) 預(yù)計(jì)審稿周期
- 0.23 影響因子
- 教育 快捷分類
- 雙月刊 出版周期
主管單位：貴州工程應(yīng)用技術(shù)學(xué)院;主辦單位：貴州工程應(yīng)用技術(shù)學(xué)院
我們提供的服務(wù)
在線客服
一對(duì)一咨詢服務(wù)、簡(jiǎn)單快捷、省時(shí)省力
了解更多 >
快遞配送
直郵到家、實(shí)時(shí)跟蹤、更安全更省心
了解更多 >
雜志訂閱
去除中間環(huán)節(jié)享受低價(jià)，物流進(jìn)度實(shí)時(shí)通知
了解更多 >
雜志推薦
正版雜志，匹配度高、性價(jià)比高、成功率高
了解更多 >