基础辩护模型的尖锐性与单射性质
计算机科学中的逻辑
2017-09-06 v1
摘要
辩护意识模型（Justification Awareness Models, JAMs）由S.~Artemov提出，用于建模如Russell首相例子等认知场景。研究表明，模型的尖锐性与单射性质在JAMs的认知使用中起关键作用。利用命题辩护语言公理化这些性质的问题此前尚未解决。我们提出了解决方案，并定义了一个可判定的辩护逻辑Jref，该逻辑关于所有尖锐单射辩护模型类是可靠且完备的。
引用
@article{arxiv.1709.01316,
title = {On the sharpness and the injective property of basic justification models},
author = {Vladimir N. Krupski},
journal= {arXiv preprint arXiv:1709.01316},
year = {2017}
}