arXiv cs/01060292001-06-12cs.LOcs.DBcs.DS

在应用开发环境ADE中用描述逻辑构造视图

Building Views with Description Logics in ADE: Application Development Environment

Larissa Ismailova, Sergey Kosikov, Konstantin Zinchenko, Alexey Mikhaylov, Lioubouv Bourmistrova, Anastassiya Berezovskaya

发表信息：: Proceedings of the 2-nd International Workshop on Computer Science and Information Technologies CSIT'2000, Ufa, Yangantau, Russia, 2000. Vol.1, pp. 153--161

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

任何视图都是在描述逻辑中形式化定义的，描述逻辑被建立为用于对复杂遗传结构进行建模的逻辑族，并且具有适当的表达能力。本文认为，应用程序开发环境（ADE）的广义变量的概念，用于建立数据库应用程序，涉及支持的意见。前端用户通过单独的ADE访问机制与数据库交互，ADE访问机制由视图支持作为中介。可以生成与数据仓库中的不同且相异的桌面数据库通信的各种应用。高级技术允许涉及远程或存储过程检索和调用。

英文摘要：

Any of views is formally defined within description logics that were established as a family of logics for modeling complex hereditary structures and have a suitable expressive power. This paper considers the Application Development Environment (ADE) over generalized variable concepts that are used to build database applications involving the supporting views. The front-end user interacts the database via separate ADE access mechanism intermediated by view support. The variety of applications may be generated that communicate with different and distinct desktop databases in a data warehouse. The advanced techniques allows to involve remote or stored procedures retrieval and call.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

论逻辑的余代数观

On a coalgebraic view on Logic

在本文中，我们提出了从一个角度对逻辑过渡到其他方法，并特别适用于获得一个coalgebraic表示的逻辑。这个过程的核心要素是将结果关系视为范畴中的态射。

2012-02-04cs.LOmath.LO

关于逻辑程序设计的说明性阅读的一点注记

A note on the Declarative reading(s) of Logic Programming

本文分析了逻辑程序设计的说明性阅读。逻辑编程--以及作为失败的否定--没有唯一的声明性阅读。一个普遍的观点是，逻辑编程是默认推理的逻辑，默认逻辑或自动认知逻辑的子形式主义。在这种观点中，作为失败的否定是一个模态算子。在另一种观点中，逻辑程序被解释为定义。在这种观点中，作为失败的否定是经典的客观否定。从常识的角度来看，这两种观点肯定是有区别的。令人惊讶的是，这两种类型的声明性阅读都导致了相同的模型语义。本说明调查了这一情况的原因。

2000-03-13cs.AIcs.LO

I/O逻辑的几何观

A geometrical view of I/O logic

我们描述了一个几何帐户的I/O逻辑提出的梅金森和范德托瑞。对最简单的I/O操作simple-minded进行了可靠性和完备性分析，并且仅在有限的情况下。在这个帐户上，生成器充当晶格内的“跳跃”。

2019-11-28cs.LO

反应时态逻辑

Reactive Temporal Logic

虽然标准的处理时间逻辑是足够的封闭系统，没有运行时与他们的环境相互作用，他们没有反应系统，通过同步的动作与他们的环境进行交互。本文介绍了反应时态逻辑，一种适用于反应系统研究的时态逻辑形式。我说明了它的使用，应用它来制定一个公平的调度定义，和一个正确的互斥协议。这些概念之前的定义在概念上更加复杂或不太精确，导致了关于给定协议是否满足隐含要求的争论。

2020-08-31cs.LO

关于认知逻辑程序中的认知否定与世界观

About epistemic negation and world views in Epistemic Logic Programs

DISIM - Università dell’Aquila（DISIM - 阿奎拉大学）

在本文中，我们认为认知逻辑程序，扩展回答集编程（ASP）与“认知运营商”和“认知否定”，以及最近的方法，这样的程序的语义世界观。我们提出一些意见的存在和数量的世界观。我们将展示如何利用扩展的ASP语义，以便：（一）提供一个表征的世界观，不同于现有的;（二）查询世界观和查询整个世界观。

2019-07-30cs.AIcs.LO

从经典逻辑视角看一种次协调逻辑

A classical-logic view on a paraconsistent logic

