更新时间:-- | 阅读量: 61
是研究含有知道、认可等模态词的命题和它们之间的关系而建立相应的知道逻辑推理系统的...在知道逻辑中，用符号“：”表示“知道”，“：P”表示“知道P真”，用符号“%”表示“认可”，“%P”表示“认可P真”。有关知道的命题大体上分为知道命题与 ...
搜索到与“ “知道”逻辑”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
