人工智能“上海高地”建设如火如荼

“大模型大家都在做，但今年开始大家的方向转向了多模态逻辑。原来大家做语言大模型的时候输入的都是文本，现在我们把视频、文本和语言一起接入大模型，这样我们才能让AI与现实世界进行实时互动。”商汤科技展台工作人员给记者举了一个例子，“你可以这样理解，原来大模型看不见，只能说话，现在我们把大模型的眼睛也打...

逻辑学专业培养目标和发展方向

该专业对数学、政治等科目要求较高,适合具有严谨的逻辑思想、对计算机科学和哲学有兴趣的学生就读。考研方向包括逻辑学、中国哲学、外国哲学、法律(非法学)等。在课程设置方面,主要课程包括数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、应用逻辑、逻辑史、逻辑哲学、程序语...

千行百业齐“赴宴” 人工智能“上海高地”建设如火如荼

“大模型大家都在做，但今年开始大家的方向转向了多模态逻辑。原来大家做语言大模型的时候输入的都是文本，现在我们把视频、文本和语言一起接入大模型，这样我们才能让AI与现实世界进行实时互动。”商汤科技展台工作人员给记者举了一个例子，“你可以这样理解，原来大模型看不见，只能说话，现在我们把大模型的眼睛也打...

图博弈的设计与模态逻辑的发展

就模态逻辑而言,范本特姆及其合作者们给出了新的模态逻辑对蓄意破环博弈中主体的行为进行研究。[5]这个逻辑在基本的模态逻辑之上添加了新的非标准模态算子■来刻画图的更改,即,描述当一条边(一个有序对(x,y))从当前的可达关系中被删除后,在当前点上哪些句子为真。旅行者的必胜策略与下面的模态算子模式相...

爱摄影,更爱真理!他回到北大教逻辑!

近年来系统性地提出并推动了关于“知道是否”、“知道如何”、“知道为何”等知识表达式的新一代知识逻辑的研究,提出了量词与模态词结合的“打包算子”的思想,并由此发现了一系列新的一阶模态逻辑的可判定片段,以及直觉主义逻辑等非经典逻辑的认知语义。学术研究之外,着力推动逻辑学在中国的学术共同体建设,曾担任两届...

罗素VS 科普尔斯顿神父世纪大辩论,:上帝是否存在?

科神父从偶然性出发的证明,涉及模态逻辑(www.e993.com)2024年11月18日。安瑟尔谟论证,哥德尔论证,普兰丁格论证都是模态逻辑的。而罗素是从分析的命题和事实的命题展开的,这个二分在蒯因那里被称为经验主义的一个教条,作为经验主义阵营的罗素当然会从这个入手消解分析命题的永真难题,所以就有了他的摹状词理论等等。

逻辑系统 | 是什么,让你沉迷于烧脑的推理小说却不能自拔?

当我们在研究一个逻辑的时候,如命题逻辑、谓词逻辑、模态逻辑...我们需要研究什么?至此,我们已经学习完了命题逻辑的所有内容,我们在这里尝试通过回顾命题逻辑的学习路径,来为大家展示一个逻辑系统从无到有,从粗糙到严格,再到对这个系统本身进行考察的过程。这一过程也就是在逻辑学领域内,对任何一个逻辑系统进行研究...

王路:逻辑与哲学——亚里士多德和弗雷格给我们的启示

第一种情况十分清楚,它属于逻辑研究,其结果可以推动逻辑自身的发展。这方面有很多例子,最典型的就是模态逻辑。第二种情况不太清楚:研究逻辑问题,得到的结果却不是逻辑的,似乎有些不可思议。第四种情况与此相似:对非逻辑问题的研究会得到逻辑的结果,似乎也不可思议。如今应用逻辑方法进行研究的地方很多,从我有限的...