信念策略的逻辑
本文介绍了 Epistemic Strategy Logic(ESL) 这一扩展了策略逻辑的框架,它具有个体知识的模态演算符,这使得我们能够更明确地表示和推理代理人对自己和其他代理人策略的知识。我们提供了关于 ESL 的语义,考虑了相应的模型检查问题,发现 ESL 的模型检查复杂度不劣于(非认知的)策略逻辑。
Apr, 2014
本文针对知道该如何做的逻辑进行了研究,并提出了一种多代理版本的表格程序,证明了其完备性与可靠性。此外,该文还表明该逻辑的可满足性问题可以在 PSPACE 中得以解决。
Jul, 2023
该篇论文提出了扩展了传统认知逻辑的单智能体目标导向知识如何逻辑,该逻辑可以代表知道如何实现目标的知识,即存在一种策略,使得该智能体知道它能够确保达成目标。此外,本文还证明了该逻辑的合理性、完备性和可决定性,并提供了一个基于知道和知识如何的直观公理化方法。
May, 2017
该研究提出了一个基于语言学、哲学、模态逻辑和自动规划的单智能体模态逻辑框架来推理关于目标导向的 “知道如何”,首先定义了一个模态语言来表达 “我知道如何保证 phi 在给定 psi 的条件下”,并给出了一个不基于标准认知模型而是标记的转换系统来表示代理人对自己的能力的了解的语义。并且给出了一个完备的证明系统来捕捉关于 “知道如何” 的有效推理模式,其中最重要的公理表明其组合性质。
May, 2015
本文倡议使用分层逻辑理论来表示概率模型,得出这种编码比现有框架如马尔科夫逻辑网络获得的编码更易于解释的结论。它允许使用领域专家通过直接修改逻辑公式来改善学习的模型。
Nov, 2016
定义了一种适用于建模不确定、不完整和不一致信息的可能性析取逻辑编程方法,并介绍了可能性析取子句的使用,该子句能够同时捕捉知识库的不完全信息和不完全状态;同时基于经典答案集语义和可能性逻辑证明理论构建可能性逻辑编程语义,对于不一致可能性逻辑程序的管理,采用偏好标准和切割方法进行篡改,并以医学场景为例进行了说明。
Jun, 2011
本文介绍了新概念的偏见逻辑(Epistemic Syllogistic),并探讨了包含非平凡但自然表达式的认识偏见演绎法。作者还在本文中提出了这些逻辑的多个定理化,并证明了其完整性。
Jul, 2023
该研究提出了适用于可计算算法的逻辑归纳准则,该准则为每个给定形式语言中的逻辑语句分配概率并随时间逐步细化,并通过股票交易类比进行了概述。这一准则可以推导出一些有利的有界理性推理者的特性。
Jul, 2017