A Guide to Snark
SRI International Menlo Park United States
Pagination or Media Count:
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.