结果：找到“模态逻辑”相关内容5个，排序为按回复时间降序，搜索更多相关帖子请点击“高级”
2019年中国社会科学院社科院考博真题博士研究生入学考试试题2 个回复 - 8620 次查看 2019年中国社会科学院社科院考博真题博士研究生入学考试试题 下载地址如下： 更多中国社会科学院社科院考博真题清单如下 ...2020-6-19 06:42 - todaytheo - 现金交易版
精化模态逻辑
0 个回复 - 184 次查看 摘要翻译： 本文提出{em精化模态逻辑}。一个精化就像一个双模拟，除了从三个关系需求中只需要满足“原子”和“返回”。我们的逻辑包含一个新的运算符'all'，除了标准的模式'box'为每个代理。运算符“all”在给定模型 ...2022-3-10 08:36 - nandehutu2022 - Forum
0 个回复 - 184 次查看 摘要翻译： 本文提出{em精化模态逻辑}。一个精化就像一个双模拟，除了从三个关系需求中只需要满足“原子”和“返回”。我们的逻辑包含一个新的运算符'all'，除了标准的模式'box'为每个代理。运算符“all”在给定模型 ...2022-3-10 08:36 - nandehutu2022 - Forum
信念函数的概率解释
多模态逻辑
0 个回复 - 535 次查看 摘要翻译： 虽然信念函数在形式上可以看作是概率分布的推广，但信念函数与概率之间的相互作用问题在实践中仍然是一个问题。这个问题很困难，因为这些理论的使用背景明显不同，这些理论背后的语义也不完全相同。冲突信 ...2022-3-8 17:01 - 大多数88 - Forum
0 个回复 - 535 次查看 摘要翻译： 虽然信念函数在形式上可以看作是概率分布的推广，但信念函数与概率之间的相互作用问题在实践中仍然是一个问题。这个问题很困难，因为这些理论的使用背景明显不同，这些理论背后的语义也不完全相同。冲突信 ...2022-3-8 17:01 - 大多数88 - Forum
简单类型理论中量化多模态逻辑的自动化--一个案例
学习
0 个回复 - 303 次查看 摘要翻译： 在一个案例研究中，我们研究了是否可以使用现成的高阶定理证明器和模型生成器来自动化量化多模态逻辑中和关于量化多模态逻辑的推理。在我们的实验中，我们开发了新的TPTP基础结构，用于经典的高阶逻辑。 ...2022-3-7 19:10 - 大多数88 - Forum
0 个回复 - 303 次查看 摘要翻译： 在一个案例研究中，我们研究了是否可以使用现成的高阶定理证明器和模型生成器来自动化量化多模态逻辑中和关于量化多模态逻辑的推理。在我们的实验中，我们开发了新的TPTP基础结构，用于经典的高阶逻辑。 ...2022-3-7 19:10 - 大多数88 - Forum
简单型理论中的量化多模态逻辑
0 个回复 - 282 次查看 摘要翻译： 我们给出了一个简单类型理论中量化多模逻辑的直接嵌入，并证明了它的合理性和完备性。模态运算符被一种可能世界上的量化所取代。我们给出了简单的实验，使用现有的高阶定理证明器，以证明嵌入允许自动证明 ...2022-3-7 13:11 - 何人来此 - Forum
0 个回复 - 282 次查看 摘要翻译： 我们给出了一个简单类型理论中量化多模逻辑的直接嵌入，并证明了它的合理性和完备性。模态运算符被一种可能世界上的量化所取代。我们给出了简单的实验，使用现有的高阶定理证明器，以证明嵌入允许自动证明 ...2022-3-7 13:11 - 何人来此 - Forum
