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

逻辑学前沿报告——向量空间、信念基础的逻辑课程：前往报名学习

逻辑学前沿报告——向量空间、信念基础的逻辑视频慕课课程简介：

本课程通过一系列讲座向学生介绍逻辑学最新的研究现状，前沿问题，以及逻辑学与不同学科交叉的研究课题。每次讲座由一位知名学者讲授其最新的研究成果，包括研究的动机、语言和语义，形式系统与技术结果。本课程适合不同领域（哲学、数学、计算机、语言学、经济学等）有一定逻辑学基础的同学参加。

前往报名学习

逻辑学前沿报告——向量空间、信念基础的逻辑课程列表：

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

-Introduction

-The basic language and logic

-The semantics and belief revision in the vector space model

-Extension, interpretation and application

-讲座内容总结

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

-Introduction

-A logic of explicit and implicit belief

-Universal Epistemic Model

-Dynamic extensions

-讲座内容总结

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

-Introduction

-Counterfactuals in stit

-Similarity on histories

-讲座内容总结

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

-Introduction

-Syntax, Semantics and Standard Translation

-Hybrid Reasoning

-Completeness

-讲座内容总结

论博弈逻辑（On Game Logic）

-Introduction

-Game logic

-More issues

-讲座内容总结

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

-Introduction and strict-tolerant

-Absolute adjectives and half truths

-讲座内容总结

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

-Introduction

-Subset Space Logic and Learning Frames

-"Universality" of AGM and the Ockhan Prior

-总结讲座内容

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

-Introduction

-Bayesian Network

-The problem of underdetermination and the old approach to it

-New approach

-讲座内容总结

逻辑学前沿报告——向量空间、信念基础的逻辑开设学校：清华大学

也许你还感兴趣的课程: