• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >The Dynamics of Syntactic Knowledge
【24h】

The Dynamics of Syntactic Knowledge

机译：句法知识的动力学

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

摘要

The syntactic approach to epistemic logic avoids the logical omniscience problem by taking knowledge as primary rather than as defined in terms of possible worlds. In this study, we combine the syntactic approach with modal logic, using transition systems to model reasoning. We use two syntactic epistemic modalities: 'knowing at least' a set of formulae and 'knowing at most' a set of formulae. We are particularly interested in models restricting the set of formulae known by an agent at a point in time to be finite. The resulting systems are investigated from the point of view of axiomatization and complexity. We show how these logics can be used to formalise non-omniscient agents who know some inference rules, and study their relationship to other systems of syntactic epistemic logics, such as Agotnes and Walicki (2004, Proc. 2nd EUMAS, pp. 1-10), Alechina et al. (2004, Proc. 3rd AAMAS, pp. 601-613), Duc (1997, J. Logic Comput., 7, 633-648).
机译：认知逻辑的句法方法通过将知识作为主要知识而不是根据可能世界的定义来避免逻辑全知学问题。在这项研究中，我们将句法与模态逻辑相结合，使用过渡系统对推理进行建模。我们使用两种句法认知方式：“至少知道”一组公式和“最多知道”一组公式。我们对限制代理在某个时间点已知的公式集有限的模型特别感兴趣。从公理化和复杂性的角度研究了生成的系统。我们将展示如何使用这些逻辑来形式化了解某些推理规则的非全能代理，并研究它们与其他语法认知逻辑系统的关系，例如Agotnes和Walicki（2004，Proc。2nd EUMAS，pp。1-10）。 ），Alechina等。 （2004，Proc.3rd AAMAS，pp.601-613），Duc（1997，J.Logic Comput。，7，633-648）。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号