Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto
Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto
复制标题
表示、推理和关系结构：混合逻辑宣言
作者：
P. Blackburn
本文主要讨论了模态逻辑的优点和缺点，以及混合逻辑如何扬长避短。本质上，模态逻辑是处理关系结构（或多重图）的简单形式。但是模态逻辑没有机制来引用或推理这种结构中的单个节点，这降低了它作为表示形式主义的有效性。在其最简单的形式中，混合逻辑是升级的模态逻辑，其中可以引用单个节点。但混合逻辑是一种相当不寻常的模式升级。它将一个简单的想法推向极致：将所有信息表示为公式。事实证明，这是将各种各样的工作（例如，特征逻辑、描述逻辑和标签演绎）结合在一起的关键。此外，它以一种新的视角展示了许多知识表示问题，特别是排序的重要性。
This paper is about the good side of modal logic, the bad side of modal logic, and how hybrid logic takes the good and fixes the bad. In essence, modal logic is a simple formalism for working with relational structures (or multigraphs). But modal logic has no mechanism for referring to or reasoning about the individual nodes in such structures, and this lessens its effectiveness as a representation formalism. In their simplest form, hybrid logics are upgraded modal logics in which reference to individual nodes is possible. But hybrid logic is a rather unusual modal upgrade. It pushes one simple idea as far as it will go: represent all information as formulas. This turns out to be the key needed to draw together a surprisingly diverse range of work (for example, feature logic, description logic and labelled deduction). Moreover, it displays a number of knowledge representation issues in a new light, notably the importance of sorting.