Awareness of and awareness that: their combination and dynamics

Awareness of and awareness that: their combination and dynamics
复制标题

认识和意识到:它们的组合和动态

DOI:
10.1093/jigpal/jzz043
复制
发表时间:
2020
影响因子:
1
通讯作者:
F. R. Velázquez
F. R. Velázquez
中科院分区:
数学4区
文献类型:
--
作者:
C. Fernández;F. R. Velázquez

文献摘要

被引文献

相似文献

本文提出了一个逻辑框架,将显性知识的概念表示为意识和意识的结合。这种设置,语义上将邻域模型与意识逻辑的想法结合起来,将娱乐某些信息的事实(意识到$\varphi$)与承认信息确实如此(意识到$\varphi$成立)分开。文本不仅讨论了这些概念在给定的表示下获得的主要属性,而且还讨论了几个可以定义的认知行为,以及它们影响代理人意识(从而影响她的知识)的方式。
The paper proposes a logical framework representing the notion of explicit knowledge as the combination of awareness of and awareness that. The setting, semantically combining neighbourhood models with ideas from awareness logic, separates the mere fact of entertaining some information (being aware of$\varphi$) from the acknowledgement that the information is indeed the case (being aware that$\varphi$ holds). The text discusses not only the main properties these concepts obtain under the given representation, but also several of the epistemic actions that can be defined, and the way they affect the agent’s awareness (and thus her knowledge).