拼音:luoji biaoshi 英文:logical representation 知識表示的一種基本方式。人工智慧需要運用現代邏輯方法去解決複雜的現實問題,即可用邏輯來表達推理也可以用邏輯表示知識。
基本介紹
- 中文名:邏輯表示
- 外文名:logical representation
- 拼音:luoji biaoshi
- 例子:積木世界
例子

拼音:luoji biaoshi 英文:logical representation 知識表示的一種基本方式。人工智慧需要運用現代邏輯方法去解決複雜的現實問題,即可用邏輯來表達推理也可以用邏輯表示知識。
拼音:luoji biaoshi 英文:logical representation 知識表示的一種基本方式。人工智慧需要運用現代邏輯方法去解決複雜的現實問題,即可用邏輯來表達推理也可以用邏輯表示...
邏輯符號是邏輯學中用以表示邏輯形式和邏輯運算的各種人工語言符號。邏輯符號的主要特點和作用在於它能精確地、單義地解釋其所表示的對象,從而可以用來精確、簡明地...
邏輯運算又稱布爾運算。布爾用數學方法研究邏輯問題,成功地建立了邏輯演算。他用等式表示判斷,把推理看作等式的變換。這種變換的有效性不依賴人們對符號的解釋,只...
邏輯關係(logic relationship)即“依賴關係”。在項目管理中,指表示兩個活動(前導活動和後續活動)中一個活動的變更將會影響到另一個活動的關係。通常活動之間的...
邏輯運算符包含邏輯與、或、異或、非等邏輯運算符。對於邏輯或,如果一個運算元或多個運算元為 true,則邏輯或運算符返回布爾值 true;只有全部運算元為false,結果...
邏輯語(lojban,又譯作理語),原名Loglan,是人工語言的一種。所有字均以鍵盤上可打出的26字組成:' , . a b c d e f g i j k l m n o p r s ...
在形式邏輯中,邏輯運算符或邏輯聯結詞把語句連線成更複雜的複雜語句。例如,假設有兩個邏輯命題,分別是“正在下雨”和“我在屋裡”,我們可以將它們組成複雜命題“...
用邏輯運算符將關係表達式或邏輯量連線起來的有意義的式子稱為邏輯表達式。邏輯表達式的值是一個邏輯值,即“true”或“false”。C語言編譯系統在給出邏輯運算結果時...
邏輯與,符號為“&&”,只有兩個運算元都是真,結果才是真。 邏輯與操作屬於短路操作,既如果第一個運算元能夠決定結果,那么就不會對第二個運算元求值。對於邏輯與...
邏輯數據,是一種運算元類型。是用來表示二值邏輯中的 "是"與 "否" 、或稱 "真"與 "假" 兩個狀態的數據。...
邏輯函式,是一類返回值為邏輯值true或邏輯值false的函式。true:代表判斷後的結果是真的,正確的,也可以用1表示;false:代表判斷後的結果是假的,錯誤的,也可以用0...
邏輯門(Logic Gates)是在積體電路(Integrated Circuit)上的基本組件。簡單的邏輯門可由電晶體組成。這些電晶體的組合可以使代表兩種信號的高低電平在通過它們之後產生...
邏輯值是計算機語言,意為邏輯狀態下賦予的真或者假。邏輯值有兩種情況:成立和不成立。成立的時候我們說邏輯值為真,使用True或1表示,不成立的時候我們說邏輯值為假...
把用高電平表示邏輯1,低電平表示邏輯0的規定稱為正邏輯。反之,把用高電平表示邏輯0,低電平表示邏輯1的規定稱為負邏輯。...
&來源於拉丁語et (意為and)的連寫,是一個邏輯語言,是指邏輯上表示兩者屬於缺一不可的關係,還表示意思是一個人和另外一個人之意,與and同義。如A&B,表示A與...
邏輯錯誤,一般指思維過程中違反形式邏輯規律的要求和邏輯規則而產生的錯誤。如“偷換概念”、“偷換論題”、“自相矛盾”等。...
描述邏輯(DescriptionLogic)是基於對象的知識表示的形式化,它吸取了KL-ONE的主要思想,是一階謂詞邏輯的一個可判定子集。除了知識表示以外,描述邏輯還用在其它許多...
知道邏輯( logic of knowing) 是認識邏輯的一種。系統研究知道者和所知道命題之間邏輯關係的理論。有絕對的知道邏輯與相對的知道邏輯之分。前者指認識模態兩了“...
人類所使用的語言,可以分為三類:自然語言(如:英語和漢語)、半形式化語言(如:數學的語言。即:自然語言加特定的符號)和形式化語言(如:邏輯的語言)。...
研究事物間任意性質關係的邏輯推演規律的理論。關係是指若干事物之間的某種相互聯繫,它是邏輯學的重要概念之一。關係邏輯以具有任意性質的關係為其專門研究對象,特別...
或運算,二進制運算.可逆運算.1 or 1=1,1 or 0=1,0 or 0=0,0 or 1=1. “∨”表示邏輯加,規則為0∨0=0、0∨1=1、1∨0=1、1∨1=1 a or b...
控制邏輯(Logical Control)的基本形式產生於對控制器運行機理的分析 ,獲得的控制規則可用泛布爾代數邏輯地描述。邏輯控制是按照泛布爾代數所服從的規律進行的。例如...
邏輯變數之間的運算稱為邏輯運算。二進制數1和0在邏輯上可以代表“真”與“假”、“是”與“否”、“有”與“無”。這種具有邏輯屬性的變數就稱為邏輯變數。 ...
邏輯分析法(logical analysis)主要是指“語言的轉向”之後出現的分析哲學、科學哲學中所使用的分析方法。這種方法利用現代數理邏輯這個強有力的工具,對語言進行分析,...
&在數學邏輯中此符號也充分運用到,意思是與、和。...... &在數學邏輯中此符號也充分運用到,意思是與、和。...如:while("a==9&&b==5") 表示當a=9與b=5...
邏輯結構設計是將概念結構設計階段完成的概念模型,轉換成能被選定的資料庫管理系統(DBMS)支持的數據模型。這裡主要將E-R模型轉換為關係模型。需要具體說明把原始數據...
邏輯運算又稱布爾運算 布爾用數學方法研究邏輯問題,成功地建立了邏輯演算。他用等式表示判斷,把推理看作等式的變換。這種變換的有效性不依賴人們對符號的解釋,只依賴...
一階邏輯(first order logic,FOL)也叫一階謂詞演算,允許量化陳述的公式,是使用於數學、哲學、語言學及計算機科學中的一種形式系統。一階邏輯是區別於高階邏輯的...