A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems
Journal Title: Journal of Information Systems and Telecommunication - Year 2013, Vol 1, Issue 1
Abstract
In the present paper, a basic proof method is provided for representing the verification, Validation and evaluation of expert systems. The result provides an overview of the basic method for formal proof such as: partition larger systems into small systems prove correctness on small systems by non-recursive means, prove that the correctness of all subsystems implies the correctness of the entire system.
Authors and Affiliations
Armin Ghasem Azar, Zohreh Mohammad Alizadeh
Keywords
Related Articles
- EP ID EP190120
- DOI 10.7508/jist.2013.01.004
- Views 122
- Downloads 0
SIP Vulnerability Scan Framework
The purpose of this paper is to provide a framework for detecting vulnerabilities in SIP (Session Initiation Protocol) networks. We try to find weaknesses in SIP enabled entities that an attacker by exploiting them is ab...
Facial Expression Recognition Using Texture Description of Displacement Image
In recent years, facial expression recognition, as an interesting problem in computer vision has been performed by means of static and dynamic methods. Dynamic information plays an important role in recognizing facial ex...
An Intelligent Algorithm for the Process Section of Radar Surveillance Systems
In this paper, an intelligent algorithm for clustering, intra-pulse modulation detection and separation and identification of overlapping radar pulse train is presented. In most cases, based only on primary features of i...
Early Detection of Pediatric Heart Disease by Automated Spectral Analysis of Phonocardiogram
Early recognition of heart disease is an important goal in pediatrics. Developing countries have a large population of children living with undiagnosed heart murmurs. As a result of an accompanying skills shortage, most...
Extracting Credit Rules from Imbalanced Data: The Case of an Iranian Export Development Bank
Credit scoring is an important topic, and banks collect different data from their loan applicant to make an appropriate and correct decision. Rule bases are of more attention in credit decision making because of their ab...