
Be the first to like this
Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our User Agreement and Privacy Policy.
Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our Privacy Policy and User Agreement for details.
Published on
It is important to find optimal solutions for structural errors in rulebased expert systems .Solutions to
discovering such errors by using model checking techniques have already been proposed, but these
solutions have problems such as state space explosion. In this paper, to overcome these problems, we
model the rulebased systems as finite state transition systems and express confliction and
unreachabilityas Computation Tree Logic (CTL) logic formula and then use the technique of model
checking to detect confliction and unreachability in rulebased systems with the model checker UPPAAL.
Clipping is a handy way to collect and organize the most important slides from a presentation. You can keep your great finds in clipboards organized around topics.
Be the first to comment