意图后承相关硕士博士期刊学术论文 - 搜论网

意图后承相关论文

一个意图后承的形式理论(Ⅱ)——基于相关性的刻画

本文通过引入相关性，给出Lm4c+后承的一个基于经典逻辑概念的形式刻画，进而给出“愿望保持性”和“承诺可传递性”的一个统一的形式......

期刊

意图后承愿望保持性承诺可传递性形式化

一个新的意图后承形式系统Lm5c

建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题，提供了一个新的基于“归约蕴涵”的意图后承形式系统Lm5c，给出了意......

期刊

主体 BDI模型意图后承副作用问题多值逻辑

看过本文同时还关注