会员服务
2021 年 3 月 5 日
Logical foundations: Personal perspective
翻译：逻辑依据:个人观点
Yuri Gurevich
Yuri Gurevich

This is an attempt to illustrate the glorious history of logical foundations and to discuss the uncertain future.


翻译：这是试图说明逻辑基础的光荣历史,并讨论不确定的未来。
0
下载
关闭预览

相关内容

Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
78+阅读 · 2020年7月26日
【剑桥大学】统计因果关系的决策理论基础，Decision-theoretic foundations for statistical causality
【剑桥大学】统计因果关系的决策理论基础，Decision-theoretic foundations for statistical causality
专知会员服务
45+阅读 · 2020年5月5日
【PUC-牛津-ICLR2020】图神经网络的逻辑表达性，The Logical Expressiveness of GNN
专知会员服务
28+阅读 · 2020年3月15日
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
专知会员服务
155+阅读 · 2020年1月29日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
57+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
153+阅读 · 2019年10月12日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
176+阅读 · 2019年10月11日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【IJCAI 2019】人工智能中的认知推理（Epistemic reasoning in AI），法国雷恩François Schwarzentruber，Tristan Charrier
【IJCAI 2019】人工智能中的认知推理（Epistemic reasoning in AI），法国雷恩François Schwarzentruber，Tristan Charrier
专知会员服务
21+阅读 · 2019年8月10日
【AAMSA 2019 | tutorial】多智能体系统中的认知推理Epistemic Reasoning In Multiagent Systems ,法国雷恩François Schwarzentruber
【AAMSA 2019 | tutorial】多智能体系统中的认知推理Epistemic Reasoning In Multiagent Systems ,法国雷恩François Schwarzentruber
专知会员服务
23+阅读 · 2019年5月14日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
CCF C类 | DSAA 2019 诚邀稿件
CCF C类 | DSAA 2019 诚邀稿件
Call4Papers
6+阅读 · 2019年5月13日
IEEE | DSC 2019诚邀稿件 (EI检索)
IEEE | DSC 2019诚邀稿件 (EI检索)
Call4Papers
10+阅读 · 2019年2月25日
人工智能 | SCI期刊专刊信息3条
人工智能 | SCI期刊专刊信息3条
Call4Papers
5+阅读 · 2019年1月10日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
计算机类 | LICS 2019等国际会议信息7条
计算机类 | LICS 2019等国际会议信息7条
Call4Papers
3+阅读 · 2018年12月17日
Disentangled的假设的探讨
Disentangled的假设的探讨
CreateAMind
9+阅读 · 2018年12月10日
Hierarchical Disentangled Representations
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
【推荐】免费书(草稿)：数据科学的数学基础
【推荐】免费书(草稿)：数据科学的数学基础
机器学习研究会
20+阅读 · 2017年10月1日
【学习】Hierarchical Softmax
【学习】Hierarchical Softmax
机器学习研究会
4+阅读 · 2017年8月6日
Inspect, Understand, Overcome: A Survey of Practical Methods for AI Safety
Arxiv
0+阅读 · 2021年4月29日
Connecting Instrumental Variable methods for causal inference to the Estimand Framework
Arxiv
0+阅读 · 2021年4月29日
Switched Systems as Hybrid Programs
Arxiv
0+阅读 · 2021年4月29日
Session Logical Relations for Noninterference
Arxiv
0+阅读 · 2021年4月29日
Multi-Agent Reinforcement Learning: A Selective Overview of Theories and Algorithms
Arxiv
1+阅读 · 2021年4月28日
Interspecies information systems
Arxiv
0+阅读 · 2021年4月28日
Optimization for deep learning: theory and algorithms
Optimization for deep learning: theory and algorithms
Arxiv
105+阅读 · 2019年12月19日
Conceptualize and Infer User Needs in E-commerce
Conceptualize and Infer User Needs in E-commerce
Arxiv
3+阅读 · 2019年10月8日
Learning to Speed Up Query Planning in Graph Databases
Arxiv
6+阅读 · 2018年1月21日
Distributed Constraint Optimization Problems and Applications: A Survey
Arxiv
5+阅读 · 2018年1月11日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
相关VIP内容
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
78+阅读 · 2020年7月26日
【剑桥大学】统计因果关系的决策理论基础，Decision-theoretic foundations for statistical causality
【剑桥大学】统计因果关系的决策理论基础，Decision-theoretic foundations for statistical causality
专知会员服务
45+阅读 · 2020年5月5日
【PUC-牛津-ICLR2020】图神经网络的逻辑表达性，The Logical Expressiveness of GNN
专知会员服务
28+阅读 · 2020年3月15日
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
专知会员服务
155+阅读 · 2020年1月29日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
57+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
153+阅读 · 2019年10月12日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
176+阅读 · 2019年10月11日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【IJCAI 2019】人工智能中的认知推理（Epistemic reasoning in AI），法国雷恩François Schwarzentruber，Tristan Charrier
【IJCAI 2019】人工智能中的认知推理（Epistemic reasoning in AI），法国雷恩François Schwarzentruber，Tristan Charrier
专知会员服务
21+阅读 · 2019年8月10日
【AAMSA 2019 | tutorial】多智能体系统中的认知推理Epistemic Reasoning In Multiagent Systems ,法国雷恩François Schwarzentruber
【AAMSA 2019 | tutorial】多智能体系统中的认知推理Epistemic Reasoning In Multiagent Systems ,法国雷恩François Schwarzentruber
专知会员服务
23+阅读 · 2019年5月14日
热门VIP内容
相关资讯
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
CCF C类 | DSAA 2019 诚邀稿件
CCF C类 | DSAA 2019 诚邀稿件
Call4Papers
6+阅读 · 2019年5月13日
IEEE | DSC 2019诚邀稿件 (EI检索)
IEEE | DSC 2019诚邀稿件 (EI检索)
Call4Papers
10+阅读 · 2019年2月25日
人工智能 | SCI期刊专刊信息3条
人工智能 | SCI期刊专刊信息3条
Call4Papers
5+阅读 · 2019年1月10日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
计算机类 | LICS 2019等国际会议信息7条
计算机类 | LICS 2019等国际会议信息7条
Call4Papers
3+阅读 · 2018年12月17日
Disentangled的假设的探讨
Disentangled的假设的探讨
CreateAMind
9+阅读 · 2018年12月10日
Hierarchical Disentangled Representations
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
【推荐】免费书(草稿)：数据科学的数学基础
【推荐】免费书(草稿)：数据科学的数学基础
机器学习研究会
20+阅读 · 2017年10月1日
【学习】Hierarchical Softmax
【学习】Hierarchical Softmax
机器学习研究会
4+阅读 · 2017年8月6日
相关论文
Inspect, Understand, Overcome: A Survey of Practical Methods for AI Safety
Arxiv
0+阅读 · 2021年4月29日
Connecting Instrumental Variable methods for causal inference to the Estimand Framework
Arxiv
0+阅读 · 2021年4月29日
Switched Systems as Hybrid Programs
Arxiv
0+阅读 · 2021年4月29日
Session Logical Relations for Noninterference
Arxiv
0+阅读 · 2021年4月29日
Multi-Agent Reinforcement Learning: A Selective Overview of Theories and Algorithms
Arxiv
1+阅读 · 2021年4月28日
Interspecies information systems
Arxiv
0+阅读 · 2021年4月28日
Optimization for deep learning: theory and algorithms
Optimization for deep learning: theory and algorithms
Arxiv
105+阅读 · 2019年12月19日
Conceptualize and Infer User Needs in E-commerce
Conceptualize and Infer User Needs in E-commerce
Arxiv
3+阅读 · 2019年10月8日
Learning to Speed Up Query Planning in Graph Databases
Arxiv
6+阅读 · 2018年1月21日
Distributed Constraint Optimization Problems and Applications: A Survey
Arxiv
5+阅读 · 2018年1月11日
Top
微信扫码咨询专知VIP会员
Top