当前课程知识点:逻辑学前沿报告——向量空间、信念基础的逻辑 > 理论选择的难题 —— 一个关于因果推理的案例研究 (The Hard Problem of Theory Choice -- A Case Study of Causal Inference) > 讲座内容总结 > Introduction
返回《逻辑学前沿报告——向量空间、信念基础的逻辑》慕课在线视频课程列表
Abstract:
After a brief overview of propositional dynamic logic, we will introduce the basics of game logic which was proposed by Rohit Parikh in 1985. Then we will have a brief look at the various variants of game logics that have been studied in the past two decades, and discuss some areas of multi-agent systems where these logics provide a natural way of describing the nuances of the systems. Some flavours of the ensuing logics for strategies will also be provided. Finally, we will consider some topics/questions for further research in this area.
Speaker:
Sujata Ghosh is an Associate Professor at the Computer Science Unit of the Indian Statistical Institute, Chennai (ISI, Chennai). She received her Ph.D. in Pure Mathematics from the University of Calcutta and then went on to do postdoctoral research at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam and at the Institute for Artificial Intelligence and Cognitive Engineering (ALICE) of the University of Groningen, before joining Indian Statistical Institute as faculty. Her research interests include logic, games, information dynamics, social choice and social cognition.
返回《逻辑学前沿报告——向量空间、信念基础的逻辑》慕课在线视频列表
-The semantics and belief revision in the vector space model
-Extension, interpretation and application
-A logic of explicit and implicit belief
-Syntax, Semantics and Standard Translation
-Introduction and strict-tolerant
-Absolute adjectives and half truths
-Subset Space Logic and Learning Frames
-"Universality" of AGM and the Ockhan Prior
-The problem of underdetermination and the old approach to it