負文字

機器學習算法中“學習規則”中形式邏輯中的基本術語。

基本介紹

• 中文名：負文字
• 外文名：negative literal

機器學習算法中，“學習規則”中“形式邏輯中的基本術語。

例如，在“一階規則”的“一階Horn子句”中，所有的表達式由常量，變數，謂詞符號以及函式符號組成。謂詞和函式的區別在於謂詞只能取值真或假，而函式的取值可為任意常量。對於這些符號，可構造如下表達式：項（term）是任意常量、任意變數或套用到任意向上的任意函式。一個文字（literal）是套用到項上的任意謂詞或其否定。如果文字包含否定符號（¬），將其稱為“負文字”（negative literal），否則稱為“正文字”（positive literal）。