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 120
- Downloads 0
Data Aggregation Tree Structure in Wireless Sensor Networks Using Cuckoo Optimization Algorithm
Wireless sensor networks (WSNs) consist of numerous tiny sensors which can be regarded as a robust tool for collecting and aggregating data in different data environments. The energy of these small sensors is supplied by...
Camera Identification Algorithm Based on Sensor Pattern Noise Using Wavelet Transform, SVD / PCA and SVM Classifier
Identifying the source camera of an image is one of the most important issues of digital court and is useful in many applications, such as images that are presented in court as evidence. In many methods, the image noise...
Effects of Wave Polarization on Microwave Imaging Using Linear Sampling Method
Linear Sampling Method (LSM) is a simple and effective method for the shape reconstruction of unknown objects. It is also a fast and robust method to find the location of an object. This method is based on far field oper...
Low Distance Airplanes Detection and Tracking Visually using Spectral Residual and KLT Composition
This paper presents the method for detection and tracking airplanes which can be observed visually in low distances from sensors. They are used widely for some reasons such as military or unmanned aerial vehicle (UAV) be...
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...