Rough Petri nets model (RPNM) for knowledge representation, rule generation, and reasoning is presented in this paper. An algorithm for verifying the consistency of a rough knowledge base through a set of reduction rules that preserve the properties of the RPNM is presented. In addition and based on the RPNM, an efficient algorithm is proposed to perform rough reasoning automatically. Keyword Reasoning, Petri net, rough sets, rule generation, knowledge-based system
Hala S. Own