当前课程知识点:逻辑学前沿报告——向量空间、信念基础的逻辑 >  理论选择的难题 —— 一个关于因果推理的案例研究 (The Hard Problem of Theory Choice -- A Case Study of Causal Inference) >  讲座内容总结 >  Introduction

返回《逻辑学前沿报告——向量空间、信念基础的逻辑》慕课在线视频课程列表

Introduction在线视频

Introduction

Abstract:This talk will introduce a new logical system in which formulas represent "effects" (e.g. of assertions), such that these "effects" correspond formally to vectors. In a slogan: meaning is a vector. The theory involves a deductive system, a semantics with an appropriate notion of logical consequence, and extensions to inductive logic and belief revision. The resulting system allows for a probabilistic and a neural network interpretation, and it can be applied to reconstruct some well-known problems and puzzles from cognitive psychology and computational linguistics.


Speaker: Hannes Leitgeb is Chair of Logic and Philosophy of Language at LMU Munich, where he also co-directs the Munich Center of Mathematical Philosophy. His main areas of research are logic, epistemology, general philosophy of science, philosophy of language, philosophy of mathematics, philosophy of cognitive science, and the history of logical empiricism. He is the editor-in-chief of Erkenntnis. More information can be found at https://www.mcmp.philosophie.unimuenchen.de/people/faculty/hannes_leitgeb/index.html.


返回《逻辑学前沿报告——向量空间、信念基础的逻辑》慕课在线视频列表

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

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

-讲座内容总结

Introduction笔记与讨论

也许你还感兴趣的课程:

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