在线期刊

2005年第3期[人工智能逻辑]

    • (郭佳宏)·更新模型下一类推理难题的形式化解释

      近几十年来,逻辑学家们的兴趣发生了较大的变化,他们已经把认知动作和过程作为中心问题来研究,即所谓的“动态转向”。其中主要的流派有动态认知逻辑、更新逻辑、信念修正和分支时间等。van Benthem等[vBen01],[vBen03]研究了“公共宣称”的转换模式;B...[详细]

版权声明:社科网的所有在线期刊内容均由各期刊编辑部根据协议提供。 任何个人、机构、网站如未经本网书面授权,私自复制或转载本网中的图片、文字,均将被视为侵权行为。此类行为一经发现,本网将依据《中国人民共和国版权法》和《互联网管理条例》,追究侵权者的责任。