Document Details

Document Type : Article In Journal 
Document Title :
Matrix Verification of Knowledge-Based System
طريقة استخدام المصفوفات للتحقق من صحة انظمة وقواعد المعرفة
 
Subject : mathematics 
Document Language : English 
Abstract : The paper describes a method, which has been designed and implemented, for the verification of rule-base as a matrix and then uses standard matrix transformation to determine the location of errors and anomalies contained within the rule-base, such as duplication, subsumption, circular rule sets, inconsistency, missing links, auxiliary rule sets, and redundancy. It has been demonstrated to be effective and simple. It has a system designed for establishing the context of the environment. The system has four main routines: the loader routine, matrix manipulation routine, and testing routine, and the output routine. The cost of using the system is measured. The method has proved the practicality of automatic computer-based errors detection using matrices. Testing routines have been clarified by examples. The efficiency of the method has been discussed. A comparison has been made between this method and other related methods. 
ISSN : 1012-1319 
Journal Name : Science Journal 
Volume : 13 
Issue Number : 1 
Publishing Year : 1421 AH
2001 AD 
Number Of Pages : 19 
Article Type : Article 
Added Date : Sunday, October 11, 2009 

Researchers

Researcher Name (Arabic)Researcher Name (English)Researcher TypeDr GradeEmail
سعود محمد مغربيSAUD M. A. MAGHRABIResearcher  

Files

File NameTypeDescription
 22536.pdf pdf 

Back To Researches Page