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