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). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论