CORC  > 清华大学
Consistent fuzzy Petri nets model for logic programs with negation
Wang Yang ; Lin Chuang ; Qu Yang ; Li Ya-juan
2010-05-06 ; 2010-05-06
关键词Theoretical or Mathematical/ fuzzy reasoning logic programming Petri nets/ consistent fuzzy Petri net CFPN model fuzzy logic program negation formal reasoning algorithm/ C1230R Reasoning and inference in AI C4240L Logic programming theory C1160 Combinatorial mathematics
中文摘要Fuzzy Petri net (FPN) is an extension of Petri net (PN). Previous research focuses on the representation and reasoning of the fuzzy rules with FPN. However, fuzzy production rules with negative literals can not be expressed and reasoned effectively in traditional methods. The inherent meanings of the negative literals in fuzzy production rules are discussed in this paper, while negations of the input proposition can be represented as the negative impact on the rules, and negations of the consequents can be treated as that the rule blocks the consequents. Based on it, consistent fuzzy Petri net (CFPN) model is proposed, which is more suitable to represent the fuzzy logic programs with negations. Thresholds are also introduced to CFPN model. Finally, a formal reasoning algorithm for the CFPN model is presented and validated.
语种中文 ; 中文
出版者Chinese Inst. Electron ; China
内容类型期刊论文
源URL[http://hdl.handle.net/123456789/9894]  
专题清华大学
推荐引用方式
GB/T 7714
Wang Yang,Lin Chuang,Qu Yang,et al. Consistent fuzzy Petri nets model for logic programs with negation[J],2010, 2010.
APA Wang Yang,Lin Chuang,Qu Yang,&Li Ya-juan.(2010).Consistent fuzzy Petri nets model for logic programs with negation..
MLA Wang Yang,et al."Consistent fuzzy Petri nets model for logic programs with negation".(2010).
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace