• Skip to primary navigation
  • Skip to main content
SRI logo
  • About
    • Press room
    • Our history
  • Expertise
    • Advanced imaging systems
    • Artificial intelligence
    • Biomedical R&D services
    • Biomedical sciences
    • Computer vision
    • Cyber & formal methods
    • Education and learning
    • Innovation strategy and policy
    • National security
    • Ocean & space
    • Quantum
    • QED-C
    • Robotics, sensors & devices
    • Speech & natural language
    • Video test & measurement
  • Ventures
  • NSIC
  • Careers
  • Contact
  • 日本支社
Search
Close
Artificial intelligence publications July 1, 1977

A Network-Based Knowledge Representation and Its Natural Systems

Citation

Copy to clipboard


Fikes, R., & Hendrix, G. G. (1977). A network-based knowledge representation and its natural deduction system. SRI INTERNATIONAL MENLO PARK CA.

Abstract

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.

↓ Download

Share this

How can we help?

Once you hit send…

We’ll match your inquiry to the person who can best help you.

Expect a response within 48 hours.

Career call to action image

Make your own mark.

Search jobs

Our work

Case studies

Publications

Timeline of innovation

Areas of expertise

Institute

Leadership

Press room

Media inquiries

Compliance

Careers

Job listings

Contact

SRI Ventures

Our locations

Headquarters

333 Ravenswood Ave
Menlo Park, CA 94025 USA

+1 (650) 859-2000

Subscribe to our newsletter


日本支社
SRI International
  • Contact us
  • Privacy Policy
  • Cookies
  • DMCA
  • Copyright © 2022 SRI International