{"type":"ScholarlyArticle","title":"A Methodology for Systematic Verification of OPS5-Based AI Applications","authors":[{"name":"G. Ravi Prakash","slug":"g-ravi-prakash","given":"G. Ravi","family":"Prakash","affiliation":""},{"name":"Eswaran Subrahmanian","slug":"eswaran-subrahmanian","given":"Eswaran","family":"Subrahmanian","affiliation":""},{"name":"Hosaker N. Mahabala","slug":"hosaker-n-mahabala","given":"Hosaker N.","family":"Mahabala","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1991/1","pdf":"https://ijcai.org/proceedings/1991/0001.pdf","markdown":"https://ijcai.org/proceedings/1991/1.md","bibtex":"https://ijcai.org/proceedings/1991/bibtex/1","volume":{"slug":"1991","title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1991","url":"https://ijcai.org/proceedings/1991/","year":1991,"location":"Sydney, New South Wales, Australia","dates":"24-30 August 1991","editors":"John Mylopoulos and Ray Reiter","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Architectures & Languages","track":"Architectures & Languages","number":1,"pages":{"first":3,"last":7},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}