Context逻辑相关论文
本文定义了一个新的context逻辑-QLC(quantificational logic of context),它能反映context的更多的逻辑性质。文中还讨论了含等词的QLC以及当领域公理相关不同context序列时的推理,并引入了McCarthy的限......
本文为Buvac的context逻辑定义了一个二阶扩充SOQLC,它能为许多常识现象提供更简单自然的描述。......
基于文(1)定义的context逻辑CL,本文分别引入限制理论和缺省理论到context推理中,给出有关的定义和定理。......