謂詞
- 基于約束的多維Apriori 改進(jìn)算法
根據(jù)規(guī)則所涉及的謂詞數(shù)，可以分為單維關(guān)聯(lián)規(guī)則和多維關(guān)聯(lián)規(guī)則兩類。若關(guān)聯(lián)規(guī)則的前項和后項包含兩個或更多的謂詞，則為多維關(guān)聯(lián)規(guī)則。多維關(guān)聯(lián)規(guī)則由于涉及多個謂詞，每個謂詞各自包含自身的項目集合，因此挖掘過程需要從多維事務(wù)集中搜索頻繁謂詞集。典型的多維Apriori 算法采用的方法是在連接頻繁集生成候選集時，提前判斷連接之后的結(jié)果中是否存在重復(fù)的維度屬性，若不重復(fù)則進(jìn)行連接并根據(jù)Apriori 性質(zhì)完成剪枝，重復(fù)則取消本次連接。這是由于存在重復(fù)維度的候選集在事務(wù)集
電子技術(shù)應(yīng)用 2023年10期2023-11-10
- 論康德對邏輯謂詞和實在謂詞的區(qū)分
證明時，引入邏輯謂詞和實在謂詞的區(qū)分。該區(qū)分以及由之派生的問題在哲學(xué)史上影響深遠(yuǎn)，對當(dāng)代哲學(xué)仍有啟發(fā)意義，近年來則在國內(nèi)康德學(xué)界引發(fā)廣泛爭論。其中，爭論較多的問題是：如何理解著名的“Sein論題”、如何破解所謂的“實在謂詞難題”、如何看待該區(qū)分在康德對本體論證明的反駁中所起的作用等。本文不從這些派生性問題切入，而是追問更為基礎(chǔ)的問題：何謂邏輯謂詞？何謂實在謂詞？兩者之間有怎樣的關(guān)系？一旦厘清邏輯謂詞的判定條件和類型、實在謂詞的多維意涵和兩類謂詞之間的復(fù)雜的
現(xiàn)代哲學(xué) 2023年3期2023-10-27
- 一階邏輯命題符號化的研究
代人的生活,一階謂詞邏輯作為一種重要的知識表示方法,有著強(qiáng)大的陳述表達(dá)能力,能夠?qū)⑺季S活動準(zhǔn)確的表達(dá)出來,它和自然語言的表述相接近,方便計算機(jī)進(jìn)行存儲,也易于被計算機(jī)進(jìn)行處理,因此它常常被應(yīng)用于自然語言處理領(lǐng)域。謂詞邏輯就是研究自然語言的形式結(jié)構(gòu)、邏輯性質(zhì)、謂詞關(guān)系及從中導(dǎo)出的規(guī)律[1]。如:珀拉克[2]的人工推理系統(tǒng)所試圖解決的問題:“假設(shè)有一個彩票游戲,有一百萬人參加,贏家只有一個。因此,玩家能夠成為贏家的概率極低”。要解決珀拉克的問題,就需要將每句話
榆林學(xué)院學(xué)報 2023年5期2023-09-27
- 基于語義謂詞優(yōu)化的疾病因果關(guān)系發(fā)現(xiàn)*
唐小利基于語義謂詞優(yōu)化的疾病因果關(guān)系發(fā)現(xiàn)*董鵬 李曉瑛 李軍蓮 唐小利（北京協(xié)和醫(yī)學(xué)院/中國醫(yī)學(xué)科學(xué)院/醫(yī)學(xué)信息研究所/圖書館，北京 100005）挖掘PubMed生物醫(yī)學(xué)文獻(xiàn)中蘊(yùn)含的疾病因果關(guān)系，能夠為疾病預(yù)防、診療提供參考，促使建立更好的疾病預(yù)防和治療措施。本研究提出基于SemRep語義謂詞優(yōu)化的疾病因果關(guān)系抽取方法，構(gòu)建了包含50個語義謂詞的疾病因果關(guān)系語義謂詞表，自動抽取259 434條疾病因果關(guān)系對，揭示疾病之間的單向因果關(guān)系和雙向因果關(guān)系，并
數(shù)字圖書館論壇 2022年11期2022-12-15
- 分析哲學(xué)中的邏輯量化模式淵源探討
邏輯形式語言中，謂詞包含哪些內(nèi)容？如何處理復(fù)雜的謂詞？謂詞提取技術(shù)有什么優(yōu)點？如何處理單獨詞項，而變項又從何演變而來？什么是量詞？如何對量化句或量化模式進(jìn)行推理？本文將沿著對這些問題的梳理和解決脈絡(luò)，從分析哲學(xué)角度出發(fā)，對邏輯量化模式的緣起及實現(xiàn)路徑逐一分析，從日常語言角度對量化復(fù)合模式中的謂詞字母的形成、謂詞提取技術(shù)及其中使用的關(guān)系從句做出說明，對單獨詞項的處理方法和變項字母的形成做出解釋，最后，闡述如何通過量化復(fù)合模式對日常語言進(jìn)行語詞方面的邏輯分析。
湖北社會科學(xué) 2022年3期2022-11-08
- 基于組塊分析的漢語塊依存語法
塊為研究對象，以謂詞為核心，在句內(nèi)和句間尋找謂詞所支配的組塊。分析時，利用漢語中的組塊和組塊間的依存關(guān)系，將成分缺失和指向不明的問題轉(zhuǎn)化為小句內(nèi)組塊依存問題和小句間的組塊缺省問題。補(bǔ)全缺失的成分，為后續(xù)任務(wù)提供準(zhǔn)確的分析單元，消除由于指向不明確而導(dǎo)致的歧義。1 組塊及其類別由于漢語句法的特殊性，“塊”具有很好的現(xiàn)實意義?！皦K(Chunk)”概念最早由Abney提出，他認(rèn)為句法分析可以分為三個階段來進(jìn)行，以達(dá)到簡化句法分析任務(wù)的目的，即對塊進(jìn)行識別、分析塊的
中文信息學(xué)報 2022年8期2022-09-28
- 模態(tài)邏輯與真理論*
→ ■?p。從謂詞的角度看，對這兩條原則的承認(rèn)與否可能導(dǎo)致完全不同的真理論。那么在算子背景下，人們在討論中如若確實涉及真，究竟該如何理解呢？坍塌的真算子無疑模糊了這里的區(qū)別?？紤]認(rèn)知邏輯的公理（T）：Kφ→φ。由于我們通常是用它表達(dá)“知識蘊(yùn)涵真”，所以我們現(xiàn)在不妨把真直接明確地顯示出來，使之成為：應(yīng)該說這樣的顯示處理并不會修改原公理的含義，但倘若將這種經(jīng)由顯示處理之后的模態(tài)原則用于實際問題的分析中，所得結(jié)果就將大為不同了。菲奇（F.B.Fitch）提出了
學(xué)術(shù)研究 2022年7期2022-09-09
- 基于特征增強(qiáng)的開放域知識庫問答系統(tǒng)
題，識別出實體和謂詞查找對應(yīng)的目標(biāo)值作為答案。例如，對于問題“誰是奧巴馬的妻子？”，結(jié)合三元組，可以查找到米歇爾·奧巴馬作為答案。根據(jù)回答問題所需三元組的數(shù)目為單個或者多個，可以分為簡單問題和復(fù)雜問題，本文工作聚焦在簡單問題問答的研究?，F(xiàn)有的中文簡單問題知識庫問答的主流方法通常將問答任務(wù)拆分為實體鏈接和謂詞匹配兩個子任務(wù)，其中實體鏈接包含實體提及識別和實體消歧兩部分，構(gòu)建一個流水線式的問答系統(tǒng)，如圖1 所示。以“精忠岳飛由誰運營？”這一問題為例，首先通過實
計算機(jī)工程與應(yīng)用 2022年17期2022-09-06
- 基于認(rèn)知概念的謂詞擴(kuò)展與表示
110142)謂詞邏輯是一種數(shù)理邏輯方法,用于知識表示和推理,在計算機(jī)領(lǐng)域有著廣泛的應(yīng)用.在自然語言中,具有確定真值的陳述句,即命題,可以劃分為主語和謂語部分.謂詞邏輯將命題的主語部分表示為客體,用于表達(dá)事物,謂語部分表示為謂詞,表達(dá)事物的性質(zhì)、狀態(tài)以及事物之間的關(guān)系.謂詞邏輯將句子中的成分進(jìn)行細(xì)化,具有比命題邏輯更精確的表達(dá)能力.在自然語言處理的語義分析研究過程中,也將自然語言轉(zhuǎn)換為謂詞公式,即轉(zhuǎn)為計算機(jī)可處理的形式[1].語義分析的目的是理解自然語言
沈陽化工大學(xué)學(xué)報 2022年6期2022-04-12
- 論康德本體論證明批判思想的發(fā)展
——從《演證上帝存有的惟一可能的證明根據(jù)》到《純粹理性批判》
本不是一個事物的謂詞或規(guī)定”和Dasein作為“絕對的肯定”有別于“每一個本身在任何時候都僅僅在與另外一個事物的關(guān)系中被設(shè)定的謂詞”，在《純粹理性批判》中被說成了“邏輯的謂詞”不同于“實在的謂詞”。一、《純粹理性批判》否定了《證明根據(jù)》中康德主張的“本體論證明”康德在《純粹理性批判》所批判的本體論證明，主要是笛卡兒派的證明，他還明確提到萊布尼茨的名字（A602/B630）。但在《證明根據(jù)》中，他其實并沒有把笛卡兒派的證明叫作“本體論證明”。在這里，他所謂的
哲學(xué)評論 2021年1期2021-11-25
- 論黑格爾的主謂詞理論及其“顛倒”問題
bject）當(dāng)作謂詞（Pr?dicat）”。1參見文獻(xiàn)[22]第45、72 頁以及文獻(xiàn)[3]第159、190 頁。本文在引用中譯文時把“賓詞”改成了“謂詞”。1843 年，在《黑格爾法哲學(xué)批判》手稿中，馬克思進(jìn)一步將黑格爾的這個問題歸結(jié)為“主詞和謂詞的顛倒（Umkehrung）”（[20]，第15-16 頁；[12]，第12-13 頁），并對之展開了系統(tǒng)的批判。從那以后，“主謂顛倒”就被許多人不假思索地當(dāng)成了黑格爾邏輯學(xué)問題的當(dāng)然判詞。本文回到黑格爾的著作
邏輯學(xué)研究 2021年5期2021-11-25
- 極小主義視域下的真謂詞
真的”是否是一個謂詞這樣一個問題，緊縮真理論內(nèi)部是存有爭議的。一般緊縮真理論認(rèn)為“真的”在語句中不表達(dá)實質(zhì)屬性，無法充當(dāng)語句的謂詞。極小主義真理論作為緊縮真理論的一個特殊理論分支，主張真是歸屬于命題的弱屬性（[14]，第153–159 頁），“真的”相應(yīng)地具有謂詞的功能，只不過該謂詞具有理論特殊性。1 “真”與“真的”“真”和“真的”是兩個緊密聯(lián)系的概念，“真”是“真的”的抽象名詞化形式，“真的”則是對“真”的外在顯式表達(dá)，“真”作為謂詞是通過“真的”發(fā)揮
邏輯學(xué)研究 2021年4期2021-10-20
- 謂詞性賓語句中體標(biāo)記與謂詞配置研究
成分可以直接充當(dāng)謂詞的賓語，因述謂性成分具有陳述的性質(zhì)，故稱為謂詞性賓語，帶謂詞性賓語句子稱為謂詞性賓語句。謂詞性賓語句中至少有兩個謂詞：謂賓動詞、賓語內(nèi)部謂詞［3］，兩個謂詞與體范疇標(biāo)記形式上的選擇正是兩個句子相互依賴、相互制約的反映。目前，學(xué)界對體范疇的概念、來源及類型研究取得比較豐碩的成果，但對于體范疇標(biāo)記（簡稱體標(biāo)記）在不同句類中的分布及與謂詞配置情況的考察不夠充分。文章考察謂詞性賓語句中體標(biāo)記的分布特征，進(jìn)一步探尋謂詞性賓語在整合過程中完句成分的
寧夏大學(xué)學(xué)報（人文社會科學(xué)版） 2021年2期2021-06-02
- 數(shù)據(jù)庫內(nèi)AI 模型優(yōu)化?
通過查詢語句中的謂詞特點對模型進(jìn)行剪枝,而對模型特征的利用仍不夠徹底.考慮一個例子“選擇周營業(yè)額預(yù)測值大于20 萬元的商店”,可以通過SQL 查詢表示為:在這類查詢中,滿足條件,需要返回給用戶的數(shù)據(jù)可能只占全部數(shù)據(jù)中很小的比例.類似的例子還有:大型連鎖超市希望知道各分店各銷售部門中,營業(yè)額少于特定金額的有哪些;銀行希望找出違約概率高于一定值的賬戶等.這些場景中,通過支持UDF 的SQL 可以表示為WHERE 子句中包含機(jī)器學(xué)習(xí)預(yù)測函數(shù)的形式,即,使用機(jī)器學(xué)
軟件學(xué)報 2021年3期2021-05-23
- 康德對于謂詞的界定與羅素的摹狀詞理論之比較
【摘要】 關(guān)于謂詞理論，康德并沒有做出系統(tǒng)的理論闡述，但是從前批判時期的文章和批判時期的著作中，可以找到一條一以貫之的理論線索，即在“是”與“存在”的問題中，區(qū)分了邏輯的謂詞和實在的謂詞?？档碌倪@一區(qū)分對羅素的摹狀詞理論具有重大影響。本文的目的在于比較這兩種理論在處理謂詞方面的異同之處，并且指出在本體論意義上，他們的理論之間有著重大差異?！娟P(guān)鍵詞】 康德;謂詞;羅素;摹狀詞;本體論【中圖分類號】B5? ? ? ? ? 【文獻(xiàn)標(biāo)識碼】A? ? ? ? ? 【
今古文創(chuàng) 2021年8期2021-05-05
- 淺析弗雷格涵義與指稱理論
論，區(qū)分了專名、謂詞和語句的涵義和指稱。他提出專名的涵義為被呈現(xiàn)的方式，指稱為現(xiàn)實世界中的對象，謂詞的指稱為概念，語句的指稱為它的真值，涵義為它所要表達(dá)的思想。關(guān)鍵詞：弗雷格，專名，謂詞，涵義與指稱1.弗雷格涵義與指稱理論概述弗雷格在對語言意義的系統(tǒng)研究基礎(chǔ)之上，提出了三條原則：心理主義、語境原則和概念和對象（彭媚娟，張君弟，2004：11）。心理主義主要強(qiáng)調(diào)要嚴(yán)格區(qū)分主觀的東西和客觀的東西。語境原則闡述了不能孤立的尋求語言的意義，必須結(jié)合其具體語境，才能
科學(xué)與生活 2021年26期2021-01-10
- 論康德對強(qiáng)化版本體論證明的系統(tǒng)批判*
——兼評一種流行解讀
從先驗角度把實在謂詞當(dāng)作分析命題的謂詞，而是從經(jīng)驗角度將之當(dāng)作綜合命題的謂詞，就不合康德原意。實在謂詞是一種“先驗謂詞”，指上帝概念已包含的先驗實在性，或“上帝是全能的”這類分析命題中的謂詞，它與必須包含經(jīng)驗內(nèi)容、超出主詞概念的實存謂詞是完全異質(zhì)的。但流行解讀卻同時從經(jīng)驗角度把它們都當(dāng)作綜合命題的謂詞，這種同質(zhì)化理解導(dǎo)致了對邏輯謂詞和實在謂詞的嚴(yán)重誤解，導(dǎo)致了康德的表述顯得自相矛盾，導(dǎo)致了“Sein不是實在謂詞”與本體論證明的小前提失去關(guān)聯(lián)，也導(dǎo)致了“實存
中山大學(xué)學(xué)報(社會科學(xué)版) 2021年4期2021-01-04
- 語境中的“Sein ist offenbar kein reales Pr?dikat”*
然不是什么實在的謂詞”、李秋零的“‘是’顯然不是實在的謂詞”、王玖興的“存在顯然不是一個實在賓詞”等。筆者將其譯為“存在顯然不是實在謂詞”，同時行文中仍給出德語原文。第一批判的其他引文出自[德]康德：《純粹理性批判》，鄧曉芒譯，北京：人民出版社，2017年。以下相關(guān)引文隨文標(biāo)明A、B版及該譯本頁碼(如A571/B599, 349)，原文強(qiáng)調(diào)部分改為黑體，不再一一詳述。命題上(2)實際上，這也是國外學(xué)界的爭論焦點。See Jill Vance Buroker
現(xiàn)代哲學(xué) 2020年6期2020-12-31
- 被遮蔽的邏輯謂詞
——論胡好對邏輯謂詞的誤讀
然不是什么實在的謂詞，即不是有關(guān)可以加在一物的概念上的某種東西的一個概念。它只是對一物或某些規(guī)定性本身的肯定?！?(KrV，A598/B626)康德提出這個論題是基于他對邏輯謂詞和實在謂詞所做的區(qū)分，因此，當(dāng)我們談?wù)摽档碌拇嬖谡擃}時，不能脫離這個重要的前提條件。那么，什么是邏輯謂詞？什么是實在謂詞？這是探討康德的存在論題時不可回避的問題。胡好在《康德哲學(xué)中實在謂詞難題的解決》(1)胡好：《康德哲學(xué)中實在謂詞難題的解決》，《現(xiàn)代哲學(xué)》2019年第4期。一文中
現(xiàn)代哲學(xué) 2020年5期2020-11-30
- 實在謂詞一定是綜合命題的謂詞嗎?
——就Sein論題中實在謂詞的理解與胡好商榷
Sein不是實在謂詞”論題，在國內(nèi)外學(xué)界一直充滿爭議(1)自2018年11月以來，“康德哲學(xué)愛好者共同體”微信群的眾多康德研究者，就此論題展開長達(dá)數(shù)月、觀點紛呈的爭論。作為爭論的發(fā)起人，胡好在討論過程中意識到有一個“實在謂詞難題”，即Sein(存在)既是實在謂詞又不是實在謂詞的沖突問題。他認(rèn)為楊云飛和我的解決都不成功，于是撰寫并發(fā)表了《康德哲學(xué)中實在謂詞難題的解決》一文(《現(xiàn)代哲學(xué)》2019年第4期)。。例如，胡好在《康德哲學(xué)中實在謂詞難題的解決》(2)胡
現(xiàn)代哲學(xué) 2020年4期2020-11-30
- 康德哲學(xué)中實在謂詞難題的解決
本體論證明、邏輯謂詞和實在謂詞有什么區(qū)別等論題。從中，筆者發(fā)現(xiàn)了實在謂詞難題。國內(nèi)外學(xué)者從不同側(cè)面觸及到這一難題，比如黑格爾、海德格爾、伍德(Allen Wood)認(rèn)為存在(Sein)等于實存(Existenz)[注]本文采用鄧曉芒先生的譯名，統(tǒng)一將Sein譯為存在，Dasein譯為存有，Existenz譯為實存。，楊云飛持相反立場，泰斯(Robert Theis)和隆古尼斯(Beatrice Longuenesse)提出實在性表示事物的可能性，舒遠(yuǎn)招主張
現(xiàn)代哲學(xué) 2019年4期2019-12-14
- “易碎”與“勇敢”
——物理傾向與心理傾向的差異
況的說明、對傾向謂詞的應(yīng)用條件的分析、對傾向陳述的語義說明、以及跟傾向相關(guān)的其它一些形而上學(xué)和認(rèn)識論問題，我們都可以且應(yīng)該期待一種統(tǒng)一的解說。比如，關(guān)于傾向謂詞的語義，支持傾向的條件句分析的哲學(xué)家的典型主張認(rèn)為，“關(guān)于它們（傾向謂詞）意謂著什么（也就是我們認(rèn)為的它們的應(yīng)用條件），我們所有能說的東西，都可以通過條件句說出來?！保?］Mellor,D.,2000,‘The Semantics and Ontology of Dispositions’,Mind
哲學(xué)評論 2019年1期2019-12-14
- 基于位置的發(fā)布/訂閱索引結(jié)構(gòu)
象中的文本由多個謂詞表示,其中每個謂詞都包括屬性名、關(guān)系操作符和屬性值,而消息由屬性值對組成.只有消息中所有屬性都出現(xiàn)在訂閱中且各個屬性值都在訂閱相應(yīng)屬性值的范圍內(nèi),消息與訂閱才完全匹配.此時可以將消息發(fā)送給訂閱者.1 相關(guān)定義與問題分析基于位置的發(fā)布/訂閱中,訂閱者使用布爾表達(dá)式表示自己的興趣偏好,發(fā)布者發(fā)布的消息也以布爾表達(dá)式的形式表示.基于位置的發(fā)布/訂閱不僅能夠匹配消息與訂閱的空間信息,還能夠匹配文本信息,從而得到符合用戶需求的消息[5].以下面是
中南民族大學(xué)學(xué)報（自然科學(xué)版） 2019年2期2019-06-25
- 信息不完備下的知識遺忘
、命題邏輯、一階謂詞邏輯、模態(tài)邏輯、描述邏輯、回答集邏輯程序設(shè)計（Answer Set Programming，ASP），以及情景演算（Situation Calculus）等多種邏輯語言中都有關(guān)于遺忘的研究。其被廣泛應(yīng)用于最弱充分條件和最強(qiáng)必要條件的計算[4]、溯因推理[4]、相關(guān)性分析[5]、知識和信念的推理[6]、沖突解決[7]、本體分析與重用[8]、信息隱藏[8]、邏輯差異的判定[9]、知識庫更新[10]、ASP中的非單調(diào)推理[11]等諸多領(lǐng)域。在
現(xiàn)代計算機(jī) 2019年11期2019-05-27
- 康德主謂關(guān)系思想的批判性分析
做主詞，而不能做謂詞，因為實體是說明其他事物而自身不是被說明的東西。亞里士多德對主謂關(guān)系的基本態(tài)度是：主詞確定和規(guī)定謂詞(謂詞的德語詞為Pr?dikat，又可譯為賓詞)的性質(zhì)，謂詞依附主詞，主詞是第一性的，謂詞是第二性的，謂詞作為一種特征或?qū)傩允鲋^主詞。康德不滿足主謂關(guān)系問題上的形式邏輯傳統(tǒng)，通過先驗邏輯對非本質(zhì)謂詞的強(qiáng)調(diào)，使得先天綜合判斷成為可能?？档掳阎髟~和謂詞對立起來，并不認(rèn)為二者存在能夠相互轉(zhuǎn)變的可能，他在主謂關(guān)系上所持的主謂二分立場決定了其二元論
重慶理工大學(xué)學(xué)報(社會科學(xué)) 2019年12期2019-02-16
- 基于層次化聚類的稀疏謂詞語義角色標(biāo)注方法
位，分析句子中的謂詞與其相關(guān)成分之間的語義關(guān)系，進(jìn)而獲取句子所表達(dá)語義的淺層表示。下面是一個語義角色標(biāo)注的例子：[警方]Agent [正在]Time [調(diào)查]Pred [事故原因]Patient其中“調(diào)查”是謂詞，代表了一個事件，“警方”是施事者，“事故原因”是受事者，“正在”是事件發(fā)生的時間。由此可見，語義角色標(biāo)注能夠抽取出一個句子表達(dá)的事件的全部重要信息。由于語義角色標(biāo)注可以提供較為簡潔、準(zhǔn)確、有益的分析結(jié)果，因此近年來受到了學(xué)術(shù)界的普遍重視，并已經(jīng)成
計算機(jī)工程與設(shè)計 2018年11期2018-11-17
- 慧眼識謂詞，用心辨主語
么樣”了。而“識謂詞”“辨主語”是操作性很強(qiáng)的方法，通過識別謂詞和分辨主語，逐一解讀詩題和詩句，即可讀懂詩歌。[關(guān)鍵詞]謂詞；主語；詩歌[中圖分類號] G633.3 [文獻(xiàn)標(biāo)識碼] A [文章編號] 1674-6058（2018）27-0011-02談到讀懂詩歌的方法，大家首先想到的可能是“讀詩題、讀作者、讀注釋、讀意象、抓關(guān)鍵詞”這一套吧？這當(dāng)然是讀懂詩歌的必不可少的步驟，可具體如何操作呢？如何讀懂詩題，讀懂詩句呢？在這里我想談一種很笨但很實在、操作性很
中學(xué)教學(xué)參考·文綜版 2018年9期2018-10-23
- 一種基于SCAD的改進(jìn)謂詞發(fā)現(xiàn)方法
法是通過引入新的謂詞使其與給定的詞匯在邏輯形式上相適應(yīng),即謂詞發(fā)現(xiàn) (predicate invention, PI).謂詞發(fā)現(xiàn)方法可分為基于ILP和基于統(tǒng)計學(xué)習(xí)2類.然而,它們存在共同的致命缺點,即如果程序在執(zhí)行的過程中使用了一個表達(dá)不當(dāng)?shù)男?span id="j5i0abt0b" class="hl">謂詞,則在后續(xù)謂詞發(fā)現(xiàn)的過程中可能會導(dǎo)致錯誤級聯(lián).為解決此問題,WANG W.Y.等[2]提出了基于結(jié)構(gòu)化稀疏的軟謂詞發(fā)現(xiàn)方法,通過將集合的參數(shù)一起正則化的方式減少要學(xué)習(xí)參數(shù)的數(shù)量,可有效去除具有“噪聲”的謂詞以使得
江蘇大學(xué)學(xué)報（自然科學(xué)版） 2018年5期2018-09-11
- 樣本發(fā)散型含糊類的形式刻畫*,?
換成負(fù)詞項，或負(fù)謂詞。因為負(fù)謂詞的引入，原來相應(yīng)的謂詞，如“高個”等，可以稱為正謂詞。這里需要對范圍做些特別說明。如果只是正謂詞，范圍的問題并不明顯。但是如果還出現(xiàn)負(fù)謂詞，那么這個范圍的作用就會顯現(xiàn)出來。例如，我們可以說“電腦不是機(jī)動車”，但是不能說，“電腦是非機(jī)動車”。這就是因為有車輛這個范圍在起作用。這個范圍以后稱為關(guān)于負(fù)謂詞的論域。負(fù)謂詞都有相應(yīng)的論域，如“非機(jī)動車”的論域是車輛，“非高個”的論域是人，如此等等。負(fù)謂詞帶有論域也可以說負(fù)謂詞是帶有論題
邏輯學(xué)研究 2018年1期2018-04-16
- BWDSP104X多條件謂詞編譯優(yōu)化①
賴關(guān)系進(jìn)行處理,謂詞執(zhí)行從根本上消除程序中的跳轉(zhuǎn)分支,完成從控制相關(guān)到數(shù)據(jù)相關(guān)的轉(zhuǎn)化,改變基本塊內(nèi)部的控制依賴關(guān)系,從而有利于指令流水和指令級并行.但利用謂詞執(zhí)行技術(shù)在處理多條件分支時只是局部的消除程序中的跳轉(zhuǎn)指令,從全局范圍來看多條件分支之間依然存在跳轉(zhuǎn)指令和控制依賴關(guān)系.本文針對傳統(tǒng)謂詞優(yōu)化在處理多條件謂詞時的局限性,提出一種基于BWDSP104X體系結(jié)構(gòu)下多條件謂詞編譯優(yōu)化方法,以此消除多條件謂詞的跳轉(zhuǎn)分支及多謂詞之間的控制依賴關(guān)系,從而實現(xiàn)指令流水
計算機(jī)系統(tǒng)應(yīng)用 2018年1期2018-02-07
- 短語構(gòu)造及漢語謂詞的重新界定
語法研究傳統(tǒng)中，謂詞的界定標(biāo)準(zhǔn)大致經(jīng)歷了意義、形態(tài)、語法功能標(biāo)準(zhǔn)等不同階段。盡管到目前為止，能做謂語等句法功能已經(jīng)被基本接受為界定謂詞的標(biāo)準(zhǔn)，但是對于什么是謂語，卻沒有一個明確的標(biāo)準(zhǔn)。這樣的話，不但循環(huán)定義的問題不可避免，也不利于謂詞和其他詞類的區(qū)分。針對上述問題，本文重新界定了謂語，并在此基礎(chǔ)上，否定了謂語與謂詞的直接構(gòu)成關(guān)系，指出謂語只能由謂詞短語構(gòu)成，謂詞短語則是由謂詞和限定成分構(gòu)成。因此，只要界定了謂語，就能界定謂詞短語，只要界定了謂詞短語，也就能
考試周刊 2017年24期2017-12-08
- 基于謂詞的系統(tǒng)需求測試用例生成方法研究
48000)基于謂詞的系統(tǒng)需求測試用例生成方法研究劉珊艷(荊楚理工學(xué)院 計算機(jī)工程學(xué)院,湖北 荊門 448000)軟件測試是保證軟件可靠性的主要方法,為了提高測試的質(zhì)量可以在需求分析階段對測試對象進(jìn)行分析，根據(jù)需求分析規(guī)則產(chǎn)生的謂詞常常可以用于軟件檢測。討論基于謂詞的測試準(zhǔn)則BOR和BRO，并使用該準(zhǔn)則檢測需求規(guī)則中所有的布爾運算符故障和關(guān)系運算符故障。結(jié)果表明，根據(jù)謂詞信息生成的測試用例集合是最小的，且每個測試用例都能從不同方面暴露各種運算符故障，從而可
湖北理工學(xué)院學(xué)報 2017年4期2017-09-15
- 從定中式N1+(的)+N2中看N1屬性化
料為依據(jù)，從隱含謂詞的角度探究N1屬性化的規(guī)律并用認(rèn)知語言學(xué)理論加以解釋。隱含謂詞多為抽象的關(guān)系謂詞，領(lǐng)屬關(guān)系謂詞、存在關(guān)系謂詞、憑借關(guān)系謂詞占比較大。由于抽象的關(guān)系謂詞顯著度低，可現(xiàn)實化程度小，故不出現(xiàn)在表層結(jié)構(gòu)中。屬性化 謂詞隱含 認(rèn)知語言學(xué) N1+(的)+N2從認(rèn)知角度看，名詞的指稱性是其成為語言范疇的根本動因，它的主要功能是對事物的指稱，然而當(dāng)它出現(xiàn)在定語位置上，與另外一個名詞組成定中結(jié)構(gòu)時，這種用法使得名詞具有屬性義，功能類似于形容詞、區(qū)別詞。魏
消費導(dǎo)刊 2017年14期2017-09-15
- 基于同余方程和改進(jìn)的壓扁控制流的混淆算法
需要使用的不透明謂詞；其次，基于Logistic混沌映射提出了一種新的N態(tài)不透明謂詞構(gòu)造算法，并將其應(yīng)用到現(xiàn)有的壓扁控制流算法中，對現(xiàn)有的壓扁控制流算法進(jìn)行改進(jìn)；最后，將上述兩個對源碼進(jìn)行混淆的算法結(jié)合，以此來增加源代碼中控制流的復(fù)雜度，使其更難被破解。與現(xiàn)有的基于混沌不透明謂詞的壓扁控制流算法相比，所提混淆算法使混淆后代碼的防篡改攻擊時間平均提高了22%以上，總?cè)?fù)雜度平均提高了34%以上。實驗結(jié)果表明，所提算法能夠保證混淆后程序執(zhí)行結(jié)果的正確性并且具有
計算機(jī)應(yīng)用 2017年6期2017-09-03
- 謂詞邏輯在人工智能知識表示中的應(yīng)用
想 海南師范大學(xué)謂詞邏輯在人工智能知識表示中的應(yīng)用李娟 吳想 海南師范大學(xué)謂詞邏輯是在謂詞分析的基礎(chǔ)上進(jìn)行形式化后得出的語言與推理，在人工智能的發(fā)展過程中發(fā)揮著理論基礎(chǔ)的作用。謂詞邏輯在人工智能領(lǐng)域的應(yīng)用，主要包括消解原理與知識表示兩個方面，本文將謂詞邏輯在人工智能知識表示中的應(yīng)用進(jìn)行分析，探討人工智能中利用謂詞邏輯形式語言進(jìn)行知識表示的具體步驟，為謂詞邏輯的應(yīng)用提供有價值的參考。謂詞邏輯 人工智能 知識表示 形式語言1 引言在人工智能的研究過程中，怎樣才
數(shù)碼世界 2017年6期2017-07-18
- “AP+壞了”的謂詞特征及意義
P+壞了”結(jié)構(gòu)中謂詞特征及其整體意義。從構(gòu)件來看，該格式中的“壞”作補(bǔ)語是程度副詞，根據(jù)強(qiáng)調(diào)心理活動還是表達(dá)隱性需求對“AP”進(jìn)行了具體分析。從整體來看，把這一結(jié)構(gòu)與“AP+透了”比較，發(fā)現(xiàn)“AP+壞了”既表示極性，還擁有表達(dá)主體某種感受義。關(guān)鍵詞：謂詞 語義 特征 心理 情感1.引言在日常交際中，經(jīng)?？梢钥吹健袄蹓牧恕薄案吲d壞了”“樂壞了”“郁悶壞了”等結(jié)構(gòu)，表達(dá)主體某種情態(tài)的程度深或感知到某物某特性十分顯著。在現(xiàn)代漢語中，很少聽到“愉悅壞了”“紅壞了”
文學(xué)教育 2017年3期2017-03-23
- “AP+壞了”的謂詞特征及意義
P+壞了”結(jié)構(gòu)中謂詞特征及其整體意義。從構(gòu)件來看，該格式中的“壞”作補(bǔ)語是程度副詞，根據(jù)強(qiáng)調(diào)心理活動還是表達(dá)隱性需求對“AP”進(jìn)行了具體分析。從整體來看，把這一結(jié)構(gòu)與“AP+透了”比較，發(fā)現(xiàn)“AP+壞了”既表示極性，還擁有表達(dá)主體某種感受義。關(guān)鍵詞：謂詞 語義 特征 心理 情感1.引言在日常交際中，經(jīng)?？梢钥吹健袄蹓牧恕薄案吲d壞了”“樂壞了”“郁悶壞了”等結(jié)構(gòu)，表達(dá)主體某種情態(tài)的程度深或感知到某物某特性十分顯著。在現(xiàn)代漢語中，很少聽到“愉悅壞了”“紅壞了”
文學(xué)教育 2017年3期2017-03-23
- 數(shù)理邏輯中謂詞命題符號化的難點解析
18)數(shù)理邏輯中謂詞命題符號化的難點解析◎熊 瑜(杭州電子科技大學(xué)理學(xué)院，浙江 杭州 310018)本文通過作者多年教授離散數(shù)學(xué)課程中數(shù)理邏輯部分的教學(xué)經(jīng)驗，總結(jié)謂詞命題符號化的學(xué)習(xí)要點和難點，從而幫助學(xué)生更高效地學(xué)習(xí)好數(shù)理邏輯.謂詞邏輯；謂詞公式；命題符號化一、引 言中文的語言環(huán)境很豐富，相同的語義會有不同形式的表達(dá)句式，這就更加迫切地需要在數(shù)理邏輯當(dāng)中發(fā)明一種“通用的語言”，所以，我們需要合理準(zhǔn)確的符號化自然語句，從而可以進(jìn)一步進(jìn)入演繹推理，判斷正誤.
數(shù)學(xué)學(xué)習(xí)與研究 2017年9期2017-03-23
- 函數(shù)在謂詞邏輯符號化中的應(yīng)用
000)?函數(shù)在謂詞邏輯符號化中的應(yīng)用孫翠先(唐山學(xué)院 基礎(chǔ)教學(xué)部，河北 唐山 063000)針對不同個體域，用實例討論了謂詞邏輯中命題符號化時函數(shù)的引入、函數(shù)的作用以及謂詞和函數(shù)的區(qū)別，并給出了錯誤使用函數(shù)的例子，分析了產(chǎn)生錯誤的原因。個體域；謂詞邏輯；函數(shù)；命題符號化0 引言將自然語言中的命題用邏輯符號表示成謂詞公式，即符號化，也稱作翻譯。謂詞是用來刻畫個體詞性質(zhì)及個體詞之間相互關(guān)系的詞[1]，謂詞邏輯符號化時，經(jīng)常需要引入函數(shù)，而函數(shù)是值域為個體域的
唐山學(xué)院學(xué)報 2016年6期2016-12-09
- 漢語謂詞組合范疇語法詞庫的自動構(gòu)建研究
00084)漢語謂詞組合范疇語法詞庫的自動構(gòu)建研究周強(qiáng)(清華大學(xué) 信息技術(shù)研究院語音和語言技術(shù)中心 北京 100084)謂詞詞庫是深層語法模型分析和理解的核心資源。近年來的常規(guī)方法是人工構(gòu)建或從標(biāo)注語料庫中自動獲取，標(biāo)注規(guī)模和信息容量的擴(kuò)大受制于巨大的人工投入量和標(biāo)注庫體系設(shè)計。該文提出了一種多資源融合自動構(gòu)建漢語謂詞組合范疇語法(CCG)詞庫的新方法。從知網(wǎng)、北大語法信息詞典和大規(guī)模事件句式實例中提取漢語謂詞的不同句法語義分布特征，融合形成CCG原型范疇
中文信息學(xué)報 2016年3期2016-05-04
- 漢語難易謂詞探微
○景娜娜漢語難易謂詞探微○景娜娜關(guān)于英漢難易結(jié)構(gòu)的研究多側(cè)重于分析英語和漢語難易結(jié)構(gòu)的句法生成，而關(guān)于難易謂詞的研究相對匱乏。本文認(rèn)為漢語難易謂詞分為兩類，一類以“容易”為代表，其基本相當(dāng)于英語tough謂詞，與之后的動詞是相分開的；另一類以“好”為代表，與之后的動詞組成一個整體，即“好+V”。本文同時指出漢語難易謂詞的使用具有不平衡性，即“容易”可以在不及物、及物、雙及物難易結(jié)構(gòu)中使用而“好”在及物性難易結(jié)構(gòu)中接受程度最高。漢語難易結(jié)構(gòu) “好+V”類謂詞
現(xiàn)代語文 2016年28期2016-03-02
- BWDSP10x上地址和數(shù)據(jù)謂詞執(zhí)行的編譯優(yōu)化①
0x上地址和數(shù)據(jù)謂詞執(zhí)行的編譯優(yōu)化①樊永朝1,2, 鄭啟龍1,2, 耿 銳3, 王向前3, 王 昊31(中國科學(xué)技術(shù)大學(xué) 安徽省高性能計算重點實驗室, 合肥 230027)2(中國科學(xué)技術(shù)大學(xué) 計算機(jī)科學(xué)與技術(shù)學(xué)院, 合肥 230027)3(中國電子科技集團(tuán)公司 第三十八研究所, 合肥 230088)傳統(tǒng)的謂詞優(yōu)化技術(shù)是在馮·諾伊曼體系結(jié)構(gòu)計算機(jī)上實施的, 僅對數(shù)據(jù)流進(jìn)行優(yōu)化, 并沒有考慮哈佛體系結(jié)構(gòu)下指令和數(shù)據(jù)分開的情況. BWDSP10x是指令和數(shù)據(jù)分
計算機(jī)系統(tǒng)應(yīng)用 2016年12期2016-02-20
- 基于動態(tài)謂詞邏輯的漢語指代現(xiàn)象的信息處理
066)基于動態(tài)謂詞邏輯的漢語指代現(xiàn)象的信息處理林 勝 強(qiáng)(四川師范大學(xué)政治教育學(xué)院,成都610066)組合性是對自然語言進(jìn)行信息處理時考慮問題的出發(fā)點。動態(tài)謂詞邏輯主要是從語言信息的可計算性和組合語義的角度,使用標(biāo)準(zhǔn)一階謂詞邏輯的正統(tǒng)句法,通過對話語表現(xiàn)理論等邏輯理論進(jìn)行改進(jìn)而得到的。動態(tài)謂詞邏輯的提出本質(zhì)上是為了處理兩類問題:跨語句的指代消解和表示語句內(nèi)部約束關(guān)系的“驢子句”中的指代消解。動態(tài)謂詞邏輯的核心思想是使用逐漸遞增信息的動態(tài)方法對句子或者句子
四川師范大學(xué)學(xué)報（社會科學(xué)版） 2015年6期2015-06-26
- 邏輯和經(jīng)驗視域下的“存在”概念分析
分析，認(rèn)為存在是謂詞。新發(fā)展起來的自由邏輯對于存在問題也給出了肯定的答案。量詞說和謂詞說爭論不休，實質(zhì)上是存在問題在邏輯和經(jīng)驗兩個方面的不同體現(xiàn)。關(guān)鍵詞：存在；邏輯；經(jīng)驗；量詞；謂詞對“存在”概念的分析是一個古老的話題，自古希臘起先哲們就對存在問題產(chǎn)生了興趣。從早期巴門尼德哲學(xué)的核心范疇“存在”范疇到亞里士多德的概念論，再從中世紀(jì)安瑟倫等經(jīng)院神學(xué)家對“上帝存在”的本體論證明到近代康德對其進(jìn)行反駁。19世紀(jì)后期尤其20世紀(jì)以來，隨著現(xiàn)代邏輯的興起和西方哲學(xué)的
佛山科學(xué)技術(shù)學(xué)院學(xué)報（社會科學(xué)版） 2015年5期2015-04-17
- 馬航MH媒體聲明的情態(tài)表達(dá)及批評性話語分析
能語法為依據(jù)，從謂詞的角度進(jìn)行情態(tài)話語表達(dá)及批評性話語分析，旨在揭示馬航聲明如何通過情態(tài)表達(dá)模糊自己話語信息的。【關(guān)鍵詞】情態(tài) MH370媒體聲明 謂詞一、引言語言學(xué)中普遍研究的情態(tài)，主要是情態(tài)動詞和助動詞范疇內(nèi)的表現(xiàn)形式，而系統(tǒng)功能語言學(xué)中的情態(tài)系統(tǒng)既包括傳統(tǒng)意義上的情態(tài)動詞和助動詞，也包括了謂語動詞、名詞、形容詞、謂語形容詞、副詞、介詞短語和相應(yīng)的小句（clause）。本文主要分析的是馬航MH370官方聲明中謂詞的使用及分布。二、情態(tài)表達(dá)的理論基礎(chǔ)1.
校園英語·下旬 2014年12期2014-10-21
- “逆轉(zhuǎn)理解”——通向中國哲學(xué)范疇真實意涵的特殊路徑
”，接著是一個“謂詞”，“謂詞”可能是一個名詞，一個動詞，一個詞組，或是一個句式，不管形式如何，它們都是對“主詞”的陳述。不過，由于“謂詞”是隨在“主詞”之后的，因而如果“謂詞”是對“主詞”意涵的陳述和說明，那么，這種解釋在方向上就有“逆向”的性質(zhì)，即是由后面的“謂詞”的意涵“逆轉(zhuǎn)”推出前面“主詞”的意涵，這就是所謂“逆轉(zhuǎn)理解”法。根據(jù)我們的觀察，這種理解法相當(dāng)普遍。如下選擇數(shù)個案例展開討論。一、“逆轉(zhuǎn)理解”案例分析本文所說的“逆轉(zhuǎn)理解”，案例遍布中國古代
河南社會科學(xué) 2013年4期2013-04-10
- 一種基于領(lǐng)域知識的XML數(shù)據(jù)模糊查詢
在XPath中用謂詞的形式表示.很明顯，該查詢包含了3個查詢謂詞，分別是“Price at most 300 000”、“Buildyear='Recent'”和“SqFt between 130 and 200”，其中前2個查詢謂詞分別包含了模糊關(guān)系“at most”和模糊詞“Recent”.這里，將包含模糊關(guān)系或模糊詞的查詢謂詞稱為模糊查詢謂詞.如果一個以XPath形式表示的XML查詢中包含了一個或多個模糊查詢謂詞，則稱之為XML模糊查詢.然而，目前的
智能系統(tǒng)學(xué)報 2012年6期2012-11-26
- 基于內(nèi)容的發(fā)布訂閱系統(tǒng)的一種快速匹配算法
則可以表示為一些謂詞的集合。訂閱者可以通過指定其感興趣的謂詞來靈活地訂閱事件。相對于基于主題的發(fā)布/訂閱系統(tǒng)，基于內(nèi)容的發(fā)布/訂閱系統(tǒng)中訂閱的表達(dá)能力得到了很大的提高，但是同時系統(tǒng)中的訂閱數(shù)目也大大增加，匹配的復(fù)雜度大大提高，必須有一個高效的算法來實現(xiàn)訂閱和事件的快速匹配[1]。匹配算法的基本思想是盡量優(yōu)化訂閱結(jié)構(gòu)，減少匹配時訂閱條件中重復(fù)部分的判斷，提高匹配效率。1 相關(guān)研究目前相關(guān)的研究已經(jīng)提出了很多比較有代表性的算法[2-6]。Aguilera等提出
網(wǎng)絡(luò)安全與數(shù)據(jù)管理 2012年2期2012-08-08
- 一種基于規(guī)則的桌面搜索索引機(jī)制
。關(guān)鍵詞：規(guī)則；謂詞；桌面搜索；索引中圖分類號：TP393文獻(xiàn)標(biāo)識碼：A文章編號：1009-3044(2012)07-1521-03A Rule-based Method of Index in Desktop SearchSU Jin-bo, YE Hong(Department of Computer Sci., Anhui Univ., Hefei 230039, China)Abstract: Google, Baidu, Msn and othe
電腦知識與技術(shù) 2012年7期2012-05-08
- “存在”是否謂詞淺析
聲波“存在”是否謂詞淺析張麗，熊聲波“存在是不是謂詞”的爭論由來已久，主要集中于三種結(jié)論：一是以弗雷格、羅素等邏輯學(xué)家為代表，認(rèn)為“存在”不是謂詞，而是量詞。二是皮爾士等人結(jié)合精致的自然語言分析，認(rèn)為“存在”在某些特殊情況下可以充當(dāng)邏輯謂詞，因此它是一種特殊的謂詞。三是自由邏輯學(xué)家認(rèn)為“存在”是謂詞。存在；邏輯謂詞；性質(zhì)“存在”是形而上學(xué)乃至整個西方哲學(xué)最為基本、最為核心的概念。從古代巴門尼德的“存在”本原論、亞里士多德的概念論，中世紀(jì)關(guān)于“上帝存在”的本
重慶科技學(xué)院學(xué)報（社會科學(xué)版） 2011年4期2011-08-15
- 發(fā)布訂閱系統(tǒng)中Carzaniga匹配算法優(yōu)化
多個訂閱可能存在謂詞間的覆蓋關(guān)系，引發(fā)較嚴(yán)重重復(fù)匹配，從而影響匹配效率，導(dǎo)致系統(tǒng)整體性能低。針對上述問題，本文提出改進(jìn)算法，它能同時支持訂閱覆蓋和謂詞覆蓋，實驗表明與Carzaniga相比，本算法能進(jìn)一步減少重復(fù)匹配，提高匹配效率，也提高系統(tǒng)整體性能，更適合應(yīng)用于大規(guī)模的發(fā)布訂閱系統(tǒng)。1 PPSMTBOAD算法描述已有的較有影響的原型系統(tǒng)SIENA采用Carzaniga算法，它利用訂閱間的覆蓋關(guān)系以及合并訂閱思想，減少和事件進(jìn)行匹配的訂閱數(shù)目。算法的基礎(chǔ)思
杭州電子科技大學(xué)學(xué)報(自然科學(xué)版) 2010年2期2010-11-26
- 一種多粒度集群數(shù)據(jù)庫并發(fā)控制新算法
發(fā)控制的粒度達(dá)到謂詞級,并討論各種謂詞的提取方法,既提高全局事務(wù)處理效率,又不需要對局部數(shù)據(jù)庫做任何限制。本文還改進(jìn)了一種以事務(wù)提交圖為中心的并發(fā)事務(wù)調(diào)度算法來保證集群系統(tǒng)中全局事務(wù)的可串行化提交,以增加吞吐率和減少響應(yīng)時間。1 多粒度集群數(shù)據(jù)庫并發(fā)控制算法1.1 集群系統(tǒng)中的事物模型數(shù)據(jù)庫集群系統(tǒng)中的事務(wù)分為兩種:全局事務(wù)和局部事務(wù),我們把只在一個站點上執(zhí)行的事務(wù)稱為局部事務(wù)或本地事務(wù)[6]。定義1:一個提交到某個數(shù)據(jù)庫站點j上的執(zhí)行的事務(wù)Li是局部事務(wù)
河北工程大學(xué)學(xué)報(自然科學(xué)版) 2010年4期2010-10-16
- 基于依存句法分析的中文語義角色標(biāo)注
并提供了更透明的謂詞—論元關(guān)系表達(dá)。因此在基于短語結(jié)構(gòu)句法分析的語義角色標(biāo)注系統(tǒng)遭遇到發(fā)展瓶頸后，研究基于依存結(jié)構(gòu)句法分析的語義角色標(biāo)注更具有現(xiàn)實意義。本文采用英文語義角色標(biāo)注的研究方法，使用中文依存句法分析，構(gòu)建了一個中文語義角色標(biāo)注系統(tǒng)。文章第2部分簡述了基于依存關(guān)系的SRL的相關(guān)工作。第3部分介紹了基于依存句法的中文語義角色標(biāo)注系統(tǒng)，重點描述構(gòu)建系統(tǒng)的各個步驟，基礎(chǔ)特征和擴(kuò)展特征。第4部分給出了各個擴(kuò)展特征的表現(xiàn)，并對實驗結(jié)果進(jìn)行了分析和比較。最后第
中文信息學(xué)報 2010年1期2010-06-05
- 謂詞公式中子句集提取的實現(xiàn)pdf
理中，經(jīng)常需要對謂詞公式進(jìn)行演算，以達(dá)到子句集的表達(dá)，便于以后的推理或證明。本文就是通過二叉樹來實現(xiàn)對任意謂詞公式中的子句的提取，實現(xiàn)對謂詞公式的完善表達(dá)。關(guān)鍵詞：謂詞公式子句集合人工智能推理二叉樹“注：本文中所涉及到的圖表、注解、公式等內(nèi)容請以PDF格式閱讀原文”。
現(xiàn)代經(jīng)濟(jì)信息 2009年8期2009-02-03