A Guide to Snark

reportActive / Technical Report | Accession Number: AD1005903 | Open PDF

Abstract:

Snark, SRIs New Automated Reasoning Kit, is a theorem prover intended for applications in artificial intelligence and software engineering. Snark is geared toward dealing with large sets of assertions it can be specialized with strategic controls that tune its performance and it has facilities for integrating special-purpose reasoning procedures with general-purpose inference. Snark has been used as the reasoning component of SRIs High Performance Knowledge Base HPKB system, which deduces answers to questions based on large repositories of information. It constitutes the deductive core of the NASA Amphion system, which composes software from components to meet users specifications, e. g., to perform computations in planetary astronomy. Snark has also been connected to Kestrels specware environment for software development.

Author(s):
Stickel, Mark E. ; Waldinger, Richard J. ; Chaudhri, Vinay K.
Author Organization(s):
SRI International Menlo Park United States
Descriptive Note:
Technical Report
Pagination:
0100

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release;

RECORD

Collection: TR
Identifying Numbers
Contract/Grant Number(s):
N66001-97-C-8550
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control; JCA_5.3_Planning; JCA_5.2_Understand; JCA_1_Force Support; JCA_5.3.4_Develop Courses of Action; JCA_5.3.5_Analyze Courses of Action; JCA_1.3_Human Capital Management; JCA_5.2.2_Develop Knowledge and Situational Awareness; JCA_1.3.1_Personnel and Family Support; JCA_1.2.5_Lessons Learned; JCA_5.2.3_Share Knowledge and Situational Awareness; JCA_1.2_Force Preparation; JCA_1.2.2_Exercising; JCA_1.2.6_Concepts; JCA_1.2.7_Experimentation; JCA_5.4_Decide
Modernization Areas:
AI and Machine Learning
Communities of Interest:
Human Systems
Descriptor(s):
USER MANUALS, ARTIFICIAL INTELLIGENCE, SOFTWARE ENGINEERING
Keyword(s):
SNARK(SRI NEW AUTOMATED REASONING KIT), THEOREM PROVER, HPKB(HIGH PERFORMANCE KNOWLEDGE BASE)
Report Date:
2000 May 12
Creation Date:
2016 Oct 14