本文研究次协调一阶逻辑 LPQ$^{\supset,\mathsf{F}}$，提出其自然演绎证明系统，通过嵌入一阶经典逻辑提供模型论与逻辑论证，并探讨其可判定性及逻辑性质，揭示其与经典逻辑的紧密联系。

2025-09-16cs.LOmath.LO

更多相关论文收起更多论文

量子计算中一种可逆测量的逻辑解释

Logical Interpretation of a Reversible Measurement in Quantum Computing

我们给出了一种新的量子测量的逻辑描述，这种测量是由一个假设的内部观察者进行的可逆操作，或者说是在一个量子空间背景（如模糊球）中进行的量子测量.其结果是，非矛盾和排中律都失效了，导致了一个次协调的对称逻辑。我们的猜想是，在这种情况下，人们可以开发出足够的量子计算逻辑。标准量子逻辑的作用则被限制在描述投射测量方案。

2005-02-08cs.LOmath-phmath.LO

霍尔类逻辑的分类法：使用谓词变换器和带顶与测试的克林代数迈向整体视图

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests

该研究通过谓词变换器和TopKAT视角分析多种霍尔类逻辑，构建其关系分类法并关注不同程序假设下的关联，还首次得到里斯本逻辑的TopKAT刻画。

2024-11-28cs.LOcs.PL

描述逻辑ALCP中的概率推理与最大熵原理（完整版）

Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy (Full Version)

Free University of Bozen-Bolzano（博尔扎诺自由大学）；University of Osnabrück（奥斯纳布吕克大学）

知识表示的核心问题是如何对不确定性知识进行合理的编码和处理。我们介绍的概率描述逻辑ALCP，是专为表示上下文相关的知识，其中发生的实际情况是不确定的。ALCP允许对域的逻辑依赖和对可能上下文的概率依赖的表达。为了得出概率结论，我们采用最大熵原理。我们提供了推理算法，这种逻辑，并表明它满足概率逻辑的几个理想的属性。

2016-06-30cs.AIcs.LO

认知逻辑程序：一种不同的世界观

Epistemic Logic Programs: A Different World View

认知逻辑程序（ELP）是回答集程序设计（ASP）的一种扩展，它引入了认知算子，近年来又受到了研究界的关注。传统上，评估ELP会产生一组世界观，每个世界观都是一组答案集。在本文中，我们提出了另一种世界观的定义，将它们表示为三值赋值，其中每个原子可以总是真，总是假，或者都不是。基于几个例子，我们表明，这个定义是自然和直观的。我们还研究了这些新语义的相关计算特性，并探讨了其他概念，如强等价，是如何受到影响的。

2019-09-18cs.CCcs.LO

用自认知平衡逻辑建立世界观

Founded World Views with Autoepistemic Equilibrium Logic

udc（拉科鲁尼亚大学）；irit（图卢兹研究所）

Gelfond在1991年（G91）定义了认知规范（或程序），它是在引入主观文字的稳定模型语义下逻辑程序设计的扩展。主观文字允许检查某些常规文字在程序的所有（或部分）稳定模型中是否为真，这些模型收集在一个名为世界视图的集合中。一个认知程序可能会产生几种世界观，但在最初的G91语义学下，其中一些来自自我支持的推导。在过去的八年里，已经提出了几种替代方法来摆脱这些自我支持的世界观。不幸的是，他们的成功只能通过研究文献中的一组常见例子来衡量，因为没有正式的“自我克制”属性被定义。为了填补这一空白，我们在本文中扩展的概念，从标准的逻辑编程的认知情况下的无基集。我们定义了当一个世界观是建立在一些程序，并提出了任何语义的世界观总是成立的foundedness属性。使用反例，我们解释说，以前的方法违反成立性，并着手提出一个新的语义的基础上结合摩尔的自认知逻辑和皮尔斯的平衡逻辑。主要结果证明，这种新的语义准确地捕捉到了一套成立的G91世界观。

2019-02-20cs.AIcs.LO

探索二维空间：一种动态逻辑观点

Exploring the bidimensional space: A dynamic logic point of view

