• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models
【24h】

Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models

机译：认知意识模型的语言双仿真表征和表达层次

获取原文
获取原文并翻译 | 示例
       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The present work studies the expressivity hierarchy of 'static' and 'dynamic' languages over epistemic awareness models by characterizing each language's expressivity with its adequate notion of bisimulation. The studied 'static' languages are based on the operators for implicit and explicit knowledge, implicit and explicit possibility and awareness; the studied 'dynamic' languages extend the 'static' ones with operators that express the effect of the so-called epistemic awareness action models, structures that can represent changes in an agent's knowledge and awareness.
机译：本工作通过运用适当的双仿真概念来表征每种语言的表达能力，从而研究认知知识模型上“静态”和“动态”语言的表达层次。所研究的“静态”语言基于隐性和显性知识，隐性和显性可能性和意识的运算符。所研究的“动态”语言通过运算符扩展了“静态”语言，这些运算符表达了所谓的认知意识行动模型的效果，这种模型可以表示主体知识和意识的变化。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号