A BASIC PROOF METHOD FOR THE VERIFICATION, VALIDATION AND EVALUATION OF EXPERT SYSTEMS

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

GHASEM AZAR ARMIN; MOHAMMAD ALIZADEH ZOHREH

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: Journal of Information Systems and Telecommunication Year:2013 | Volume:1 | Issue:1 Page(s): 27-31

Download Full-Text

View:

381

Download:

108

Cites:

Information Journal Paper

Title

A BASIC PROOF METHOD FOR THE VERIFICATION, VALIDATION AND EVALUATION OF EXPERT SYSTEMS

Author(s)

GHASEM AZAR ARMIN | MOHAMMAD ALIZADEH ZOHREH | Issue Writer Certificate

Keywords

EXPERT SYSTEM

PARTITION

NON-RECURSIVE

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.

Cites

No record.

References

No record.

Cite

APA: Copy

GHASEM AZAR, ARMIN, & MOHAMMAD ALIZADEH, ZOHREH. (2013). A BASIC PROOF METHOD FOR THE VERIFICATION, VALIDATION AND EVALUATION OF EXPERT SYSTEMS. JOURNAL OF INFORMATION SYSTEMS AND TELECOMMUNICATION (JIST), 1(1), 27-31. SID. https://sid.ir/paper/332605/en

Vancouver: Copy

GHASEM AZAR ARMIN, MOHAMMAD ALIZADEH ZOHREH. A BASIC PROOF METHOD FOR THE VERIFICATION, VALIDATION AND EVALUATION OF EXPERT SYSTEMS. JOURNAL OF INFORMATION SYSTEMS AND TELECOMMUNICATION (JIST)[Internet]. 2013;1(1):27-31. Available from: https://sid.ir/paper/332605/en

IEEE: Copy

ARMIN GHASEM AZAR, and ZOHREH MOHAMMAD ALIZADEH, “A BASIC PROOF METHOD FOR THE VERIFICATION, VALIDATION AND EVALUATION OF EXPERT SYSTEMS,” JOURNAL OF INFORMATION SYSTEMS AND TELECOMMUNICATION (JIST), vol. 1, no. 1, pp. 27–31, 2013, [Online]. Available: https://sid.ir/paper/332605/en

Related Journal Papers

No record.

Related Seminar Papers

No record.

Related Plans

No record.

Recommended Workshops