A Guide to Snark

Abstract

Snark, SRI's 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 SRI's 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 Kestrel's specware environment for software development.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 12, 2000
Accession Number
AD1005903

Entities

People

  • Mark E. Stickel
  • Richard J. Waldinger
  • Vinay K. Chaudhri

Organizations

  • SRI International

Tags

Communities of Interest

  • Advanced Electronics
  • Human Systems

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Attachment
  • Civil War
  • Computations
  • Computer Programming
  • Knowledge Management
  • Language
  • Lisp Programming Language
  • Ontologies
  • Programming Languages
  • Reasoning
  • Software Development
  • Standards
  • Symbolic Programming
  • Time Intervals
  • Vocabulary

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Software Engineering.

Technology Areas

  • AI & ML
  • AI & ML - DoD AI Strategy