我们提出了一个家庭的逻辑推理代理的位置和运动在平面上有几个潜在的应用领域的多智能体系统（MAS），如多智能体规划和机器人。最一般的逻辑包括（i）原子公式，用于表示给定事实的真实性或给定代理在平面的某个位置的存在，（ii）原子程序，对应于平面中的四个基本方向（上，下，左，右）以及命题动态逻辑的四个程序构造（顺序组合，非确定性组合，迭代和测试）。由于这种逻辑是不可计算的，我们研究了它的一些有趣的可判定和可公理化的片段，并给出了一个可判定的扩展，它的无迭代片段通过表示智能体在平面上运动的特殊程序来实现。

2017-02-06cs.AIcs.LO

依赖逻辑复杂性的参数化观点

A Parameterized View on the Complexity of Dependence Logic

本文研究了团队语义学领域中一种成熟的逻辑--依赖逻辑的模型检验的参数化复杂性。我们从这个问题的九个直接参数化的列表开始，即：分裂）/（自由）变量/全称量词，公式大小，输入结构的Gaifman图的树宽度，宇宙/团队的大小，以及依赖原子的arity。我们提出了一个全面的图片参数化的复杂性的模型检验，并获得了一个划分的问题，分为易处理和各种棘手的程度。此外，我们还考虑了复杂性的最重要的变量（数据和表达式的复杂性）的模型检验问题，通过固定部分的输入。

2021-09-20cs.LO

基本直觉主义条件逻辑的证明论视角（扩展版）

A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)

本文从证明论角度研究基本直觉主义条件逻辑，为IntCK引入嵌套演算、为CCKbox引入矢列演算，并在此基础上定义带might算子的保守扩张CCK，给出其模型类、公理化及若干扩张结果。

2025-07-03cs.LO

描述逻辑推理的参数化复杂性观点

A Parameterized Complexity View on Description Logic Reasoning

Institute for Logic, Language and Computation（逻辑、语言与计算研究所）；University of Amsterdam（阿姆斯特丹大学）

描述逻辑是一种知识表示语言，它被设计成在表达性和计算易处理性之间取得平衡。许多不同的描述逻辑已经被开发出来，并且这些逻辑的许多计算问题由于它们的计算复杂性而被研究。然而，基本上所有的复杂性分析的推理问题的描述逻辑使用的经典复杂性理论的一维框架。参数化复杂性理论的多维框架能够提供推理问题复杂性的更详细的图像。在本文中，我们认为，参数化复杂性的框架有很多可以提供的描述逻辑推理问题的复杂性分析-当一个人需要一个渐进的和前瞻性的观点参数化的复杂性工具。我们通过三个案例研究来证实我们的论点。第一个案例研究的问题是概念可满足的逻辑ALC关于近无环的TBox。第二个案例研究关注ALC概念的可满足性，其参数由联合算子的出现次数和完全存在量化的出现次数来确定。第三个案例研究从参数化复杂性的角度对数据复杂性结果进行了批判性的审视。这三个案例研究代表了描述逻辑问题的参数化复杂性方法的广泛应用。

2018-08-11cs.AIcs.CCcs.LO

一个带逻辑算子的过程演算

A Process Calculus with Logical Operators

为了将规范的操作和逻辑风格结合在一个统一的框架中，Lüttgen和Vogler在[TCS 373（1-2）：19-40; Inform.计算（& C）208：845-867]。与通常的LTS相比，本文引入了逻辑LTS上的两个逻辑构造器$\wedge$和$\vee$来描述规范的逻辑组合。目前，这类框架已经得到了相当深入的研究，但过程代数式的方法尚未涉及，逻辑LTS上构造函数的公理化也没有。本文试图沿着这个方向发展吕特根和Vogler的工作。我们将提出一个逻辑LTS（CLL，简称）的进程演算。语言CLL详细探讨了从两个不同的，但等价的观点。基于行为视图，采用就绪模拟的概念对精化关系进行形式化描述，发展了行为理论。基于证明论的观点，给出了一个可靠的、基础完备的CLL公理系统，它通过（不）方程律来捕获CLL中的算子。

2012-12-11cs.LO

机器辅助下的次协调

A machine-assisted view of paraconsistency

