一阶语言相关论文
本文是 John McCarthy 在1984年 AAAI 会议上的主题发言。McCarthy 提出需要确立 AI 研究的衡量准则,以推动 AI 基础研究。这些准......
词项周延性的一阶语言定义陈慕泽（中国人民大学哲学系）本文尝试在一阶逻辑中给出词项（一元谓词）周延性的一个形式定义，以克服传统逻辑在......
首先我想说一说我心目中的哲学,哲学各有各的说法。我感到哲学是认识世界的整体观或综合观和大全。下面我从我想做一个哲学家说起......
在开放逻辑中,令Γ是假说,A为语句使得ΓA且A受到事实反驳,本文给出了Γ关于A的事实反驳的R-重构不多于n的充要条件,作为推论我们......
证明了有限多扩充性质蕴涵布尔可表达性质 ,当每个集合都没有多扩充时 ,推导关系也是Boole可表达的 .缺省推理中的定义方式可以推......
该文定义了一种多论域逻辑演算语言—子目标演绎语言SDL。它是古典一阶语言的一个变型。文中以SDL语言作为描述抽象数据结构及程序......
机器学习和发现需要我们对当代科学哲学的思想和方法进行形式化．本文介绍了Ｌａｋａｔｏｓ方法论的基本思想，并通过二阶受限Ｔａｂｌｅａｕ来实现Ｌａｋａｔｏｓ方法论的形式化系......
通常的逻辑学教材都会讲到一阶语言是一种形式语言，但是所讲的形成规则一般都是规定什么是公式，而非如何构造公式。而本文从乔姆斯基......
本文将每个ＡＴＭＳ Ｋ转化为一阶语言ＬＫ的模型ＭＫ，模型ＭＫ是语言ＬＫ的一阶理论ＴＫ的模型，应用非单调推理理论中的谓词限定的技巧，可以构造出ＬＫ的理论ＴＫ＾ＰＣ，使得ＭＫ是ＴＫ＾ＰＣ的唯......
本文以α型为基本工具研究代数问题,给出了Abian结果的一个进一步的结果,并给出了域上的无限线性方程组有解的一些判定准则.......
引入两个引理分析了一阶语言中赋值的性质，简化了项的代入定理的证明，新的证明过程更能反映一阶语言的结构和等价的赋值之间的关系．......
W·奎因认为他的本体论许诺的判据是中性的,即根据这一判据我们能够揭示任何概念系统所蕴涵的本体论的假设。作者认为奎因的这......
在模型论语义下,一个公式是否具有有穷模型往往和可计算性相关。但是我们也可以仅仅从基数的角度来观察,譬如在一阶语言里,是什么......
本文简要地讨论向量空间的逻辑基础,说明向量空间是精确地建立在最简单的公理组的基础上的.我从三方面加以阐述:(1)以向量空间作为......
双生子佯谬是狭义相对论中的典型效应,匈牙利学者Madarász等人在《双生子佯谬及相对论的逻辑基础》一文中首先阐述了双生子佯谬与......
