必然算子相关论文
三支概念分析是将三支决策思想引入形式概念分析而产生的数据分析与知识发现的新工具.由于三支概念从同一角度刻画正、负两方面信......
期刊
近来,在机器学习研究领域中,解释学习倍受重视,而其中心机制——解释推广却受限于一阶逻辑,为支持高阶对象和模态概念,本文介绍了......
1 BDI agent的起源在“智能体”(Agent)的研究中引入了许多心理学和人类行为学的概念,一个很有影响的工作来自于1987年Dennett的......
本文给出了模态子句集的标准子句集概念，提出了一种基于标准子句集的模态归结方法的变型，称之为标准模态归结．证明了任意模态子句集恒......
在自然语言中,当然和可行类似于必然和可能表明了两种命题模态。本文对这两类模态(其对应的模态词在形式语言中分别表示为“C”和......
<正>在过去50年中,语言哲学家提出了众多新指称理论,似乎我们对名字有了极好的理解,因为克里普克这样的哲学家让我们相信,名字没有......
