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 New Upper Bound for Free Space Optical Channel Capacity Using a Simple Mathematical in Equality

In this paper, by using a simple mathematical inequality, we derive a $ new upper bound fkr the capacity of$ free space optical channel in coherent case. Then, by applying general fading distribution, we obtain an upper...

Short Time Price Forecasting for Electricity Market Based on Hybrid Fuzzy Wavelet Transform and Bacteria Foraging Algorithm

Predicting the price of electricity is very important because electricity can not be stored. To this end, parallel methods and adaptive regression have been used in the past. But because dependence on the ambient tempera...

Coverage Improving with Energy Efficient in Wireless Sensor Networks

Wireless sensor networks (WSNs) are formed by numerous sensors nodes that are able to sense different environmental phenomena and to transfer the collected data to the sink. The coverage of a network is one of the main d...

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...

Speech Emotion Recognition Based on Fusion Method

Speech emotion signals are the quickest and most neutral method in individuals’ relationships, leading researchers to develop speech emotion signal as a quick and efficient technique to communicate between man and machin...

Download PDF file
  • EP ID EP190120
  • DOI 10.7508/jist.2013.01.004
  • Views 97
  • 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