A Rule-Based System Verification Tool Using a Matrix Approach
Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
project topics
Active In SP

Posts: 2,492
Joined: Mar 2010
18-01-2011, 12:47 PM

This project and implimentation proposes to use matrix formalism for the verification of rule-based systems. The matrix operation is one of the mathematical foundations of Petri Nets. This approach is different from directed hypergraphs and Predicate/Transition net (Pr/T net) in rule-based systems verification. The errors in rule-based systems fall into two parts. One is the syntactic error; the other one is the semantic error. This project and implimentation will focus on semantic errors. Typical semantic errors in a rule-based system consist of four types. They are redundancy, inconsistency, circularity, and incompleteness. This project and implimentation presents a tool implemented in JAVA to verify these semantic errors. The program consists of the following phases. First, the program will normalize the rules into Horn clauses and rearrange these normalized rules. Then, it will transform these rules into matrix form and the verify matrix to find semantic errors. This paper also describes how to build a diagnosis system and use a verification tool to verify the rule base. This diagnosis system will diagnose liver diseases using Chinese Traditional Medicine (CTM). In this paper, chapter one outlines the general concepts of expert systems. Chapter two describes the knowledge base verification. Chapter three discusses more details about semantic errors. The different approaches to verify rule-based systems are described in chapter four. Chapter five describes the matrix approach for rule-based systems. Illustrations are shown in Chapter six. Finally, Chapter seven gives the conclusion.
Use Search at http://topicideas.net/search.php wisely To Get Information About Project Topic and Seminar ideas with report/source code along pdf and ppt presenaion

Important Note..!

If you are not satisfied with above reply ,..Please


So that we will collect data for you and will made reply to the request....OR try below "QUICK REPLY" box to add a reply to this page

Quick Reply
Type your reply to this message here.

Image Verification
Please enter the text contained within the image into the text box below it. This process is used to prevent automated spam bots.
Image Verification
(case insensitive)

Possibly Related Threads...
Thread Author Replies Views Last Post
Last Post: jaseela123
  WCPS Web Based Claims Processing System A PROJECT REPORT study tips 1 494 05-04-2016, 12:33 PM
Last Post: mkaasees
  WEB BASED CLAIM PROCESSING SYSTEM REPORT study tips 1 677 05-04-2016, 12:32 PM
Last Post: mkaasees
  Finding a New Approach to Measure the Operational Value of Intelligence for Military seminar flower 66 1,618 30-11-2015, 05:43 PM
Last Post: Guest
  Maximum Power Point Tracking using Perturb and Observe Algorithm For a PV System seminar flower 8 1,948 17-03-2015, 05:40 AM
Last Post: GT Racing
  Content-based image retrieval (CBIR) System project topics 15 12,438 12-10-2014, 07:19 AM
Last Post: anmol chopra
  SECURITY SYSTEM FOR DNS USING CRYPTOGRAPHY ppt project girl 5 2,531 10-06-2014, 11:39 AM
Last Post: java projects
  Cooperative Provable Data Possession for Integrity Verification in Multi-Cloud Storag seminar flower 3 3,193 23-05-2014, 10:04 AM
Last Post: seminar project topic
  Project Ideas- Hostel Management System Using Oracle mvaravinda 0 2,087 29-10-2013, 05:34 PM
Last Post: mvaravinda
  Web Based Blood Bank Management System project report maker 5 9,668 03-10-2013, 01:22 AM
Last Post: Guest