欢迎来到坚石实训平台
问题答疑
首页
全部课程
公开课
云课直播
数图资源
更多
首页
全部课程
公开课
云课直播
数图资源
扫码下载Android
扫码下载iOS
教师登录
学生登录
首页
全部课程
公开课
云课直播
数图资源
教师登录
学生登录
首页 - 课程列表 - 课程详情
返回
逻辑学前沿报告——向量空间、信念基础的逻辑
课程类型：
选修课
发布时间：
2022-09-27 09:52:28
主讲教师：
课程来源：
建议学分：
0.00分
课程编码：
xtzx1985
课程介绍
课程目录
教师团队
向量空间模型的逻辑（On the Logic of Vector Space Models）
Introduction
（19分钟）
The basic language and logic
（20分钟）
The semantics and belief revision in the vector space model
（20分钟）
Extension, interpretation and application
（25分钟）
信念基础的重新审视 （Rethinking Epistemic Logic with Belief Bases）
Introduction
（24分钟）
A logic of explicit and implicit belief
（27分钟）
Universal Epistemic Model
（20分钟）
Dynamic extensions
（27分钟）
STIT理论中的反事实条件句（Counterfactuals in stit with action types）
Introduction
（20分钟）
Counterfactuals in stit
（18分钟）
Similarity on histories
（14分钟）
混合逻辑的推理与完全性(Reasoning and Completeness in Hybrid Logic)
Introduction
（27分钟）
Syntax, Semantics and Standard Translation
（16分钟）
Hybrid Reasoning
（20分钟）
Completeness
（26分钟）
论博弈逻辑（On Game Logic）
Introduction
（22分钟）
Game logic
（22分钟）
More issues
（31分钟）
半真与说谎者 (Half Truth and the Liar)
Introduction and strict-tolerant
（26分钟）
Absolute adjectives and half truths
（20分钟）
归纳学习逻辑（Logics for Inductive Learning）
Introduction
（19分钟）
Subset Space Logic and Learning Frames
（26分钟）
"Universality" of AGM and the Ockhan Prior
（14分钟）
理论选择的难题 —— 一个关于因果推理的案例研究 (The Hard Problem of Theory Choice -- A Case Study of Causal Inference)
Introduction
（19分钟）
Bayesian Network
（18分钟）
The problem of underdetermination and the old approach to it
（20分钟）
New approach
（13分钟）
