Loading...
Please wait, while we are loading the content...
Formal verification of ai software
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Rushby, John Whitehurst, R. Alan |
| Copyright Year | 1989 |
| Description | The application of formal verification techniques to Artificial Intelligence (AI) software, particularly expert systems, is investigated. Constraint satisfaction and model inversion are identified as two formal specification paradigms for different classes of expert systems. A formal definition of consistency is developed, and the notion of approximate semantics is introduced. Examples are given of how these ideas can be applied in both declarative and imperative forms. |
| File Size | 4555443 |
| Page Count | 154 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19890015440 |
| Archival Resource Key | ark:/13960/t1pg6kg91 |
| Language | English |
| Publisher Date | 1989-02-28 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Logic Programming Algorithms Semantics Theorem Proving Computer Systems Performance Artificial Intelligence Expert Systems Programming Languages Program Verification Computers Ntrs Nasa Technical Reports ServerĀ (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |