English
Going forth and drawing back: An intensional approach in nonmonotonic inference
文件大小：
2222k
资源说明：从提供的文件内容中，我们可以提取到以下的知识点，但因为文件内容以引用为主，并未直接提供文章的正文，所以知识点将主要集中在标题和描述上。
1. 非单调推理（Nonmonotonic Inference）：
标题中提到了“非单调推理”，这是一个重要的逻辑学概念，尤其是在人工智能领域。在日常生活中，很多推理是基于已有信息的，并且当新的信息出现时，原先的推论可能会被撤销。这种推理的非单调性意味着某些结论可能并非总是成立，这与单调逻辑形成对比，后者在增加新的前提时不会撤销任何结论。非单调推理的方法和技术在处理不确定和不完整信息时特别有用。
2. 意图方法（Intensional Approach）：
标题还强调了“意图方法”，这是一种处理非单调推理的逻辑方法。在意图逻辑中，关注点从个体的扩展（extensional aspect）转移到了概念的内涵（intensional aspect）。例如，当我们讨论概念“鸟”的时候，我们不仅关注所有的鸟（扩展），而且也关注“鸟”这个概念本身所蕴含的属性和规则（内涵）。这种逻辑方法在处理概念、定义和规则的变化时尤其有用。
3. 逻辑与应用期刊（Journal of Logics and their Applications）：
文件描述中提到了一个期刊《逻辑与应用》（Journal of Logics and their Applications），这是专门发布逻辑学及其应用研究的学术期刊。期刊名称表明了它所覆盖的主题范围，不仅仅包括纯粹的逻辑学理论研究，也包括逻辑学在其他领域的应用研究，比如计算机科学、人工智能、语言学等。
4. Gödel的主论证（Gödel’s Master Argument）：
文件内容提及了“Gödel的主论证”，这个论证可能指的是一系列与数学家库尔特·哥德尔（Kurt Gödel）的工作相关的哲学和逻辑学问题。哥德尔是逻辑学和数学的先驱，尤其是哥德尔不完全性定理在逻辑和哲学领域影响深远。哥德尔的主论证可能指的是他关于不完全性和真理的一系列思想。
5. 期刊引用标识符：
文章中提供了ISSNPRINT和ISSNONLINE两种国际标准期刊编号（ISSN），分别是纸质版和在线版期刊的识别号。这表示文章的出处是经过国际标准识别和归档的学术期刊。
从描述信息中我们可以看出，文章可能讨论了关于非单调推理的逻辑学议题，尤其是关注于一种意图方法。在非单调推理的研究中，逻辑系统需要能够处理新信息和假设的动态变化，更新信念集合并调整结论。意图方法能够深入探讨概念的内涵而非仅仅停留在其外延，对于理解和处理概念变化尤为重要。该论文可能在逻辑学和人工智能领域内具有一定的学术价值和应用意义。
本源码包内暂不包含可直接显示的源代码文件，请下载源码包。