对于新手来说，次协调逻辑可能很难掌握。即使是逻辑专家也会发现副协调的概念是可疑的或被误导的，如果不是实际上错误的话。问题是，尽管它们通常与更熟悉的逻辑（如直觉主义逻辑或经典逻辑）有许多共同之处，但次协调逻辑在逻辑领域的其他部分必然不一致，人们可能认为这些部分不值得讨论。因此，一个人的逻辑直觉可能需要重新校准，以巧妙地与超协调性一起工作。在开始之前，我们应该清楚地认识到次协调逻辑的可能性以及次协调逻辑所指向的区别的一致性。为此，人们通常会遇到涉及两个以上真假值的矩阵来表征合适的结果关系。在双值怀疑论者的眼中，这种方法可能看起来可疑。即使是一个不怀疑的人也会怀疑是否还有其他方法。为此，在自动推理技术的帮助下探索次协调逻辑的基本概念。这种方法有其优点，因为通过将一些逻辑工作委托给机器，人们的逻辑“偏见”变得外在化。其结果是一种新的方式来欣赏的区别，次协调逻辑点确实是真实的。我们的方法甚至可以为次协调逻辑社区提出新的问题。

2013-12-16cs.LOmath.LO

反策略引导的GR精化（1）时序逻辑规范

Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications

无功综合问题是找到一个有限状态控制器，满足给定的时间逻辑规范，而不管其环境的行为。开发一个正式的规格说明是一个具有挑战性的和乏味的任务，初始规格说明往往是不可实现的。在许多情况下，无法实现的根源是缺乏对系统环境的充分假设。本文考虑通过对环境添加假设来自动纠正线性时态逻辑的广义反应性（1）片段中给出的不可实现规范的问题。当一个时间逻辑规范是不可实现的，合成算法计算一个反策略作为证人。然后，我们的算法分析这种反策略，并合成一组候选环境假设，可用于从环境的可能行为中删除反策略。我们证明了我们的方法与几个案例研究的适用性。

2013-08-19cs.FLcs.LO

判断集结的抽象代数逻辑观

An Abstract Algebraic Logic View on Judgment Aggregation

在本文中，我们提出了抽象代数逻辑（AAL）作为一般的逻辑框架的判断聚合。我们的主要贡献是一个广义的赫茨伯格的代数方法来表征的结果在判断聚合和命题态度聚合，表征某些Arrovian类聚合布尔代数和MV-代数同态，分别。本文的刻画结果适用于任意自延逻辑的公式议程。这个概念来自AAL，包含了大量的逻辑，其中经典逻辑、直觉逻辑、模态逻辑、多值逻辑和关联逻辑都是特例。AAL的一般理论将一类唯一的代数$\Alg\Sm$规范地关联到每个自扩张逻辑$\Sm$。我们表明，对于任何自扩展逻辑$\Sm$，使$\Alg\Sm$是封闭的直积下，任何代数$\Alg\Sm$可以采取的真值集上的聚合问题可以制定。通过这种方式，在经典，直觉，模态，多值和相关逻辑形式化的议程上的判断聚合可以被统一地捕获为特例。这为系统研究由复杂公式组成的广泛的“现实议程”铺平了道路，这些公式的命题连接词的解释方式偏离了它们的经典解释。正如迪特里希所观察到的，这一点特别有趣，因为逻辑连接词的非经典（虚拟）解释可以提供一种逃避不可能结果的策略。

2016-03-27cs.LO

经典条件句和直觉条件句的另一种组合

Another Combination of Classical and Intuitionistic Conditionals

一方面，经典逻辑是一个非常成功的理论，即使不是完美的。另一方面，直觉主义逻辑无疑是最重要的非经典逻辑之一。但是，一种逻辑的支持者如何看待另一种逻辑？本文着重讨论其中一个方向，即古典主义者如何看待直觉主义逻辑。为此，我们引入了积极的直觉主义逻辑的扩展，语义和证明理论，并建立健全和强完备性。此外，我们还讨论了析取的有趣地位，以及经典逻辑与最小逻辑结合的可能性。我们还比较了我们的系统与卡尔斯鲁厄和拉莫斯的系统。

2022-04-14cs.LO

线性框架模态逻辑中 Craig 插值的非均匀视角

A non-uniform view of Craig interpolation in modal logics with linear frames

King's College London（伦敦国王学院）；University of Liverpool（利物浦大学）；Birkbeck, University of London（伦敦大学伯贝克学院）

