慕课-坚石实训

逻辑学前沿报告——向量空间、信念基础的逻辑

课程类型：选修课

发布时间：2022-09-27 09:52:28

主讲教师：

课程来源：

建议学分：0.00分

课程编码：xtzx1985

向量空间模型的逻辑（On the Logic of Vector Space Models）

s Introduction （19分钟）

s The basic language and logic （20分钟）

s The semantics and belief revision in the vector space model （20分钟）

s Extension, interpretation and application （25分钟）

信念基础的重新审视（Rethinking Epistemic Logic with Belief Bases）

s Introduction （24分钟）

s A logic of explicit and implicit belief （27分钟）

s Universal Epistemic Model （20分钟）

s Dynamic extensions （27分钟）

STIT理论中的反事实条件句（Counterfactuals in stit with action types）

s Introduction （20分钟）

s Counterfactuals in stit （18分钟）

s Similarity on histories （14分钟）

混合逻辑的推理与完全性(Reasoning and Completeness in Hybrid Logic)

s Introduction （27分钟）

s Syntax, Semantics and Standard Translation （16分钟）

s Hybrid Reasoning （20分钟）

s Completeness （26分钟）

论博弈逻辑（On Game Logic）

s Introduction （22分钟）

s Game logic （22分钟）

s More issues （31分钟）

半真与说谎者 (Half Truth and the Liar)

s Introduction and strict-tolerant （26分钟）

s Absolute adjectives and half truths （20分钟）

归纳学习逻辑（Logics for Inductive Learning）

s Introduction （19分钟）

s Subset Space Logic and Learning Frames （26分钟）

s "Universality" of AGM and the Ockhan Prior （14分钟）

理论选择的难题 —— 一个关于因果推理的案例研究 (The Hard Problem of Theory Choice -- A Case Study of Causal Inference)

s Introduction （19分钟）

s Bayesian Network （18分钟）

s The problem of underdetermination and the old approach to it （20分钟）

s New approach （13分钟）