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

A Model for Mobile Code Computing Paradigms in Computer Networks

This paper presents a reliable model for mobile codes in distributed networks, which represents reliable mobile agent execution. The model ensures non-blocking mobile agent execution and forces the once property without...

Performance Analysis of SVM-Type Per Tone Equalizer Using Blind and Radius Directed Algorithms for OFDM Systems

In this paper, we present Support Vector Machine (SVM)-based blind per tone equalization for OFDM systems. Blind per tone equalization using Constant Modulus Algorithm (CMA) and Multi-Modulus Algorithm (MMA) are used as...

An Efficient Noise Removal Edge Detection Algorithm Based on Wavelet Transform

In this paper, we propose an efficient noise robust edge detection technique based on odd Gaussian derivations in the wavelet transform domain. At first, new basis wavelet functions are introduced and the proposed algori...

A New Switched-beam Setup for Adaptive Antenna Array Beamforming

In this paper, a new spatio-temporal based approach is proposed which improves the speed and performance of temporal-based algorithms, conventional Least Mean Square (LMS), Normalized LMS (NLMS) and Variable Step-size LM...

Ten Steps for Software Quality Rating Considering ISO/IEC

In software rating area, it is necessary to apply a measurement reference model to evaluate the quality of software. The standard 25030 is an example of an evaluation system which is based on stakeholders' requirements....

Download PDF file
  • EP ID EP190120
  • DOI 10.7508/jist.2013.01.004
  • Views 95
  • Downloads 0

How To Cite

Armin Ghasem Azar, Zohreh Mohammad Alizadeh (2013). A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems. Journal of Information Systems and Telecommunication, 1(1), 21-25. https://europub.co.uk/articles/-A-190120