The Application of Concept Lattice Theory in the Reduction of the Proposition Set in Two-Valued Propositional Logic

LI Li-feng; ZHANG Dong-xiao

您当前的位置：

首页 >

文章列表页 >

The Application of Concept Lattice Theory in the Reduction of the Proposition Set in Two-Valued Propositional Logic

更新时间：2025-07-16

- The Application of Concept Lattice Theory in the Reduction of the Proposition Set in Two-Valued Propositional Logic
- Acta Electronica Sinica Vol. 35, Issue 8, Pages: 1538-1542(2007)
- 作者机构：
  
  1. 西安邮电学院应用数理系,陕西,西安,710121
  2. 集美大学理学院,福建,厦门,361021
  3. 西安邮电学院应用数理系陕西西安,710121
  4. 集美大学理学院福建厦门,361021
- 作者简介：
- 基金信息：
- DOI：
  CLC： O141
- Published：2007
- 稿件说明：
移动端阅览
LI Li-feng, ZHANG Dong-xiao. The Application of Concept Lattice Theory in the Reduction of the Proposition Set in Two-Valued Propositional Logic[J]. Acta Electronica Sinica, 2007, 35(8): 1538-1542.
DOI：

LI Li-feng, ZHANG Dong-xiao. The Application of Concept Lattice Theory in the Reduction of the Proposition Set in Two-Valued Propositional Logic[J]. Acta Electronica Sinica, 2007, 35(8): 1538-1542. DOI：

摘要

概念格的属性约简理论和命题逻辑系统中命题集的约简理论似乎是独立发展的两个研究分支

本文在二值命题逻辑中引入由命题集所诱导的形式背景的概念

并基于此建立了概念格;在二值命题逻辑中提出了命题集的约简理论

即在保持推理能力不变的前提下对中的成员进行约简;运用概念格的方法从及其子集的关系出发给出了约简的判定定理以及求约简的方法.

Abstract

Attribute reduction theory and the -reduction theory in propositional logic arose in two rather different fields.In this paper

by introducing the formal context induced by

the mutual relationship between them are investigated

then the concept lattices are built based on the formal context induced by .The main purpose of this paper is to introduce the theory of -reduction in two-valued propositional logic

which is the minimal set

 such that

(

( ).Several ways to determine the -reduction are studied by investigating the relationship between and their subsets;an algorithm to explore the reduction by concept lattice theory is given.

关键词

Keywords

references

Views

1165

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Horizontal Union Algorithm of Multiple Concept Lattices

Multi-Level Description of Granules From an Outsider’s Perspective

Theory and Algorithm of Concept Lattice Union

A New Visualizing Mining Method of Multi-Valued Attribute Association Rules for Ordinary Users

Canonical Basis for Decision Implications

Related Author

CHENG Wei

XU Xiao-hua

CHEN Ling

LIU Zong-tian

LI Yun

ZHI Hui-lai

ZHANG Li

LI Jin-hai

Related Institution

Institute of Information EngineeringYangzhou UniversityYangzhouJiangsu 225009China

School of Computer ScienceShanghai UniversityShanghai 200072China

Institute of Information Engineering,Yangzhou University

School of Computer Science,Shanghai University

School of Computer Science and Technology, Henan Polytechnic University

⁰