【摘 要】
：
溯因推理是发现或揭示事物规律的一种重要推理形式,它是从证据到解释的思考过程,属于以多种条件的不完整信息为特征的推理模式。现代逻辑使用信念修正的概念来刻画溯因推理的
【基金项目】
：
国家社科基金重大项目“现代归纳逻辑的新发展、理论前沿与应用研究”（15ZDB018）.
论文部分内容阅读
溯因推理是发现或揭示事物规律的一种重要推理形式,它是从证据到解释的思考过程,属于以多种条件的不完整信息为特征的推理模式。现代逻辑使用信念修正的概念来刻画溯因推理的动态认知过程,而在众多刻画信念状态的理论中,AGM理论所使用的信念集合论的模型简单、易操作,但其执行力不强,不能更细致地刻画出认知主体对语句信念度的变化以及知识更新等动态认知过程。因此,溯因推理的语义树结构的程序化及其全局策略和局部策略的提出有助于实现信念修正系统形式化,更好地描述其动态认知过程和处理信念修正问题。
其他文献
发展理念是发展行动的先导,具有根本性、方向性和引领性。以习近平同志为核心的党中央提出的创新、协调、绿色、开放和共享的新发展理念将从根本上引领我国经济、社会和环境
2005-2006年国际体联蹦床世界杯系列赛第一站比赛于5月30日-6月5日在保加利亚索非亚举行，本次比赛也是国际体联实施新规则后举办的第一次国际比赛。共有来自18个国家的运动员
一、赛事概况国际体联2007蹦床世界杯中国站比赛，4月25日至29日在江苏省昆山市举行。这是国际体联主办的顶级赛事之一，是2008奥运会前的一次重要比赛，也是我国第一次举办蹦床世
国家蹦床队参加第25届世界蹦床锦标赛和“好运北京”测试赛总结会于12月13日在总局体操中心举行。高健主任、赵郁馨副主任、赵嘉伟部长、唐金山副部长、刘兴教授、科研所李东
诗歌不但是审美的,而且是社会的,所以,诗人的心理环境在某种程度上即是文化政治的副本。虽然是＂自白派＂的中坚力量,但作为一位有着强烈性别意识和政治意识的女诗人,西尔维亚
从2002年中国蹦床队成立到2008年的全面丰收，我们用了6年;从2004年雅典的一枚铜牌到2008年北京的两金1铜．我们用了4年;蹦床队让世界见证了真正的中国速度，让世界领略了中国奇迹
马克思早期的唯心主义思想同客观现实冲突不断,特别是如何看待“物质利益”这个问题,一直是令马克思“苦恼的问题”,到写作《1844年经济学哲学手稿》时期,马克思哲学思想发生
在多哈举行的第15届亚运会上，我国蹦床健儿团结拼搏、不畏强手，经过两天的激烈争夺，包揽了男女个人两枚金牌和银牌，黄珊汕、钟杏平获得女子个人冠军和亚军，阙志城和陆春龙获得男子
C.S.皮尔斯的符号学与当代传播学有着极深的渊源。他对符号与传播问题的诸多重要看法,直接影响着美国传播学研究在20世纪初的发轫,进而被视为当代传播学研究的先驱。但从20世
国际体联蹦床技术委员会会议于2009年4月22—25日在保加利亚首都索菲亚举行，参加此次会议的有：蹦床技术委员会主席：Horst Kunzo（德国）蹦床技术委员会第一副主席：Nikolai Makarov（俄