论无交集偏序集的通联性质
本文介绍了一种将组合子术语表示为证明树的方法,并引入了基于参数化组合子术语定义的证明模式,实现了基于连接结构演算的特征的自动化一阶证明的实现和第一批实验结果。
Sep, 2022
该论文主要探讨了一些逻辑系统及其特性,包括一种基于度量(解析结构)的谓词逻辑系统,其定义了一种新型满足性,是描述具有勒贝格积分和满足紧致性,基本链条件和弱否定的解析结构的逻辑系统中的极大系统。
Feb, 2023
本文将根据实体解析问题(ER),研究匹配和合并函数的性质并基于此将匹配和合并黑盒建模为部分群。通过定义天然偏序,引入四个重要性质并通过选取归纳关系 ,我们证明了部分群是ER的另一种一般设置。
Mar, 2023
提出了一个通用的查询决策框架,基于计数模型的结构简单性,可以确定各种逻辑蕴涵问题(简称查询)的可决性,其中Blumensath的分区宽度作为一个特别强大的宽度度量提出,重点介绍存在规则的形式化,其中分区宽度的规则子域覆盖范式为一周围侧子域。
Apr, 2023
该论文提出了一种新颖的基于拓扑学的方法来研究由 orbite-finite 名义化幺半群可以识别的数据语言。该方法引入了顾及全局支持大小的 pro-orbit-finite 名义化拓扑空间并证明其与名义化 Stone 空间同构,并在其上表征了可识别的数据语言。此外,通过引入重要的名义化 Reiterman 拟变种定理,探讨了 pro-orbit-finite 方程的表达能力。
Apr, 2023
关系概念分析是形式概念分析的扩展,用于处理多个相关情境,该研究报告通过定义可接受的解决方案为概念格的家族,该家族属于初始情境确定的空间,不能扩展新属性,仅涉及家族中的概念,进一步证明这些可接受的解决方案是两个函数的共同不动点。
Oct, 2023
介绍了Birkhoff完成作为最小的分布格,可以将给定的有限格嵌入为半格,并讨论了它与导述理论的关系,特别是与R. Wille的简单导述理论的关系。通过一个示例,展示了Birkhoff完成在序数数据科学中的应用作为工具。
May, 2024
给定一个一阶逻辑句子和一个域,加权一阶模型计数问题通过计算给定逻辑句子的模型在给定域上的加权和来解决该问题。通过关联加权一阶模型计数问题与图多项式,我们定义了一阶逻辑句子的弱连通性多项式和强连通性多项式。这些多项式具有一些有趣的性质,可以在多项式时间内计算,可以用于解决已知可计算的公理以及新的公理,同时可以计算一些重要的图多项式。
Jul, 2024