Read full paper at: http://www.scirp.org/journal/PaperInformation.aspx?PaperID=54046#.VOBRQizQrzE Author(s) Behrouz Madahian 1 , Amin Salighehdar 2 , Reza Amini 3 Affiliation(s) 1 Department of Mathematical Sciences, University of Memphis, Memphis, USA . 2 Financial Engineering Department, Stevens Institute of Technology, Hoboken, USA . 3 Department of Computer Science, Florida International University, Miami, USA . ABSTRACT As rule-based systems (RBS) technology gains wider acceptance, the need to create and maintain large knowledge bases will assume greater importance. Demonstrating a rule base to be free from error remains one of the obstacles to the adoption of this technology. In the past several years, a vast body of research has been carried out in developing various graphical techniques such as utilizing Petri Nets to analyze structural errors in rule-based systems, which utilize propositional logic. Four typical errors...
Scientific Research Publishing