摘要：對非經(jīng)典知識，尤其是“知道是什么”的研究幾乎是與對經(jīng)典的認(rèn)知邏輯的研究同時開始的，并且近來此類研究又吸引了諸多學(xué)者的注意。此種“知道是什么”算子能用來表達(dá)認(rèn)知主體對個別變量的值的知識，但僅靠其自身卻無法表達(dá)主體對變量之間的關(guān)系的知識。本文嘗試提出一種Kf算子來表達(dá)主體對變量間的函數(shù)關(guān)系的知識。不同于相關(guān)研究中類似的用于表達(dá)函數(shù)依賴關(guān)系的其它算子，這種Kf算子的語義引入了一個先驗函數(shù)域，用以表達(dá)認(rèn)知主體對函數(shù)依賴關(guān)系的先驗可能性的限制。我們將討論該種語義下由不同的先驗函數(shù)域引出的三種單主體邏輯，然后將其統(tǒng)一到一個邏輯當(dāng)中并擴充為多主體邏輯。