关于函数依赖关系的认知逻辑（英文）

对非经典知识,尤其是知道是什么的研究几乎是与对经典的认知逻辑的研究同时开始的,并且近来此类研究又吸引了诸多学者的注意。此种知道是什么算子能用来表达认知主体对个别变量的值的知识,但仅靠其自身却无法表达主体对变量之间的关系的知识。本文尝试提出一种算子来表达主体对变量间的函数关系的知识。不同于相关研究中类似的用于表达函数依赖关系的其它算子,这种算子的语义引入了一个先验函数域,用以表达认知主体对函数依赖关系的先验可能性的限制。我们将讨论该种语义下由不同的先验函数域引出的三种单主体逻辑,然后将其统一到一个逻辑当中并扩充为多主体逻辑。