青年中文decidable logic的意思
decidable logic中文翻譯：
[計]可判定邏輯（電路）
相似詞語短語
inescapable logic───不可避免的邏輯
inexorable logic───必然邏輯
decidable───adj.可決定的
modal logic───[數]模態邏輯；情態邏輯
predicate logic───[數]謂詞邏輯
decidability───n.[數]可判定性
decide on───決定；選定
decidedly odd───很奇怪
decimal point───[數]小數點
雙語使用場景
We proved that the new paraconsistent tableau algorithm is decidable and has the same reasoning ability with the classical Description Logic over consistent ontologies.───證明了該算法是可判定的，而且在處理協調的本體時該推理系統與經典邏輯系統具有相等的推理能力。
Description Logics (DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning.───描述邏輯是一階謂詞邏輯的可判定子集，具備強大的知識表示和推理功能。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.───描述邏輯是一種知識表示的形式化語言，是一階邏輯的可判定子集。