關(guān)于函數(shù)依賴關(guān)系的認(rèn)知邏輯

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