解释非单调推理

• 作者: 胡光华
• 来源期刊: 国外科技新书评介
• 学科: 工学
• 关键词: 非单调推理 非单调逻辑 常识推理 研究论文 形式方法 作者 编程
• 年，卷（期）: 2007,（3）
• 页码范围: 13-14
• 页数: 2页
• 分类号: TP18

摘要

本书是《逻辑进展丛书》的第4卷。在非单调和常识推理领域中的许多方法实际上是对相同基本概念与结构的不同表示。正如本书作者于2001年出版的前一本书那样，这本研究论文试图系统地回答“什么是非单调推理？”这个问题，它是对作者前一本书的补充，给出了非单调推理原始方法的逻辑形式化。非单调推理包括默认逻辑、自认识和模态、非单调逻辑以及编程。作者把这种方法称为解释非单调逻辑，这是因为解释的概念可以被看作为这些非单调形式方法背后的最终以及统一的基础。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡光华	原中国科学院物理学研究所	254	0	0.0	0.0