Construction of Logical Structures on Specialization Systems
Construction of Logical Structures on Specialization Systems
复制标题
专业化系统逻辑结构的构建
DOI：
10.1109/wict.2011.6141389
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Ekawit Nantajeewarawat
中科院分区：
文献类型：
--
作者：
K. Akama;Ekawit Nantajeewarawat
专门化系统是一种公理结构，用于指定一组原子公式和对它们的一组专门化操作。本文对逻辑结构的概念进行了形式化处理，提出了逻辑结构构造的三种基本方法，即由专门化系统生成逻辑结构、构造合取逻辑结构和逻辑结构变形。给出了该框架在一阶逻辑、子句形式逻辑和基本描述逻辑中的实例。描述了该框架在理解不同逻辑系统和逻辑结构扩展方面的优点。
A specialization system is an axiomatic structure for specifying a set of atomic formulas and a set of specialization operations on them. This paper formalizes the concept of logical structure and presents three basic ways of logical structure construction, i.e., generating a logical structure from a specialization system, constructing a conjunctive logical structure, and logical structure morphing. Instantiations of the proposed framework in the context of first-order logic, clausal-form logic, and a basic description logic are illustrated. The merits of the framework in understanding different logical systems and logical structure extension are described.