概念格在二值命题逻辑命题集约简中的应用

CORC > 集美大学

	概念格在二值命题逻辑命题集约简中的应用
	李立峰 ; 张东晓
刊名	http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=dzxu200708023&dbcode=CJFQ&dbname=CJFQ2007
	2012-06-05 ; 2012-06-05
关键词	完备性定理形式背景 Γ约简概念格 completely theorem formal context Γ-reduction concept lattice O141
其他题名	The Application of Concept Lattice Theory in the Reduction of the Proposition Set in Two-Valued Propositional Logic
中文摘要	概念格的属性约简理论和命题逻辑系统中命题集的约简理论似乎是独立发展的两个研究分支,本文在二值命题逻辑中引入由命题集Γ所诱导的形式背景的概念,并基于此建立了概念格;在二值命题逻辑中提出了命题集Γ的约简理论,即在保持Γ推理能力不变的前提下对Γ中的成员进行约简;运用概念格的方法从Γ及其子集的关系出发给出了Γ约简的判定定理以及求Γ约简的方法.; 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 Γ0■Γ such that D(Γ0)=D(Γ).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.; 【作者单位】西安邮电学院应用数理系；集美大学理学院陕西西安710121；福建厦门361021；【作者英文名】LI Li-feng1,ZHANG Dong-xiao2 (1.Department of Applied Mathematics and Physics,Xi’an Institute of Posts and Telecommunications,Xi’an,Shaanxi 710121,China;2.School of Sciences,Jimei University.Xiamen,Fujian 361021,China)
语种	中文
内容类型	期刊论文
源URL	[http://ir.calis.edu.cn/hdl/235041/15719]
专题	集美大学
推荐引用方式 GB/T 7714	李立峰,张东晓. 概念格在二值命题逻辑命题集约简中的应用[J]. http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=dzxu200708023&dbcode=CJFQ&dbname=CJFQ2007,2012, 2012.
APA	李立峰,&张东晓.(2012).概念格在二值命题逻辑命题集约简中的应用.http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=dzxu200708023&dbcode=CJFQ&dbname=CJFQ2007.
MLA	李立峰,et al."概念格在二值命题逻辑命题集约简中的应用".http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=dzxu200708023&dbcode=CJFQ&dbname=CJFQ2007 (2012).