You are here: silicon.com > Resources > White Papers > Software and Web Development > Software Development Tools > Artificial Intelligence

Artificial Intelligence White Papers

A Guide to SNARK

Overview 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. ...SNARK is a resolution-and-paramodulation theorem prover for first-order logic with equality--in this sense, it is in the same category as Argonne's OTTER ([McCune]). SNARK has provisions for both clausal and nonclausal reasoning, and it has an optional sort mechanism. It incorporates associative/commutative unification and a built-in decision procedure for reasoning about temporal points and intervals. It has no special facilities for proof by mathematical induction. It has some capabilities for abductive reasoning, which have been used in natural-language applications. SNARK is implemented in an easily portable subset of COMMON LISP. ...SNARK is a refutation system; in other words, rather that trying to show directly that some assertions imply a desired conclusion, it attempts to show that the assertions and the negation of the conclusion imply a contradiction. It is an agenda-based system; that is, in seeking a refutation, it will put the assertions and the negation of the conclusion on an agenda. An agenda is a list of formulas. When a formula reaches the top of the agenda, SNARK will perform selected inferences involving tha

Further White Paper Details
Publisher	SRI International	File Format	HTML
Date Published	January 2001	Downloads	22
Format	White Papers
Topics	Artificial Intelligence, Knowledge Management, Search Strategies, Software Engineering

Did you find this white paper useful? 1 out of 2 users found this white paper useful

Architecture Tip: User Interface Design Using the OODA Loop - A Checklist for Getting Your User Interface Design Off to the Right Start

Publisher:
IBM

Cisco IOS Software Embedded Event Manager Harnesses Network Intelligence to Increase Availability

Publisher:
Cisco Systems

Tags:
artificial intelligence

Symantec Endpoint Protection 11.0: Microsoft Small Business Server 2003 Best Practices White Paper

Publisher:
Symantec

Tags:
artificial intelligence

TechNet Webcast: Windows Server 2008 Terminal Services Session Broker (Level 300)

Publisher:
Microsoft

Tags:
artificial intelligence

Viability of File Access and Transfer Via Virtual Private Network

Publisher:
Mapua Institute of Technology

Tags:
artificial intelligence

The rise of ecommerce and the return of the old order

However, the report's conclusion that different European territories demand local websites supports the view that brand will remain critical in Europe for the time being. The French Insurer AGS is one company doing this on a permanent basis, and...

Channel:
Comment & Analysis

The Director's Cut: The art of war - and ebusiness

Historians are united on one conclusion: the South, vastly outnumbered, with inferior firearms and no clear long-term goal, only lasted as long as it did as a fighting force because of the thinking, actions and inspiration of its leaders.

Channel:
Comment & Analysis

What future IM?

When you are on a conference call,” says Francis de Souza, chief executive of IM application developer, IM Logic, “the telltale tap-tap of a keyboard indicates one of the participants having a private conversation.

Channel:
IM

Devil's Advocate: The e-auction game

For pure product supply, the logic of the situation inevitably pushes towards minimising the intermediaries between manufacturer and large buyer. In effect, the large deals are done directly with manufacturers, and for some years Dell has set the...

Empower your IT staff to make decisions

The architecture of the enterprise has become 10 times more important but the difficulties are on how you future-proof this. He continued: "Really you have to have some sort of soft hands control. The Googles, the Amazons and the eBays are setting...

Microsoft previews research efforts

Other projects the Situated Interaction team is investigating include "multi-participant engagement and dialog models, conversational scene analysis, spatio-temporal trajectory reasoning, and behavioural modelling".

Live Webcast: Telecoms 2.0 - Where is telecoms heading?

In this webcast, our panel of experts will review where we are with next generation telecoms in the UK, working through the concept of 'Telecoms 2.0': - Realising the potential of Next Generation Networks - why it isn't just about the technology? - What attributes should firms be looking for in their telco partner? - Is the relationship between telco provider and customer changing? - What things need to happen to make next generation services a reality? - You say you want the supplier to change. Do you want to change too? - What is Telecoms 2.0?

Publisher:
ZDNet UK

Telecom 2.0: Mind over matter

ntl:Telewest Business believes that the role of the telco is evolving. Gone are the days when it was enough to simply focus on circuits and minutes, customers now need a far higher degree of interaction and look for suppliers who will talk business solutions with them.

Publisher:
ntl:Telewest Business

IBM Information Server Change Data Capture

In today's fast-paced world, access to real-time data has never been more important. To be successful, organizations need to be able to report and analyze corporate data quickly and easily, regardless of what applications created the data, what platform they're running on, or what database they're stored in.

Publisher:
IBM

An examination of server consolidation: the trends that can drive efficiencies and help businesses gain a competitive edge

This white paper provides a starting point for organizations contemplating server consolidation. It includes an overview of server consolidation concepts and techniques and provides guidance on methodologies. It also looks at the potential cost savings associated with server consolidation and offers information on how organizations can sustain the advantage they have gained by consolidating their servers.

Publisher:
IBM

Also on silicon.com

Site Navigation:

Artificial Intelligence White Papers

A Guide to SNARK

Quick Sitemap Links:

About Us

Search

Blogs

Verticals

Advertising Features

CNET Networks in Europe

CNET Networks in the United States

CNET Networks in Asia Pacific