1、謂詞的工作原理類(lèi)似于：對于每個(gè)節點(diǎn)，引擎使用上下文處理謂詞。
2、用一階謂詞邏輯設計了一個(gè)親屬關(guān)系的自動(dòng)推理模型。
3、所以，為了避免一些繁瑣的重復代碼，本庫定義了一些謂詞用于在比較前應用間接性。
4、謂詞演算與程序語(yǔ)義。
5、在謂詞演算的反駁樹(shù)中，被證明的合式公式。
6、討論了三種時(shí)間邏輯方法：一階謂詞演算，模態(tài)邏輯及具體化邏輯。
7、本文以關(guān)系知識模型為基礎，用謂詞演算和關(guān)系演算描述了一個(gè)知識庫管理系統。?
8、之后，美籍邏輯學(xué)家歌德?tīng)栆浑A謂詞演算的完備性定理，這標志著(zhù)現代邏輯基礎部分的完成。
9、本文借助中介邏輯謂詞演算系統，對不完全信息系統的理論和應用進(jìn)行了研究。
10、“語(yǔ)句觀(guān)”把一個(gè)理論看成是一個(gè)語(yǔ)句系統，而“謂詞觀(guān)”通常是指定義一個(gè)集合式謂詞來(lái)對理論公理化。
11、請注意，當您為設計器謂詞創(chuàng )建新的菜單項時(shí)，您還為該菜單項附加了一個(gè)單擊處理程序。
12、表示您的組織規則的參數化人員謂詞是作為人工任務(wù)模型的一部分存儲的，并將與人工任務(wù)或業(yè)務(wù)流程模型文件一起部署。
13、傳統邏輯中專(zhuān)名和限定摹狀詞都是單獨概念，在謂詞邏輯中則被稱(chēng)為個(gè)體詞。
14、另一種選擇是使用小寫(xiě)希臘字母來(lái)表示這種元變量謂詞。
15、這就是一個(gè)一階謂詞演算不可表述的屬性。
16、影響各類(lèi)有謂詞性補足成分的句子句法結構格式化形成過(guò)程的一個(gè)重要因素，就是語(yǔ)言單位的結構邊界律。
17、更多細節請見(jiàn)等同性謂詞和散列函數一節。
18、有幾種邏輯：命題邏輯的順序，謂詞的一個(gè)或多個(gè)、知識性、模態(tài)的，暫時(shí)的，模糊等。
19、在謂詞演算中，有時(shí)將原子公式簡(jiǎn)稱(chēng)為原子。
20、這種情況下的斷言似乎就需要實(shí)現特定的語(yǔ)言擴展，于是一些人建議引入一階謂詞演算。
21、當用戶(hù)從設計器上下文菜單中選擇菜單項時(shí)，系統將調用該自定義處理程序，以執行與該菜單項關(guān)聯(lián)的謂詞。
22、主詞，謂詞，受詞都是實(shí)體的名稱(chēng)。實(shí)體在真實(shí)世界中，可以是具體的或是抽象的。
23、求反器，是一種函數適配器，它將謂詞函數對象的真值求反。
24、實(shí)例分析表明，基于的謂詞抽象技術(shù)是一種構造程序抽象模型更高效的方法。
25、如果在基于字符串的查詢(xún)謂詞周?chē)褂秒p引號，而不是單引號，就會(huì )收到語(yǔ)法錯誤。
26、目前，命題模態(tài)邏輯已成為人工智能以及計算機科學(xué)等其他領(lǐng)域的有效工具，但謂詞模態(tài)邏輯卻不是。
27、在對授權規則建模時(shí)，如果缺省人員謂詞集無(wú)法滿(mǎn)足需要，您可以修改現有的謂詞或向謂詞集添加新謂詞。
28、從而形成了模糊謂詞演算一種新的語(yǔ)構與語(yǔ)義體系。
29、在這兩個(gè)查詢(xún)中，方括號中表示了連接謂詞。
30、如果你希望使用一個(gè)不同的等同性謂詞，你也需要使用一個(gè)相匹配的散列函數。
31、直方圖用于計算謂詞的選擇率。
32、謂詞演算語(yǔ)言的傳統的語(yǔ)義組成了數理邏輯的一個(gè)很豐富的分支。
33、句子中心是謂詞，題元在句子中由名詞性成分充任。
34、在那個(gè)謂詞中，還可以再次向下鉆取，以添加另一個(gè)謂詞。
35、換句話(huà)說(shuō)，就是通過(guò)引入相應的謂詞，將二元關(guān)系的性質(zhì)用邏輯公式來(lái)表示。
36、使用謂詞演算來(lái)進(jìn)行知識的表示和推理，能代表實(shí)際應用中的許多問(wèn)題。
37、符號邏輯往往分為兩個(gè)分支，命題邏輯和謂詞邏輯。
38、同語(yǔ)句是一種常見(jiàn)的語(yǔ)言現象，體詞、謂詞、加詞等可以有條件出現在它的主賓位上。
39、得到的參數化人員謂詞存儲為人工任務(wù)模型的一部分。
40、謂詞邏輯：也叫謂詞演算，它研究簡(jiǎn)單命題的內部結構。 /zaOJU/
41、岳陽(yáng)柏祥方言中的親屬稱(chēng)謂詞主要有“長(cháng)輩”、“平輩”、“晚輩”三大類(lèi)，經(jīng)考證該方言稱(chēng)謂詞有些沿用古代親屬稱(chēng)謂詞。
42、在該處理程序中，可以檢索與該菜單項相關(guān)聯(lián)的謂詞并調用它。
43、具有較好的柔韌性和寬容度，它可以容納經(jīng)典謂詞邏輯。
44、謂詞選擇率估計是關(guān)系數據庫管理系統查詢(xún)優(yōu)化器決策的重要依據。
45、容器的鍵值等同性謂詞。
46、每讀出一個(gè)元素，就將它傳遞給第三個(gè)實(shí)參表示的謂詞函數。