针对线性传递框架上的模态逻辑缺乏 Craig 插值性质的问题，提出非均匀方法研究插值存在性判定问题，证明对包含 K4.3 的有限公理化逻辑该问题可判定且为 coNP-完全。

2026-06-18cs.LOmath.LO

从逻辑观点看量子测量

Quantum Measurements from a Logical Point of View

我们引入了一个逻辑模型的测量过程的行为的某些方面，在这样一种方式，没有直接提到的量子态，从而避免了相关的问题，而回避的概念。然后，我们研究这种逻辑的模型的一些性质，并推导出任何模型（因此，任何与其预言相容并依赖于测量概念的量子力学公式）都应该验证的一些特征。我们得到的主要结果是，在希尔伯特空间的维数至少为3的情况下，使用加强的Kochen-Specker定理，我们表明，没有模型可以导致一定的预测一个以上的原子的结果。此外，如果希尔伯特空间是有限维的，那么我们能够精确地描述我们逻辑的任何模型的预测结构。特别地，我们证明了我们的逻辑的所有模型确实对给定的结果序列是否可能做出了完全相同的预测，因此只要考虑结果的可能性，量子力学就可以被认为是完备的。

2015-11-05cs.LOmath.LOquant-ph

证明论语义学的普世观

An ecumenical view of proof-theoretic semantics

本文将逻辑普世主义与证明论语义学相结合，构建了一个经典逻辑与直觉主义逻辑及其证明概念能够共存的统一框架，为解决两者的哲学争议提供了新视角。

2025-04-03cs.LOmath.LO

命题证明复杂性的有限模型论视角

A Finite-Model-Theoretic View on Propositional Proof Complexity

本文建立了命题证明系统（如Horn归结、有界宽度归结、有界次多项式演算）与有限模型论中不动点逻辑之间的紧密对应关系，并利用这些联系为多项式演算证明下界提供了新工具。

2022-06-13cs.LO

从计算逻辑看Heinrich Behmann对二阶量词消去的贡献

Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic

Technische Universität Dresden（德累斯顿工业大学）

对于关系一元公式（Löwenheim类），二阶量词消去，这是密切相关的计算一致插值，投影和遗忘-操作，目前受到关注的知识处理-总是成功的。Heinrich Behmann从1922年开始对这个类的可判定性证明是通过等价保持公式重写的消元法进行的。在这里，我们重建的结果从Behmann的出版物的详细和讨论相关的问题，在现代方法的背景下，二阶量词消去在计算逻辑。此外，广泛的文件的信件和手稿在贝曼的遗赠，关注二阶量词消去，包括一个评论登记册和英文摘要的德语来源，重点是技术材料。在20世纪20年代后期，Behmann试图为谓词的元数大于1的公式开发一种基于消除的决策方法。他的手稿和与威廉·阿克曼的通信显示了今天仍然感兴趣的技术方面，并深入了解了阿克曼1935年的里程碑式论文“Untersuchungen über das Eliminationsproblem der mathematischen Logik”的起源，该论文奠定了两种流行的现代二阶量词消去方法的基础。

2017-12-19cs.AIcs.LO

有限结构极限的对偶理论观点

A duality theoretic view on limits of finite structures

Nesetril和Ossona de Mendez发展了有限模型结构极限的系统理论。它是基于这样的见解，即有限结构的集合可以通过他们称为Stone配对的映射嵌入到测量空间中，在那里可以计算出所需的限制。我们表明，一个密切相关的，但更细粒度的措施空间出现--通过斯通-普里斯特利对偶和模型理论的类型的概念--通过丰富的表达能力的一阶逻辑与某些“概率算子”。我们提供了一个健全的和完整的演算，这个扩展的逻辑，并揭示了这个建设的函子性质。其后果是双重的。一方面，我们确定了结构极限理论的逻辑依据。另一方面，我们的建设表明，二重性理论的斯通配对的变体捕获添加一层量词，从而使一个强有力的链接到最近的工作半环量词在逻辑上的话。在这个过程中，我们将类型的模型论概念确定为这一联系背后的统一概念。这些结果有助于弥合链的逻辑在计算机科学侧重于语义和算法和复杂性相关的领域，分别。

2020-01-07cs.FLcs.LOmath.LO