Epistemic Actions as Resources
Epistemic Actions as Resources
复制标题
作为资源的认知行动
DOI：
10.1093/logcom/exm015
复制
发表时间：
2007
影响因子：
0.7
通讯作者：
Baltag A
中科院分区：
文献类型：
--
作者：
Baltag A
我们提供代数语义以及健全且完整的序列演算，用于由于认知行为而进行信息更新。这种语义足够灵活，可以容纳不完整和错误的信息，例如由于秘密和欺骗以及嵌套知识。我们对泥泞的儿童难题进行了纯代数处理，并且扩展到了允许孩子撒谎和欺骗的情况。认知行为，即主体之间的信息交换，被建模为量子的元素。 Quantale 作用于认知命题和事实的基础 Q-right 模块。认知内容由外观图编码，每个智能体有一对（松散）态射，分别保留模块和量子结构。通过附加作用，它们产生了认知模式，捕获了代理人关于命题和行动的知识。该模块的作用是认知更新，并产生动态模式——参见。最弱的前提条件。该模型包含了巴尔塔格、莫斯和索莱茨基动态认知逻辑的关键片段，以建设性的方式对其进行抽象，同时在认知行为中引入资源敏感结构。
We provide an algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommodate incomplete as well as wrong information e.g. due to secrecy and deceit, as well as nested knowledge. We give a purely algebraic treatment of the muddy children puzzle, which moreover extends to situations where the children are allowed to lie and cheat. Epistemic actions, that is, information exchanges between agents, are modeled as elements of a quantale. The quantaleacts on an underlying Q-right moduleof epistemic propositions and facts. The epistemic content is encoded by appearance maps, one pairandof (lax) morphisms for each agent, which preserve the module and quantale structure respectively. By adjunction, they give rise to epistemic modalities, capturing the agents' knowledge on propositions and actions. The module action is epistemic update and gives rise to dynamic modalities—cf. weakest precondition. This model subsumes the crucial fragment of Baltag, Moss and Solecki's dynamic epistemic logic, abstracting it in a constructive fashion while introducing resource-sensitive structure on the epistemic actions.
登录
查看更多内容
DOI：
10.1016/0020-0190(87)90106-2
发表时间：
1987-01
期刊：
Inf. Process. Lett.
影响因子：
--
作者：
C. Hoare;J. He
通讯作者：
C. Hoare;J. He
直觉主义与经典模态逻辑之间的关系
影响因子：
0.5
作者：
F. Wolter;M. Zakharyaschev
通讯作者：
M. Zakharyaschev
线性逻辑中知识的推理：模态和复杂性
影响因子：
1.5
作者：
M. Marion;M. Sadrzadeh
通讯作者：
M. Sadrzadeh
时态代数
DOI：
10.1007/978-0-387-39940-9_387
发表时间：
2009
期刊：
Microeconomic Theory eJournal
影响因子：
--
作者：
A. Tansel
通讯作者：
A. Tansel
影响因子：
1.5
作者：
A. Baltag;L. Moss
通讯作者：
A. Baltag;L. Moss