谎言、欺骗及相关概念的形式逻辑刻画

Toni Heidenreich

谎言、欺骗及相关概念的形式逻辑刻画

计算机科学中的逻辑 2016-12-30 v1 人工智能多智能体系统

作者: Toni Heidenreich

摘要

以形式化方式定义各种不诚实概念是使智能体能够在不可信环境中行动的关键步骤。本综述通过考察基于模态逻辑的形式定义以及其他形式化方法，评估该主题的文献。利用哲学基础的标准来评估这些定义的正确性和完整性。本综述的主要贡献是指出仅有少数定义完全符合这一黄金标准，并指明在这些定义实际应用于智能体环境之前所缺失的步骤。

关键词

形式逻辑模态逻辑不诚实概念谎言欺骗智能体形式化定义

引用

@article{arxiv.1612.08845,
  title  = {The formal-logical characterisation of lies, deception, and associated notions},
  author = {Toni Heidenreich},
  journal= {arXiv preprint arXiv:1612.08845},
  year   = {2016}
}

备注

Literature review prepared as a student at King's College London

谎言、欺骗及相关概念的形式逻辑刻画

摘要

关键词

引用

备注

相关论文