认知谁的逻辑
人工智能
2021-03-04 v2 计算机科学中的逻辑
摘要
本文借助 Grove-Halpern 名称语义，给出将“知道谁”作为一种模态的定义。同时引入一个逻辑系统，描述“知道谁”“知道”以及“对所有主体”这些模态之间的相互作用。主要技术成果是所提系统的完备性定理。
关键词
引用
@article{arxiv.2012.06651,
title = {Epistemic Logic of Know-Who},
author = {Sophia Epstein and Pavel Naumov},
journal= {arXiv preprint arXiv:2012.06651},
year = {2021}
}
备注
To appear in Proceedings of 35th AAAI Conference on Artificial Intelligence (AAAI 21), February 2-9, 2021