Multi-valued logic programming semantics an algebraic approach
作者: Bamshad MobasherDon PigozziGiora Slutzki
作者单位: 1Department of Computer Science, University of Minnesota, 200 Union Street S.E., Minneapolis, MN 55455, USA
2Department of Mathematics, Iowa State University, USA
3Department of Computer Science, Iowa State University, USA
刊名: Theoretical Computer Science, 1997, Vol.171 (1), pp.77-109
来源数据库: Elsevier Journal
DOI: 10.1016/S0304-3975(96)00126-0
原始语种摘要: Abstract(#br)In this paper we introduce the notion of join-irreducibility in the context of bilattices and present a procedural semantics for bilattice based logic programs which uses, as its basis, the join-irreducible elements of the knowledge part of the bilattice. The join-irreducible elements in a bilattice represent the “primitive bits” of information present within the system. In bilattices which have the descending chain property in their knowledge ordering, these elements provide a small representative set completely characterizing the bilattice. The overall complexity of the inference systems based on such bilattices can thus be reduced by restricting attention to the join-irreducible elements.
全文获取路径: Elsevier  (合作)
影响因子:0.489 (2012)

  • elements 初步
  • algebraic 代数的
  • approach 
  • information 报告
  • logic 逻辑
  • system 
  • irreducibility 既约性
  • semantics 语义学
  • provide 规定
  • their 他们的