NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Due to the lapse in federal government funding, NASA is not updating this website. We sincerely regret this inconvenience.

Back to Results
Formal verification of AI softwareThe 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.
Document ID
19890015440
Acquisition Source
Legacy CDMS
Document Type
Contractor Report (CR)
Authors
Rushby, John (SRI International Corp. Menlo Park, CA, United States)
Whitehurst, R. Alan (SRI International Corp. Menlo Park, CA, United States)
Date Acquired
September 5, 2013
Publication Date
February 28, 1989
Subject Category
Computer Programming And Software
Report/Patent Number
NAS 1.26:181827
NASA-CR-181827
Report Number: NAS 1.26:181827
Report Number: NASA-CR-181827
Accession Number
89N24811
Funding Number(s)
CONTRACT_GRANT: NAS1-18226
PROJECT: RTOP 549-03-31-03
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available