Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Publication in EndNote Format

%0 Report %@ 147 %A Hendrix, Gary G. and Fikes, Richard %T A Network-Based Knowledge Representation and Its Natural Systems %C 333 Ravenswood Ave., Menlo Park, CA 94025 %I AI Center, SRI International %D 1977 %K K-NET, SNIFFER, Deduction!Network based, Knowledge Representation!Network based %X We describe a knowledge representation scheme called K-NET and a problem solving system called SNIFFER designed to answer queries using a K-NET knowledge base. K-NET uses a partitioned semantic net to combine the expressive capabilities of the first-order predicate calculus with linkage to procedural knowledge and with full indexing of objects to the relationships in which they participate. Facilities are also included for representing taxonomies of sets and for maintaining hierarchies of contexts. SNIFFER is a manager and coordinator of deductive and problem-solving processes. The basic system includes a logically complete set of natural deduction facilities that do not require statements to be converted into clause or prenex normal form. Using SNIFFERÂ’s coroutine-based control structure, alternative proofs may be constructed in pseudo-parallel and results shared among them. In addition, SNIFFER can also manage application of specialist procedures that have specific knowledge about a particular domain or about the topology of the K-NET structures. For example, specialist procedures are used to manipulate taxonomic information and to link the system to information in external data bases. %U http://www.ai.sri.com/pubs/files/744.pdf

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy