相關詞條
-
人工智慧原理與套用
領域中的套用,是一本理論與套用相結合的教材。全書共分為7章,包括了緒論...2.1.2 知識表示2.2 一階謂詞邏輯表示法2.2.1 知識的謂詞邏輯表示法2.2.2 謂詞邏輯表示知識舉例2.2.3 一階謂詞邏輯表示法的特點...
同名圖書1 同名圖書2 同名圖書3 -
《當代分析哲學》
這兩種謂詞(全稱量詞和存在量詞)的句子的真假情況。[3] 弗雷格量詞理論...系統地解釋世界。他的命題圖象論正是以關係謂詞理論分析語言與實在之關係...分析哲學的理論觀點都直接或間接地受到了分析哲學的影響。這些都無可爭議地...
圖書出版信息 內容簡介 當代分析哲學的基本特徵 當代分析哲學簡史 -
古希臘羅馬邏輯
書中,也含有重要的邏輯思想。他的邏輯學說包括以下幾個主要部分:①四謂詞理論和範疇理論。亞里士多德的四謂詞是指命題的謂詞對其主詞的四種關係,即謂詞...。波菲利補充了亞里士多德的四謂詞理論,提出了“五謂詞”理論,即增加了“種...
古希臘邏輯 斯多阿學派的邏輯 古羅馬邏輯 -
《邏輯哲學》
:邏輯真理;邏輯悖論。第三編“意義和指稱”,包含四章:邏輯學中的意義理論;摹狀詞;專名和通名;主詞和謂詞。第四編“存在、量化和本體論”,包含兩章...的各種蘊涵或推理理論,作者本人的觀點是:保真性要求對於後承關係來說是實質性...
概述 作者簡介 內容歸納 經典邏輯理論 -
普通高等教育十一五規劃教材·離散數學
。全書共分為五篇,主要內容包括命題邏輯和謂詞邏輯的基本概念和推理理論:集合... 1.6.2 主析取範式與主合取範式 1.7 命題邏輯的推理理論...2章 謂詞邏輯 2.1 謂詞邏輯的基本概念 2.1.1 個體、謂詞...
圖書信息 內容簡介 目錄 -
人工智慧原理與技術
,把紛繁的教材內容、教育改革的成果與自己的心得進行綜合、提煉,以至升華成理論...與分解函式 1.13 例子 2 一階謂詞邏輯 2.1 命題...的王浩算法 2.7 一階謂詞邏輯的基本概念 2.8 謂詞公式的永...
內容簡介 編輯推薦 作者簡介 目錄 序言 -
《離散數學》
24423謂詞邏輯等值式44習題234724謂詞邏輯推理理論47習題2...內容簡介 《離散數學》 是計算機科學的核心理論課程,該門課程的開設旨在與其他計算機科學如數據結構、編譯原理、作業系統、邏輯設計、圖形理論...
內容簡介 分析 目錄 -
命題
名詞。表達判斷的句子。 毛澤東《新民主主義論》四:“‘ 中國革命是世界革命...的分類 I.康德根據他的範疇理論對判斷作了分類。這個分類對後世的影響很大...,...稱為謂詞變項,而F是一元的,G是二元的。n個個體變項之間有n元關係H...
詞語概念 基本含義 形式分析 四種命題 相互關係 -
ontology
“概念化”或“本體理論”[3]。(3) 本體是對於“概念化”的明確表達[4...) 本體屬於人工智慧領域中的內容理論(content theories),它...以“概念化”的定義為基礎,概念化(以及定義2中的“本體理論”)的定義見下文...
本體論認識論的區別 建立聯繫 價值發現 概念 代表性定義