A logic of explicit and implicit belief在线视频

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

向量空间模型的逻辑（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

-讲座内容总结

© 柠檬大学-慕课导航 课程版权归原始院校所有，
本网站仅通过互联网进行慕课课程索引，不提供在线课程学习和视频，请同学们点击报名到课程提供网站进行学习。