A Methodology for Systematic Verification of OPS5-Based AI Applications
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Architectures & Languages. Pages 3-7.
Abstract
One of the critical problems in putting AI applications into use in the real world is the lack of sufficient formal theories and practical tools that aid the process of reliability assessment. Adhoc testing, which is widely used as a means of verification, serves limited purpose. A need for systematic verification by compiletime analysis exists. In this article, we focus our attention on OPS5-based AI applications and present a methodology for verification which is based on compile-time analysis. The methodology is based on the principle of converting the antecedent and action-parts of productions into a linear system of inequalities and equalities and testing them for a feasible solution. The implemented system, called SVEPOA, supports interactive and incremental analysis.
@inproceedings{ijcai1991p1,
title = {A Methodology for Systematic Verification of OPS5-Based AI Applications},
author = {Prakash, G. Ravi and Subrahmanian, Eswaran and Mahabala, Hosaker N.},
booktitle = {Proceedings of the Twelfth International Joint Conference on
Artificial Intelligence, {IJCAI-91}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John Mylopoulos and Ray Reiter},
pages = {3--7},
year = {1991},
month = {8},
note = {Architectures & Languages},
url = {https://ijcai.org/proceedings/1991/1},
}
TY - CPAPER TI - A Methodology for Systematic Verification of OPS5-Based AI Applications AU - Prakash, G. Ravi AU - Subrahmanian, Eswaran AU - Mahabala, Hosaker N. T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 3 EP - 7 UR - https://ijcai.org/proceedings/1991/1 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
