会员服务
模态 · 人工智能 ·
2020 年 12 月 11 日
Epistemic Logic of Know-Who
翻译：认识谁的人的创世逻辑
Sophia Epstein,Pavel Naumov
Sophia Epstein,Pavel Naumov
from arxiv, To appear in Proceedings of 35th AAAI Conference on Artificial Intelligence (AAAI 21), February 2-9, 2021

The paper suggests a definition of "know who" as a modality using Grove-Halpern semantics of names. It also introduces a logical system that describes the interplay between modalities "knows who", "knows", and "for all agents". The main technical result is a completeness theorem for the proposed system.


翻译：本文提出了一个“知道是谁”的定义,作为使用Grove-Halpern地名的语义表达方式的一种方式。它还引入了一个逻辑系统,描述“知道谁”、“知道”和“所有代理商”的模式之间的相互作用。主要的技术结果是拟议系统的完整性理论。
0
下载
关闭预览

相关内容

不可错过！MASON最新《贝叶斯推断与决策理论》课程，附PPT下载
不可错过！MASON最新《贝叶斯推断与决策理论》课程，附PPT下载
专知会员服务
31+阅读 · 2020年12月25日
【DeepMind】强化学习教程，83页ppt
【DeepMind】强化学习教程，83页ppt
专知会员服务
152+阅读 · 2020年8月7日
迁移学习简明教程，11页ppt
迁移学习简明教程，11页ppt
专知会员服务
107+阅读 · 2020年8月4日
Fariz Darari简明《博弈论Game Theory》介绍，35页ppt
Fariz Darari简明《博弈论Game Theory》介绍，35页ppt
专知会员服务
109+阅读 · 2020年5月15日
因果图，Causal Graphs，52页ppt
因果图，Causal Graphs，52页ppt
专知会员服务
246+阅读 · 2020年4月19日
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
专知会员服务
155+阅读 · 2020年1月29日
【知识图谱简史】A Brief History of Knowledge Graph's Main Ideas: A tutorial
【知识图谱简史】A Brief History of Knowledge Graph's Main Ideas: A tutorial
专知会员服务
73+阅读 · 2019年12月2日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
【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日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
Call for Participation: Shared Tasks in NLPCC 2019
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
IEEE | DSC 2019诚邀稿件 (EI检索)
IEEE | DSC 2019诚邀稿件 (EI检索)
Call4Papers
10+阅读 · 2019年2月25日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
视频超分辨 Detail-revealing Deep Video Super-resolution 论文笔记
视频超分辨 Detail-revealing Deep Video Super-resolution 论文笔记
统计学习与视觉计算组
17+阅读 · 2018年3月16日
概率论之概念解析：边缘化（Marginalisation）
概率论之概念解析：边缘化（Marginalisation）
专知
14+阅读 · 2018年1月31日
计算机类 | 期刊专刊截稿信息9条
计算机类 | 期刊专刊截稿信息9条
Call4Papers
4+阅读 · 2018年1月26日
强化学习 cartpole_a3c
强化学习 cartpole_a3c
CreateAMind
9+阅读 · 2017年7月21日
【今日新增】IEEE Trans.专刊截稿信息8条
【今日新增】IEEE Trans.专刊截稿信息8条
Call4Papers
7+阅读 · 2017年6月29日
Deterministic CONGEST Algorithm for MDS on Bounded Arboricity Graphs
Arxiv
0+阅读 · 2021年2月16日
"From What I see, this makes sense": Seeing meaning in algorithmic results
Arxiv
0+阅读 · 2021年2月15日
Bayesian Posterior Interval Calibration to Improve the Interpretability of Observational Studies
Arxiv
0+阅读 · 2021年2月15日
Multi-Class Unsourced Random Access via Coded Demixing
Arxiv
0+阅读 · 2021年2月15日
Linear functional regression with truncated signatures
Arxiv
0+阅读 · 2021年2月12日
Qualifying Software Engineers Undergraduates in DevOps -- Challenges of Introducing Technical and Non-technical Concepts in a Project-oriented Course
Qualifying Software Engineers Undergraduates in DevOps -- Challenges of Introducing Technical and Non-technical Concepts in a Project-oriented Course
Arxiv
0+阅读 · 2021年2月12日
Efficient q-Integer Linear Decomposition of Multivariate Polynomials
Arxiv
0+阅读 · 2021年2月12日
Aleatoric and Epistemic Uncertainty in Machine Learning: An Introduction to Concepts and Methods
Aleatoric and Epistemic Uncertainty in Machine Learning: An Introduction to Concepts and Methods
Arxiv
15+阅读 · 2020年4月3日
Improving Visual Question Answering by Referring to Generated Paragraph Captions
Improving Visual Question Answering by Referring to Generated Paragraph Captions
Arxiv
7+阅读 · 2019年6月14日
Advancing the State of the Art in Open Domain Dialog Systems through the Alexa Prize
Advancing the State of the Art in Open Domain Dialog Systems through the Alexa Prize
Arxiv
5+阅读 · 2018年12月27日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
模态
人工智能
相关VIP内容
不可错过！MASON最新《贝叶斯推断与决策理论》课程，附PPT下载
不可错过！MASON最新《贝叶斯推断与决策理论》课程，附PPT下载
专知会员服务
31+阅读 · 2020年12月25日
【DeepMind】强化学习教程，83页ppt
【DeepMind】强化学习教程，83页ppt
专知会员服务
152+阅读 · 2020年8月7日
迁移学习简明教程，11页ppt
迁移学习简明教程，11页ppt
专知会员服务
107+阅读 · 2020年8月4日
Fariz Darari简明《博弈论Game Theory》介绍，35页ppt
Fariz Darari简明《博弈论Game Theory》介绍，35页ppt
专知会员服务
109+阅读 · 2020年5月15日
因果图，Causal Graphs，52页ppt
因果图，Causal Graphs，52页ppt
专知会员服务
246+阅读 · 2020年4月19日
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
专知会员服务
155+阅读 · 2020年1月29日
【知识图谱简史】A Brief History of Knowledge Graph's Main Ideas: A tutorial
【知识图谱简史】A Brief History of Knowledge Graph's Main Ideas: A tutorial
专知会员服务
73+阅读 · 2019年12月2日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
【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内容
相关资讯
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
Call for Participation: Shared Tasks in NLPCC 2019
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
IEEE | DSC 2019诚邀稿件 (EI检索)
IEEE | DSC 2019诚邀稿件 (EI检索)
Call4Papers
10+阅读 · 2019年2月25日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
视频超分辨 Detail-revealing Deep Video Super-resolution 论文笔记
视频超分辨 Detail-revealing Deep Video Super-resolution 论文笔记
统计学习与视觉计算组
17+阅读 · 2018年3月16日
概率论之概念解析：边缘化（Marginalisation）
概率论之概念解析：边缘化（Marginalisation）
专知
14+阅读 · 2018年1月31日
计算机类 | 期刊专刊截稿信息9条
计算机类 | 期刊专刊截稿信息9条
Call4Papers
4+阅读 · 2018年1月26日
强化学习 cartpole_a3c
强化学习 cartpole_a3c
CreateAMind
9+阅读 · 2017年7月21日
【今日新增】IEEE Trans.专刊截稿信息8条
【今日新增】IEEE Trans.专刊截稿信息8条
Call4Papers
7+阅读 · 2017年6月29日
相关论文
Deterministic CONGEST Algorithm for MDS on Bounded Arboricity Graphs
Arxiv
0+阅读 · 2021年2月16日
"From What I see, this makes sense": Seeing meaning in algorithmic results
Arxiv
0+阅读 · 2021年2月15日
Bayesian Posterior Interval Calibration to Improve the Interpretability of Observational Studies
Arxiv
0+阅读 · 2021年2月15日
Multi-Class Unsourced Random Access via Coded Demixing
Arxiv
0+阅读 · 2021年2月15日
Linear functional regression with truncated signatures
Arxiv
0+阅读 · 2021年2月12日
Qualifying Software Engineers Undergraduates in DevOps -- Challenges of Introducing Technical and Non-technical Concepts in a Project-oriented Course
Qualifying Software Engineers Undergraduates in DevOps -- Challenges of Introducing Technical and Non-technical Concepts in a Project-oriented Course
Arxiv
0+阅读 · 2021年2月12日
Efficient q-Integer Linear Decomposition of Multivariate Polynomials
Arxiv
0+阅读 · 2021年2月12日
Aleatoric and Epistemic Uncertainty in Machine Learning: An Introduction to Concepts and Methods
Aleatoric and Epistemic Uncertainty in Machine Learning: An Introduction to Concepts and Methods
Arxiv
15+阅读 · 2020年4月3日
Improving Visual Question Answering by Referring to Generated Paragraph Captions
Improving Visual Question Answering by Referring to Generated Paragraph Captions
Arxiv
7+阅读 · 2019年6月14日
Advancing the State of the Art in Open Domain Dialog Systems through the Alexa Prize
Advancing the State of the Art in Open Domain Dialog Systems through the Alexa Prize
Arxiv
5+阅读 · 2018年12月27日
Top
微信扫码咨询专知VIP会员
Top