知道值与公开检查
计算机科学中的逻辑
2017-01-17 v2
摘要
我们提出了一种关于“知道值”的基础动态认知逻辑。类似于标准动态认知逻辑 (DEL) 中的公开宣告，我们研究了“公开检查”，这是一种更新智能体关于常量值知识的新型动态算子。我们利用数据库依赖中著名的 Armstrong 公理，为单智能体和多智能体情形提供了可靠且强完备的公理化。
关键词
引用
@article{arxiv.1609.03338,
title = {Knowing Values and Public Inspection},
author = {Jan van Eijck and Malvin Gattinger and Yanjing Wang},
journal= {arXiv preprint arXiv:1609.03338},
year = {2017}
}