intensional logic 中文意思是什麼

intensional logic 解釋
內含邏輯
  • intensional : 內涵的
  • logic : n. 1. 邏輯,理論學。2. 推理[方法];邏輯性,條理性。3. 威力,壓力,強制(力)。
  1. But besides being characterized by the extensional semantics, first - order logic can be characterized soundly and completely by such an intensional semantics that includes nothing but the property entities

    相對于這一外延語義,一階邏輯還可為其中只含屬性實體而不含個體對象的內涵語義一致且完備地刻畫。
  2. However, in search of the relevant data, the cost of generating additional tuples produced by logic program to which magic transformation is applied increases with the arity of idb ( intensional database ) predicates increasing

    但是隨著遞歸idb ( intensionaldatabase )謂詞的項的個數增大,經魔集轉換的邏輯程序為尋找與查詢相關數據而產生附加元組的開銷也會增大。
  3. Ontology captures a certain view of the world, supports intensional queries regarding the content of a database, and reflects the relevance of data by providing a declarative description of semantic information independent of the data representation. there is great variation among both the level of detail and logic of different ontology representations

    本體是對領域知識的一種概念化描述,它反映了領域專家對該領域內知識的看法,它不僅支持對其底層數據內容的查詢,而且通過對語義信息的聲明性描述來反映數據之間的相關性,這種描述並不依賴于具體的數據組織方式。
分享友人