会员服务
模态 · 人工智能 ·
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
下载
关闭预览

相关内容

经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
专知会员服务
158+阅读 · 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
专知会员服务
74+阅读 · 2019年12月2日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
182+阅读 · 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
专知会员服务
22+阅读 · 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
专知会员服务
24+阅读 · 2019年5月14日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
Call for Participation: Shared Tasks in NLPCC 2019
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
概率论之概念解析：边缘化（Marginalisation）
概率论之概念解析：边缘化（Marginalisation）
专知
14+阅读 · 2018年1月31日
"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日
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日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
模态
人工智能
相关VIP内容
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
专知会员服务
158+阅读 · 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
专知会员服务
74+阅读 · 2019年12月2日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
182+阅读 · 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
专知会员服务
22+阅读 · 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
专知会员服务
24+阅读 · 2019年5月14日
热门VIP内容
相关资讯
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
Call for Participation: Shared Tasks in NLPCC 2019
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
概率论之概念解析：边缘化（Marginalisation）
概率论之概念解析：边缘化（Marginalisation）
专知
14+阅读 · 2018年1月31日
相关论文
"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日
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日
Top
微信扫码咨询专知VIP会员
Top