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